Philosophy Lexicon of Arguments

Screenshot Tabelle Begriffe

 
Author Item Summary Meta data

 
Books on Amazon
Thiel I 238
Def Reelle transzendente Zahlen: solche reelle Zahlen, die nicht Lösungen irgendwelcher algebraischer Gleichungen anxn+....= 0 sind mit ganzzahligen Koeffizienten ai.
Sie könnten nämlich ein einfaches Verfahren angeben, woraus sie wegen der durch Cantor bewiesenen Nichtabzählbarkeit der Gesamtheit der reellen Zahlen folgerten, dass nach Abzug der reellen Zahlen eine nichtleere Gesamtheit übrigbleiben müsse,
I 239
eben die der transzendenten reellen Zahlen. Nun ist man allerdings aufgrund dieses typisch "klassischen" Schusses nicht in der Lage, eine solche Zahl tatsächlich vorzuweisen. Trotzdem hatte schon lange vorher Liouville 1844 reelle transzendente Zahlen konstruiert:
1/10 + 1/ 10 ² faculty + 1/10 3 favculty..
Wollte man logisch beide Fälle (konsruktiv und klassisch) einfach durch "(Ex)Tr(x)" (mit "Tr" für transzendent), so würde man den Unterschied einfach verwischen.
Für die Grundlagen der Mathematik ist es wichtig, gerade effektive Existenzbeweise eigens also solche auszuzeichnen.
In einigen Fällen wird auch die Existenz gar nicht in Frage gestellt, aber eine konkrete Antwort auf eine mathematische Frage gesucht.
I 240
Bsp Größter gemeinsamer Teiler zweier Grundzahlen. Ein "effektives Verfahren" löst das Problem nicht durch Probieren, sondern in endlich vielen Schritten.


_____________
Explanation of symbols: Roman numerals indicate the source, arabic numerals indicate the page number. The corresponding books are indicated on the right hand side. ((s)…): Comment by the sender of the contribution.

T I
Chr. Thiel
Philosophie und Mathematik Darmstadt 1995


Send Link

Authors A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   Z  


Concepts A   B   C   D   E   F   G   H   I   J   K   L   M   N   O   P   Q   R   S   T   U   V   W   Z  



> Suggest your own contribution | > Suggest a correction | > Export as BibTeX Datei
 
Ed. Martin Schulz, access date 2017-10-22