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

Untersuchungen der Beweisstärke von Subsystemen der Kripke-Platek Mengenlehre

Autori

• Benjamin Blankertz

Parametri

• 184 pagine
• 7 ore di lettura

• Matematica

Maggiori informazioni sul libro

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.

Lingua: Tedesco

Pubblicato: 2016

(In brossura)