Philosophy Lexicon of Arguments

Search  
 
Author Item Excerpt Meta data
Thiel, Christian
 
Books on Amazon
Type Theory Thiel I 324
VsTypentheorie: Zu ihren Komplikationen gehörte nicht nur, dass eine solche Theorie neben Typen auch noch Ordnungen zu berücksichtigen sind, sondern auch die mehr als lästige Tatsache, dass jetzt z.B. die obere Grenze einer nichtleeren Menge reeller Zahlen (deren Existenz bei allen Stetigkeitsbetrachtungen in der klassischen Analysis vorausgesetzt wird) von höherer Ordnung ist, als die reellen Zahlen, deren obere Grenze sie ist.
Das hat zur Folge, dass man nun nicht mehr einfach über "alle reellen Zahlen" quantifizieren kann, sondern nur noch über alle reellen Zahlen, einer bestimmten Ordnung. Für die Fachmathematik inakzeptabel, und für das "Arithmetisierungsprogramm" der klassischen Grundlagenforschung ein gewaltiges Hindernis.
Erst recht für den Logizismus, der sich daran anschließt.

T I
Chr. Thiel
Philosophie und Mathematik Darmstadt 1995


> Counter arguments in relation to Type Theory



> Suggest your own contribution | > Suggest a correction | > Export as BibTeX file
 
Ed. Martin Schulz, access date 2017-04-28