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

0 Testberichte

Marke: Av Akademikerverlag
EAN: 9783639724950
Verfügbarkeit: Lieferbar

Preisspanne: 64,90€ - 64,90€*

Billigster Preis

Deals

Apple iPhone 16 128 GB Schwarz

ab 640,00 €*

Microsoft Office 2024 Professional Plus

ab 2,88 €*

Apple iPhone 17 256 GB Schwarz

ab 805,00 €*

Samsung Galaxy S25 Ultra 5G 256 GB Titanium Black

ab 889,00 €*

Apple iPhone 17 Pro 256 GB Tiefblau

ab 1.188,00 €*

Shops
Beschreibung
Testberichte

Preis (inkl. MwSt.)

Händler

Lieferstatus

Shop

64,90 €* Kostenloser Versand

Lieferbar: 3-6 Tage
Daten vom 2026-03-01
Änderungen vorbehalten

Zum Shop

Ein Leitmotiv für beweistheoretische Ordinalzahlanalysen ist eine Fragestellung, die auf Georg Kreisel zurückgeht: "Haben wir mehr Erkenntnis als die Wahrheit eines Satzes gewonnen, wenn wir wissen, aus welchem Axiomensystem er abgeleitet werden kann?" Die Techniken dieser Arbeit gehen auf Gentzens Beweis der Widerspruchsfreiheit der Zahlentheorie mit einer Induktion über eine Wohlordnung der Länge ¿_0 als einzigem nicht-finiten Argumentationsmittel zurück. Darauf aufbauend geht diese Arbeit einen der Aspekte an, für die man tatsächlich durch die Kenntnis einer formalen Theorie, die eine gegebene Aussage beweist, zusätzliche Information erhält: Haben wir die Totalität einer berechenbaren Funktion in einer der hier untersuchten Theorien gezeigt, so gewinnen wir eine Aussage über das Wachstumsverhalten dieser ...

Ein Leitmotiv für beweistheoretische Ordinalzahlanalysen ist eine Fragestellung, die auf Georg Kreisel zurückgeht: 'Haben wir mehr Erkenntnis als die Wahrheit eines Satzes gewonnen, wenn wir wissen, aus welchem Axiomensystem er abgeleitet werden kann?' Die Techniken dieser Arbeit gehen auf Gentzens Beweis der Widerspruchsfreiheit der Zahlentheorie mit einer Induktion über eine Wohlordnung der Länge 0 als einzigem nicht-finiten Argumentationsmittel zurück. Darauf aufbauend geht diese Arbeit einen der Aspekte an, für die man tatsächlich durch die Kenntnis einer formalen Theorie, die eine gegebene Aussage beweist, zusätzliche Information erhält: Haben wir die Totalität einer berechenbaren Funktion in einer der hier untersuchten Theorien gezeigt, so gewinnen wir eine Aussage über das Wachstumsverhalten dieser ...

Verfassen Sie einen Erfahrungsbericht

Ihre Produktbewertung

Sehr Unzufrieden Sehr Zufrieden