@misc{Lexikon der Argumente, title = {Quotation from: Lexikon der Argumente – Begriffe - Ed. Martin Schulz, 29 Mar 2024}, author = {Thiel,Christian}, subject = {Typentheorie}, note = {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 ist das inakzeptabel, und für das "Arithmetisierungsprogramm" der klassischen Grundlagenforschung ein gewaltiges Hindernis. >Quantifikation, >Allklasse, vgl. >Äußerste Klasse, >Typentheorie/Quine. Erst recht für den Logizismus, der sich daran anschließt.}, note = { T I Chr. Thiel Philosophie und Mathematik Darmstadt 1995 }, file = {http://philosophie-wissenschaft-kontroversen.de/details.php?id=626495} url = {http://philosophie-wissenschaft-kontroversen.de/details.php?id=626495} }