Logica e teorie formalizzate - Completezza, incompletezza, indecidibilità
Merkmale
Completezza, incompletezza, indecidibilità
Autor: Dario Palladino
Herausgeber: Carocci
Druckort: Rom
Erscheinungsjahr: 2004
Halskette: Universität/487 Philosophie
Il volume ha lo scopo di illustrare i principali risultati della logica del XX secolo, fra i quali il teorema di completezza per la logica del primo ordine, il teorema di compattezza, i teoremi di Löwenheim-Skolem, i teoremi di incompletezza di Gödel resistenza di "modelli non standard" per l'aritmetica, il teorema di Church, il teorema di incompletezza per la logica del secondo ordine. La trattazione di questi teoremi e delle loro dimostrazioni, pur volutamente contenuta grazie a qualche semplificazione delle parti più tecniche, consente al lettore di capire il significato dei risultati conseguiti, le loro implicazioni e le strategie che sono state impiegate per raggiungerli.
Produkt-Zustand:
Beispiel in gutem Zustand. Leichte Staubspuren auf dem Cover. Kleines Klebeetikett auf der Rückseite. Text in italienischer Sprache.
ISBN -Code: 8843029002
EAN: 9788843029006
Seiten: 202
Format: Taschenbuch
Größe (cm):
Höhe: 22
Beschreibung
Erste Ausgabe.