Skip to main content

2021 | OriginalPaper | Buchkapitel

8. Intuitionismus

verfasst von : Jörg Neunhäuserer

Erschienen in: Einführung in die Philosophie der Mathematik

Verlag: Springer Berlin Heidelberg

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Zusammenfassung

Der Intuitionismus in der Philosophie der Mathematik geht auf den niederländischen Mathematiker Luitzen Brouwer (1881–1966) zurück und ist bis heute untrennbar mit dessen Werk verknüpft. Wir beginnen daher dieses Kapitel mit einer kurzen Biographie.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Fußnoten
1
Siehe hierzu van Dalen (1999).
 
2
Siehe Brouwer (1905).
 
3
Siehe Brouwer (1908).
 
4
Siehe Brouwer (1905, 1910, 1911a).
 
5
Siehe hierzu auch Kap. 9 zum Formalismus.
 
6
Siehe hierzu Heyting (1930).
 
7
Siehe Brouwer (1948).
 
8
Siehe zu dieser Interpretation van Atten (2007).
 
9
Siehe hierzu Kap. 5.
 
10
Siehe hierzu Kap. 2 und 7.
 
11
Siehe hierzu Troelstra and van Dalen (1988). Dem Leser, der nicht vertraut mit den Symbolen der formalen Logik ist, empfehlen wir zunächst Kap. 7 durchzulesen.
 
12
Siehe hierzu Johansson (1936).
 
13
Siehe hierzu Kleen (1991).
 
14
Siehe hierzu Lehrbücher zur Analysis.
 
15
Vergleiche hierzu auch Kap. 10.
 
16
Siehe hierzu Brouwer (1911a).
 
17
Siehe hierzu Hilbert (1928).
 
18
Siehe hierzu Gödel (1933).
 
Metadaten
Titel
Intuitionismus
verfasst von
Jörg Neunhäuserer
Copyright-Jahr
2021
Verlag
Springer Berlin Heidelberg
DOI
https://doi.org/10.1007/978-3-662-63714-2_8