Logica e teorie formalizzate

Completezza, incompletezza, indecidibilità

Autor: Dario Palladino

Code: LISCMA0236261

nicht verfügbar
Warenkorb
SICHERE ZAHLUNGEN
pagamenti sicuri
Anfrage Informationen
Termin vereinbaren
Logica e teorie formalizzate

Completezza, incompletezza, indecidibilità

Autor: Dario Palladino

Code: LISCMA0236261

nicht verfügbar
Warenkorb
SICHERE ZAHLUNGEN
pagamenti sicuri
Anfrage Informationen
Termin vereinbaren

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.

Alternative vorschläge
Es könnte dich auch interessieren