godelizzazione
gödelizzazióne 〈g✄ödël-〉 [Dal cognome di K. Gödel] [ALG] [FAF] Tecnica in uso nella logica matematica, consistente nell'associare un numero intero (numero di Gödel) a ogni espressione [...] rispettiv. al primo, al secondo, al terzo, ... segno di A; ebbene, all'espressione A si può far corrispondere il numero di Gödel di A: g(A)=2n1 3n2 5n3 7n4 .... Viceversa, ogni numero intero che, scomposto in fattori primi, dia luogo unicamente a ...
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
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
Peano Giuseppe
Peano Giuseppe [STF] (Cuneo 1858 - Torino 1932) Prof. di analisi infinitesimale nell'univ. di Torino (1890). ◆ [ALG] Aritmetica di P.: una costruzione assiomatica dell'aritmetica: v. Gödel, [...] teorema di: III 54 b. ◆ [ALG] Curva di P.: ideata da P. per dimostrare errate certe idee sulle curve, in partic. che esse siano identicamente enti continui a una dimensione; è costituita da una spezzata ...
Leggi Tutto
calcolabilita
calcolabilità [Der. di calcolabile] [ALG] Generic., la proprietà di essere calcolabile. ◆ [FAF] Per una teoria, è una delle formulazioni equivalenti del concetto generale di ricorsività, [...] detta anche definibilità e studiata per la prima volta da K. Gödel nel 1936 (Über die Länge von Beweisen): v. Gödel, teorema di: III 56 c. ...
Leggi Tutto
autoriferimento
autoriferiménto [Comp. di auto- e riferimento] [ALG] [FAF] Nella logica matematica, fenomeno per cui, quando si aritmetizza il linguaggio di una teoria numerica, i termini della teoria [...] denotano anche termini della teoria stessa: v. Gödel, teorema di: III 55 e. ◆ [ELT] Nella teoria dei sistemi, la proprietà che avrebbero alcuni sistemi di riferirsi a sé stessi, cioè di determinare i propri stati internamente, mediante un processo di ...
Leggi Tutto
Tarski Alfred
Tarski 〈tàrski〉 Alfred [STF] (Varsavia 1901, nat. SUA - Oakland 1983) Prof. di teoria degli insiemi nell'univ. di Varsavia (1925), poi di matematica nella Harvard Univ. (1939) e infine [...] nell'univ. della California di Berkeley (1945). ◆ [ALG] Teorema di T.: v. Gödel, teorema di: III 56 b. ...
Leggi Tutto
complessita
complessità [Der. di complesso] [FAF] (a) L'essere complesso, il fatto di costituire un sistema di più parti o elementi interdipendenti in relazione funzionale fra di loro; (b) specific., [...] la lunghezza della minima istruzione necessaria per simulare il comportamento del sistema: v. Gödel, teorema di: III 58 a. ◆ [MCS] C. algoritmica: v. caos: sviluppi recenti: VI 619 f. ◆ [MCS] C. assoluta di una successione: una possibile misura della ...
Leggi Tutto
Ramsey Frank Plumton
Ramsey 〈rèmsi〉 Frank Plumton [STF] (Cambridge 1903 - ivi 1930) Lettore di matematica nell'univ. di Cambridge. ◆ [MTR] Cavità R.: v. frequenza, campioni di: II 767 e. ◆ [MTR] [ELT] [...] Tecnica di R.: v. frequenza, campioni di: II 767 b. ◆ [ALG] Teorema di R.: v. Gödel, teorema di: III 58 d. ...
Leggi Tutto
stringa
stringa [Der. dell'ingl. string "cordoncino"] [ELT] [INF] Nella tecnica dei calcolatori elettronici, sequenza finita di caratteri alfanumerici registrata in memoria che rappresenta dati in forma [...] codificata: s. alfabetica, di soli caratteri alfabetici, s. di bit, di numeri binari, ecc. ◆ [ALG] S. casuale: v. Gödel, teorema di: III 58 a. ◆ [ASF] S. cosmica: v. cosmologia primordiale: I 803 d. ◆ [RGR] S. relativistica: lo stesso che corda ...
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...