Wir verwenden Cookies und Analyse-Tools, um die Nutzerfreundlichkeit der Internet-Seite zu verbessern und für Marketingzwecke. Wenn Sie fortfahren, diese Seite zu verwenden, nehmen wir an, dass Sie damit einverstanden sind. Zur Datenschutzerklärung.
Beweistheoretische Techniken zur Bestimmung von _0^2 Skolem Fkt'nen
Details
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 Funktion.
Autorentext
Benjamin Blankertz, Lehrstuhl für Neurotechnologie an der TU Berlin, hat Mathematik mit Schwerpunkt in Mathematischer Logik an der Universität Münster studiert. Seine Arbeit im Feld der Beweistheorie wurde von Prof. Dr. Wolfram Pohlers betreut. Seit 2000 forscht er zu dem Thema Brain-Computer Interfaces, zuletzt an der TU Berlin.
Weitere Informationen
- Allgemeine Informationen
- GTIN 09783639724950
- Genre Arithmetik & Algebra
- Sprache Deutsch
- Anzahl Seiten 184
- Herausgeber AV Akademikerverlag
- Größe H220mm x B150mm x T12mm
- Jahr 2016
- EAN 9783639724950
- Format Kartonierter Einband
- ISBN 978-3-639-72495-0
- Veröffentlichung 28.06.2016
- Titel Beweistheoretische Techniken zur Bestimmung von _0^2 Skolem Fkt'nen
- Autor Benjamin Blankertz
- Untertitel Untersuchungen der Beweisstrke von Subsystemen der Kripke-Platek Mengenlehre
- Gewicht 292g