ricorsivamente
ricorsivaménte [Der. di ricorsivo "in maniera ricorsiva"] [ALG] Insieme r. enumerabile: v. Gödel, teorema di: III 57 b. ◆ [ALG] Nozione non r. enumerabile: v. Gödel, teorema di: III 54 [...] f ...
Leggi Tutto
creativo
creativo [Der. del lat. creare "relativo al creare"] [ALG] Insieme c.: tipo di insieme ricorsivamente enumerabile: v. Gödel, teorema di: III 57 d. ...
Leggi Tutto
categoricita
categoricità [Der. di categoria] [ALG] Unicità della scelta degli assiomi di una teoria a meno di isomorfismi: v. Gödel, teorema di: III 54 d. ...
Leggi Tutto
m-completo
m-complèto 〈èmme-〉 [agg. Comp. del simb. m e completo] [ALG] Insieme m.: tipo particolare di insieme ricorsivamente enumerabile: v. Gödel, teorema di: III 57 d. ...
Leggi Tutto
astrazione, schema d'assiomi di
astrazione, schema d’assiomi di nella sistemazione assiomatica della teoria degli insiemi, nota come teoria nbg (→ Neumann-Bernays-Gödel, teoria di), schema di assiomi [...] che permette di formare la classe di tutti gli insiemi, che non è, in tale teoria, un insieme ...
Leggi Tutto
numerativo
numerativo [agg. Der. di numerare (→ numeratore)] [FAF] In un linguaggio, le parole (dette anche, assolut., numerali s.m.) indicanti entità numeriche: v. Gödel, teorema di: III 55 c; comprendono [...] sia aggettivi che sostantivi e avverbi e, a seconda della funzione, si distinguono in: cardinali (uno, due, tre, ...); ordinali (primo, secondo, terzo, ...) e distributivi (per es., lat. bini "a due a ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. I teoremi di incompletezza di Godel
Carlo Cellucci
I teoremi di incompletezza di Gödel
Nei giorni 5-7 settembre 1930 ebbe luogo a Königsberg [...] si afferma che il teorema del punto fisso venne notato per la prima volta nel 1934 da Carnap. Esso, comunque, fu formulato da Gödel nel 1934 e in seguito ripreso da Rosser nel 1939, ma il suo uso è diventato standard solo a partire dall'articolo di ...
Leggi Tutto
Skolem Thoralf Albert
Skolem 〈skùulem〉 Thoralf Albert [STF] (Sandsvær 1887 - Oslo 1963) Prof. di matematica nell'univ. di Oslo (1938). ◆ [ALG] [FAF] Paradosso di S.: v. Gödel, teorema di: III 54 f. ◆ [...] [ALG] [FAF] Teoremi di Löwenheim-S.: v. logica: III 485 e ...
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à...
numero
nùmero s. m. [dal lat. numĕrus; cfr. novero]. – 1. Ciascuno degli enti astratti che rappresentano insiemi di unità, ordinati in una successione infinita (serie naturale dei n.) nella quale ogni elemento conta un’unità in più rispetto...