Beweistheoretische Techniken zur Bestimmung von _0^2 Skolem Fkt'nen

Mehr zum Buch

Im Fokus der Untersuchung steht die Frage, ob das Wissen um das Axiomensystem, aus dem ein Satz abgeleitet werden kann, zu einem tiefergehenden Verständnis führt. Die Arbeit basiert auf Gentzens Beweis der Widerspruchsfreiheit der Zahlentheorie und nutzt eine Wohlordnung als nicht-finites Argumentationsmittel. Ein zentraler Aspekt ist die Erkenntnis, dass die Kenntnis einer formalen Theorie, die eine Aussage beweist, zusätzliche Informationen über das Wachstumsverhalten berechenbarer Funktionen liefert.