Romain Büchi: Über Variablen und Entscheidbarkeit, Kartoniert / Broschiert
Über Variablen und Entscheidbarkeit
- Philosophische Betrachtungen über den Gebrauch von Buchstaben als Variablen, die Entscheidbarkeit von Prädikaten und den Zusammenhang zwischen Unentscheidbarkeit und Buchstabengebrauch in logischen Formalsprachen
Sie können den Titel schon jetzt bestellen. Versand an Sie erfolgt gleich nach Verfügbarkeit.
- Verlag:
- Karl Alber i.d. Nomos Vlg, 10/2026
- Einband:
- Kartoniert / Broschiert
- Sprache:
- Deutsch
- ISBN-13:
- 9783495987063
- Artikelnummer:
- 12859990
- Umfang:
- 406 Seiten
- Erscheinungstermin:
- 31.10.2026
Klappentext
Variablen gehören zum Grundinventar formaler und halbformaler Sprachen der Logik, Mathematik und Computerwissenschaft. Dieses Buch entwickelt erstmals eine umfassende philosophische Reflexion auf ihren mannigfaltigen Gebrauch und bietet dadurch neue Einsichten in die Eigenart mathematischen Denkens und die Grenzen algorithmischer Entscheidbarkeit. Ausgehend von der Grundfrage nach dem Wesen von Variablen wird gezeigt, dass eine ihrer Kernfunktionen darin besteht, logische Formen kenntlich zu machen. Die nähere Analyse dieser Funktion eröffnet anschließend einen bedeutsamen Zusammenhang zwischen Variablengebrauch und (Un-)Entscheidbarkeit. Der Autor forscht zur Philosophie und Geschichte der Logik und Mathematik.
Anmerkungen:
Bitte beachten Sie, dass auch wir der Preisbindung unterliegen und kurzfristige Preiserhöhungen oder -senkungen an Sie weitergeben müssen.
