Beweistheoretische Techniken zur Bestimmung von ¿_0^2 Skolem Fkt'nen: Untersuchungen der Beweisstärke von Subsystemen der Kripke-Platek Mengenlehre
5 Angebote vergleichen
Bester Preis: € 64,90 (vom 02.08.2016)1
Beweistheoretische Techniken zur Bestimmung von ¿_0^2 Skolem Fkt´nen
DE HC NW
ISBN: 9783639724950 bzw. 363972495X, in Deutsch, AV Akademikerverlag, gebundenes Buch, neu.
Lieferung aus: Deutschland, Versandkostenfrei innerhalb von Deutschland.
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 e_0 als einzigem nicht-finiten Argumentationsmittel zurück. Darauf aufbauend geht diese Arbeit 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 e_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 Funktion. Lieferzeit 1-2 Werktage.
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 e_0 als einzigem nicht-finiten Argumentationsmittel zurück. Darauf aufbauend geht diese Arbeit 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 e_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 Funktion. Lieferzeit 1-2 Werktage.
2
Symbolbild
Beweistheoretische Techniken zur Bestimmung von _02 Skolem Fkt'nen
DE PB NW
ISBN: 9783639724950 bzw. 363972495X, in Deutsch, AV Akademikerverlag, Taschenbuch, neu.
Lieferung aus: Deutschland, Versandkosten nach: Deutschland, Versandkostenfrei.
Von Händler/Antiquariat, buecher.de GmbH & Co. KG, [1].
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 e_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 Funktion. Versandfertig in 3-5 Tagen, Softcover, Neuware.
Von Händler/Antiquariat, buecher.de GmbH & Co. KG, [1].
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 e_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 Funktion. Versandfertig in 3-5 Tagen, Softcover, Neuware.
3
Beweistheoretische Techniken zur Bestimmung von ¿_0^2 Skolem Fkt'nen
DE NW
ISBN: 9783639724950 bzw. 363972495X, in Deutsch, AV Akademikerverlag, neu.
Lieferung aus: Österreich, zzgl. Versandkosten, Versandfertig in 4 - 6 Tagen.
Untersuchungen der Beweisstärke von Subsystemen der Kripke-Platek Mengenlehre, 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 e_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 Funktion.
Untersuchungen der Beweisstärke von Subsystemen der Kripke-Platek Mengenlehre, 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 e_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 Funktion.
4
Symbolbild
Beweistheoretische Techniken zur Bestimmung von ¿_0^2 Skolem Fkt'nen: Untersuchungen der Beweisstärke von Subsystemen der Kripke-Platek Mengenlehre (2016)
DE PB NW
ISBN: 9783639724950 bzw. 363972495X, in Deutsch, 184 Seiten, Av Akademikerverlag, Taschenbuch, neu.
Lieferung aus: Deutschland, Der Artikel ist bald verfügbar. Sichern Sie sich jetzt Ihr Exemplar!
Von Händler/Antiquariat, Amazon.de.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Von Händler/Antiquariat, Amazon.de.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
5
Symbolbild
Beweistheoretische Techniken zur Bestimmung von ¿_0^2 Skolem Fkt'nen (2016)
DE PB NW RP
ISBN: 9783639724950 bzw. 363972495X, in Deutsch, AV Akademikerverlag Jul 2016, Taschenbuch, neu, Nachdruck.
Lieferung aus: Deutschland, Versandkostenfrei.
Von Händler/Antiquariat, AHA-BUCH GmbH [51283250], Einbeck, Germany.
This item is printed on demand - Print on Demand Neuware - 184 pp. Deutsch.
Von Händler/Antiquariat, AHA-BUCH GmbH [51283250], Einbeck, Germany.
This item is printed on demand - Print on Demand Neuware - 184 pp. Deutsch.
Lade…