Beweistheoretische Techniken zur Bestimmung von _0^2 Skolem Fkt'nen
Untersuchungen der Beweisstärke von Subsystemen der Kripke-Platek Mengenlehre
- 184 Seiten
- 7 Lesestunden
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.
