====== HILBERT ======

===== D. Hilbert =====
[[Logistik]]er\\
- entwickelte den Formalismus, d.i. die Begründung der [[Mathematik]] durch eine [[Metamathematik]], für die die Beweise in den konkreten mathematischen Disziplinen bloße Zeichenreihen sind, deren Widerspruchsfreiheit durch Schlüsse gesichert werden kann\\
- bildete eine [[Schule]] - Bernays, von Neumann, A. Schmidt -, die den [[Intuitionismus]] benutzte, um eigene Denkansätze weiter zu verfolgen → will „Satz vom ausgeschlossenen Dritten“ überwinden