Fr. 83.00

Beweistheoretische Techniken zur Bestimmung von _0^2 Skolem Fkt'nen - Untersuchungen der Beweisstärke von Subsystemen der Kripke-Platek Mengenlehre

German · Paperback / Softback

Shipping usually within 2 to 3 weeks (title will be printed to order)

Description

Read more

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.

About the author










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.

Product details

Authors Benjamin Blankertz
Publisher AV Akademikerverlag
 
Languages German
Product format Paperback / Softback
Released 15.03.2018
 
EAN 9783639724950
ISBN 978-3-639-72495-0
No. of pages 184
Subject Natural sciences, medicine, IT, technology > Mathematics > Basic principles

Customer reviews

No reviews have been written for this item yet. Write the first review and be helpful to other users when they decide on a purchase.

Write a review

Thumbs up or thumbs down? Write your own review.

For messages to CeDe.ch please use the contact form.

The input fields marked * are obligatory

By submitting this form you agree to our data privacy statement.