La seconda rivoluzione scientifica: matematica e logica. I teoremidiincompletezzadiGodel
Carlo Cellucci
I teoremidiincompletezzadiGödel
Nei giorni 5-7 settembre 1930 ebbe luogo a Königsberg [...] . La presente formulazione D1-D3 si deve a Martin Hugo Löb (Löb 1955).
Possiamo allora formulare il seguente risultato (Gödel 1931b).
Secondo teoremadiincompletezza: esiste un enunciato φ tale che:
1) Se T è coerente allora T⊬φ;
2) S⊦ConT→φ, dove ...
Leggi Tutto
godeliano
‹ġö-› agg. – Relativo al matematico Kurt Gödel (1906-1978) e alla sua opera: teoremi g., o prove di Gödel, le dimostrazioni, da lui formulate, dell’incompletezza di qualsiasi assiomatizzazione della teoria dei numeri, dell’impossibilità...
incompletezza
incompletézza s. f. [der. di incompleto]. – Condizione di ciò che è incompleto: i. di una serie, di un elenco, di una reazione chimica; non sono in grado di giudicare, per i. dei dati (o per i. d’informazione). In logica matematica,...