Encyklopädie der mathematischen Wissenschaften mit Einschluss ihrer Anwendungen 1, T.1, T.2
- Encyklopädie der mathematischen Wissenschaften mit Einschluss ihrer Anwendungen, 1950
Access Full Book
topBook Parts
top- CHAPTER: 1. Einleitende Abgrenzung. (2., völlig neu bearbeitete Auflage). Von Arnold Schmidt.Access to Book Part
- CHAPTER: A. Axiomatik und allgemeine BeweistheorieAccess to Book Part
- CHAPTER: 2. Die Grundforderungen der Axiomatik.Access to Book Part
- CHAPTER: 3. Grundgedanke der Beweistheorie. Methoden.Access to Book Part
- CHAPTER: 4. Rekursive Zahlentheorie. Syntaxarithmetisierung. Unvollständigkeitssatz.Access to Book Part
- CHAPTER: 5. Interpretatinstechnische Weiterführung der Axiomatik. Grundsprache.Access to Book Part
- CHAPTER: 6. Forderungen an das Begriffsnetz.Access to Book Part
- CHAPTER: B. Kodifikation und Beweistheorie der Zahlenlehre.Access to Book Part
- CHAPTER: 7. Zahlentheoretische Funktionen. Rekursion.Access to Book Part
- CHAPTER: 8. Einige Kodifikate der reinen Zahlenlehre.Access to Book Part
- CHAPTER: 9. Widerspruchsfreiheitsnachweise für Teile der Zahlenlehre.Access to Book Part
- CHAPTER: 10. Widerspruchsfreiheitsnachweise für die Zahlenlehre.Access to Book Part
- CHAPTER: 11. Widerspruchsfreiheitsnachweise für die verzweigte Analysis.Access to Book Part
- CHAPTER: C. Die logische Begründung der Mathematik.Access to Book Part
- CHAPTER: 12. Grundgedanke.Access to Book Part
- CHAPTER: 13. Definition der Zahl. Typentheorie.Access to Book Part
- CHAPTER: 14. Grenzen der Zurückführung der Mathematik und Logik.Access to Book Part
- CHAPTER: D. Intuitionistische Mathematik.Access to Book Part
- CHAPTER: 15. Konstruktivität. Nennbarkeit.Access to Book Part
- CHAPTER: 16. Vorrats- und Vollzugsauffassung. Die natürlichen Zahlen als Gesamtheit.Access to Book Part
- CHAPTER: 17. Intuitionistischer Umgang mit den natürlichen Zahlen.Access to Book Part
- CHAPTER: 18. Intuitionistischer Umgang mit den reellen Zahlen. Wichtigste Ergebnisse.Access to Book Part
How to cite
topEncyklopädie der mathematischen Wissenschaften mit Einschluss ihrer Anwendungen 1, T.1, T.2. 1950. <http://eudml.org/doc/203066>.
@book{Unknown1950,
keywords = {Philosophy and foundations of mathematics},
language = {ger},
title = {Encyklopädie der mathematischen Wissenschaften mit Einschluss ihrer Anwendungen 1, T.1, T.2},
url = {http://eudml.org/doc/203066},
year = {1950},
}
TY - BOOK
TI - Encyklopädie der mathematischen Wissenschaften mit Einschluss ihrer Anwendungen 1, T.1, T.2
PY - 1950
LA - ger
KW - Philosophy and foundations of mathematics
UR - http://eudml.org/doc/203066
ER -
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.