Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
Einleitung Read chapter Read first chapter

2013 | OriginalPaper | Chapter

11. Intuitionistische und Klassische Zahlentheorie: HA und PA

Author : Christian Tapp

Published in: An den Grenzen des Endlichen

Publisher: Springer Berlin Heidelberg

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Zusammenfassung

Das Jahr 1932 markiert einen wichtigen Durchbruch bei der Verfolgung des Hilbertprogramms. Kurt Gödel und Gerhard Gentzen gelang es unabhängig voneinander, ein unerwartetes Resultat zu erzielen. Sie konnten zeigen, daß die intuitionistische und die klassische Zahlentheorie in bestimmter Hinsicht gleichstark sind.

Dont have a licence yet? Then find out more about our products and how to get one now:

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!

inform now

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!

inform now

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!

inform now
previous chapter Hilbertschule I: Wilhelm Ackermann
next chapter Hilbertschule II: Gerhard Gentzen
Footnotes
1
Gödel, Zur intuitionistischen [1933e]. Gentzen hat Gödel die Priorität eingeräumt und sein schon im Druck befindliches Manuskript zurückgezogen.
 
2
Vgl. auch George/Velleman, Philosophies [2002], 121–122; wobei allerdings zu sagen ist, daß sich HA im Allgemeinen nicht, wie von den Autoren behauptet, schlicht durch Ersetzung der klassischen Logik durch intuitionistische Logik aus PA ergibt. In Abhängigkeit von der genauen Fassung von PA sind ggf. weitere Anpassungen der zahlentheoretischen Axiome nötig, die jedoch unter klassischer Logik äquivalent zur Ausgangsdarstellung sind. Selbstverständlich ergibt sich PA aus HA, wenn man die intuitionistische durch klassische Logik ersetzt; aber im Allgemeinen nicht andersherum.
 
3
Wie man heute weiß, geht dies noch viel weiter. Auch für stärkere Theorien gilt, daß die klassische und die intuitionistische Version der Theorie die gleichen Π 2 0 -Sätze beweisen. Insbesondere stimmen dann die beweisbar rekursiven Funktionen beider Versionen überein. (Für den Hinweis darauf danke ich Wolfram Pohlers.)
 
4
Heyting, Logik [1930a].
 
5
Heyting, Mathematik [1930b].
 
6
Herbrand, Sur la non-contradiction [1931]. Gödel diskutiert auch, wie sich sein Beweis auf das andere System übertragen läßt; vgl. Gödel, Zur intuitionistischen [1933e], 288–289.
 
7
Vgl. Kolmogorov, Über das Prinzip [1925]. Über diese Arbeit stellt Hesseling, Gnomes [2003] fest, daß sie zwar sachlich ins Zentrum der Debatte um den Brouwerschen Intuitionismus gehörte, in der faktischen Gemengelage allerdings kaum eine Rolle spielte. Ein Einfluß dieser Arbeit auf die faktischen Diskussionsverläufe ist nach van Atten, Hesseling Rezension [2004], 426, nur über Glivenko denkbar, und zwar einerseits indirekt über seine Arbeit Glivenko, Sur quelques points [1929] und andererseits direkt über seinen Briefwechsel mit Heyting (publiziert in Troelstra, On the Early [1990], 3–17).
 
8
Vgl. auch Troelstras Einführung zu Gödel, Zur intuitionistischen [1933e], 282.
 
9
„Nahezu“ bedeutet hier: Natürlich beweisen die klassische und die intuitionistische Variante nicht die gleichen Sätze, aber eben die gleichen Π 2 0 -Sätze, und damit haben sie dieselben beweisbar rekursiven Funktionen, siehe auch oben Anm. 3.
 
Metadata
Title
Intuitionistische und Klassische Zahlentheorie: HA und PA
Author
Christian Tapp
Copyright Year
2013
Publisher
Springer Berlin Heidelberg
Book
An den Grenzen des Endlichen

Print ISBN: 978-3-642-29653-6

Electronic ISBN: 978-3-642-29654-3

Copyright Year: 2013

DOI
https://doi.org/10.1007/978-3-642-29654-3_11

Premium Partner

    Image Credits