Existentiebewijzen in de wiskunde - pagina 43

41 eenige desbetreffende beschouwingen). 133) 2 i e het onder lo^) a.w. van Heyting, blz. 54. Voor de vergelijking van de formalistische wiskunde met een spel, zie ook de onder ^i^) en ^35) a.w. van Weyl. 134) 2 i e bijvoorbeeld D. Hilbert, Axiomatisches Denken, Math. Ann. 78 (1918), blz. 4 0 5 ^ 4 1 9 , speciaal blz. 415. Hilbert zegt daar: Ich glaube: Alles, was Gegenstand des wissenschaftlichen Denkens überhaupt sein kann, verfallt, sobald es zur Bildung einer Theorie reif ist, der axiomatischen Methode und damit mittelbar der Mathematik. Durch Verdringen in immer tieferliegenden Schichten von Axiomen im vorhin dargelegten Sinne gewinnen wir auch in das Wesen des wissenschaftlichen Denkens selbst immer tiefere Einblicke und werden uns der Einheit unseres Wissens immer mehr bewusst. In dem Zeichen der axiomatischen Methode erscheint die Mathematik berufen zu einer führenden Rolle in der Wissenschaft überhaupt. 135) ƒƒ, Weyl, Die Stufen des Unendlichen (Jena 1931). Soortgelijke gedachten spreekt Weyl ook reeds uit aan het slot van zijn onder n s ) a.w.

Deze tekst is geautomatiseerd gemaakt en kan nog fouten bevatten. Digibron werkt voortdurend aan correctie. Klik voor het origineel door naar de pdf. Voor opmerkingen, vragen, informatie: contact.

Op Digibron -en alle daarin opgenomen content- is het databankrecht van toepassing. Gebruiksvoorwaarden. Data protection law applies to Digibron and the content of this database. Terms of use.

Printen