Gödel, Kurt

Enciclopedia on line

Matematico e filosofo (Brno 1906 - Princeton 1978). Libero docente di matematica all'univ. di Vienna (1933-38), fu uno degli studiosi che si riunivano attorno a M. Schlick nel Verein Ernst Mach, poi (1929) denominato Wiener Kreis. Dopo il 1938 emigrò negli USA, di cui prese la cittadinanza nel 1948. È stato membro permanente (dal 1946) dell'Institute for advanced study (Princeton) e dell'Association ... Leggi Tutto

CATEGORIA: BIOGRAFIE

TAGS: INSTITUTE FOR ADVANCED STUDY – TEORIA DELLA RELATIVITÀ – TEORIA DEGLI INSIEMI – LOGICA MATEMATICA – ERNST MACH

godelizzazione

Dizionario delle Scienze Fisiche (1996)

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

CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – ALGEBRA – EPISTEMOLOGIA – METAFISICA

numerativo

Dizionario delle Scienze Fisiche (1996)

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

CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – ALGEBRA – EPISTEMOLOGIA – METAFISICA

Skolem Thoralf Albert

Dizionario delle Scienze Fisiche (1996)

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

CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – ALGEBRA – EPISTEMOLOGIA – METAFISICA

incompletezza

Dizionario delle Scienze Fisiche (1996)

incompletezza incompletézza [Der. di incompleto] [FAF] Il fenomeno per cui ci sono formule A(x) per le quali, per ogni n, si prova A(n), ma non si prova A(x) per ogni x: v. Gödel, teorema di: III 56 [...] b. ◆ [FAF] Teorema di i.: v. Gödel, teorema di: III 53 c. ... Leggi Tutto

CATEGORIA: STORIA DELLA FISICA – EPISTEMOLOGIA – METAFISICA

calcolabilita

Dizionario delle Scienze Fisiche (1996)

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

CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – ALGEBRA – EPISTEMOLOGIA – METAFISICA

autoriferiménto

Dizionario delle Scienze Fisiche (1996)

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

CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – ALGEBRA – EPISTEMOLOGIA – METAFISICA – ELETTRONICA

complessita

Dizionario delle Scienze Fisiche (1996)

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

CATEGORIA: FISICA MATEMATICA – MECCANICA – MECCANICA DEI FLUIDI – MECCANICA QUANTISTICA – STORIA DELLA FISICA – TEMI GENERALI – STATISTICA E CALCOLO DELLE PROBABILITA – EPISTEMOLOGIA – METAFISICA – ELETTRONICA – MECCANICA APPLICATA

teoremi di indecidibilita

Enciclopedia della Scienza e della Tecnica (2008)

teoremi di indecidibilità Silvio Bozzi In logica matematica, risultati che affermano che una data teoria formalizzata T non è decidibile, vale a dire non ammette un algoritmo in grado di stabilire in [...] modo meccanico per ogni formula del linguaggio se è teorema o meno di T. Prototipo di questi risultati è il teorema di Gödel (1931), il quale afferma che l’aritmetica di Peano del primo ordine è indecidibile. Il risultato si può estendere a teorie ... Leggi Tutto

CATEGORIA: LOGICA

TAGS: PROBLEMA DELLA FERMATA – MACCHINE DI TURING – LOGICA MATEMATICA – TEORIA DEI NUMERI – ARITMETICA

indecidibile

Dizionario delle Scienze Fisiche (1996)

indecidibile indecidìbile [Comp. di in- neg. e decidibile "che non può essere deciso"] [ALG] [FAF] Teoria i.: quella per la quale non esiste nessun algoritmo mediante il quale sia possibile decidere [...] in un numero finito di passi, per ogni proposizione formulabile in essa, se sia vera o falsa; è tale, per es., l'intera aritmetica (v. Gödel, teorema di: III 53 c). ... Leggi Tutto

CATEGORIA: FISICA MATEMATICA – STORIA DELLA FISICA – ALGEBRA – EPISTEMOLOGIA – METAFISICA