Le livre est actuellement en rupture de stock
En savoir plus sur le livre
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.
Achat du livre
Beweistheoretische Techniken zur Bestimmung von _0^2 Skolem Fkt'nen, Benjamin Blankertz
- Langue
- Année de publication
- 2016
- product-detail.submit-box.info.binding
- (souple)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.
Modes de paiement
Personne n'a encore évalué .