Micali, Silvio
Enciclopedia on line
Matematico italiano (n. Palermo 1954). Brillante allievo di C. Böhm, si è laureato in Matematica a La Sapienza di Roma (1978), prima di trasferirsi negli Stati Uniti e conseguire un dottorato in Informatica [...] firma digitale e in generale sulla sicurezza informatica. Per i contributi dati alla ricerca, nel 1993 ha vinto il Premio Gödel e nel 2007 è stato chiamato a far parte dell’Accademia Nazionale delle Scienze degli Stati Uniti. Nel 2012 ha ricevuto ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
ricorsivo
Dizionario delle Scienze Fisiche (2012)
ricorsivo
ricorsivo [agg. Der. di ricorrere: (→ ricorrente)] [LSF] Sinon. di ricorrente. ◆ [ALG] [INF] Algoritmo, o procedimento o procedura, r.: algoritmo che è formulato con esplicito riferimento a [...] funzioni iniziali mediante un numero finito di applicazioni delle regole di sostituzione e induzione: v. complessità di calcolo: I 663 b. ◆ [ALG] Insiemi r.: v. Gödel, teorema di: III 57 b. ◆ [INF] Paradigma r.: v. algoritmi, teoria degli: I 102 c. ...
Leggi Tutto
COHEN, Paul
Enciclopedia Italiana - IV Appendice (1978)
Matematico e logico-matematico statunitense, nato a Long Branch (New Jersey) il 2 aprile 1934. Ha conseguito il Ph. D. all'università di Chicago nel 1958; è professore di matematica all'università di Stanford [...] congettura (già formulata da G. Cantor nel 1878, e posta da D. Hilbert nel 1900 come primo problema matematico) K. Gödel nel 1940 aveva dimostrata la compatibilità con quegli assiomi. Il teorema di C. e il cosiddetto "metodo del forcing", da lui ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Storia della Scienza (2004)
La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Solomon Feferman
Le scuole di filosofia della matematica
I più importanti programmi di fondazione della [...] sconfitta temporanea. Ciò emerse nel 1931 dagli sbalorditivi risultati di Gödel in base ai quali se T è una qualsiasi teoria Fondamenti della matematica, 1934) ‒ che i teoremi di Gödel segnassero il fallimento del suo programma. Ma egli doveva ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Teoria della ricorsività
Storia della Scienza (2004)
La seconda rivoluzione scientifica: matematica e logica. Teoria della ricorsivita
Piergiorgio Odifreddi
Teoria della ricorsività
La teoria della ricorsività affronta lo studio delle funzioni con lo [...] e che non menta mai non può fornire risposte a ogni domanda riguardo ai numeri. In altri termini, il teorema di Gödel afferma che la verità matematica non può essere compressa né in sistemi assiomatici, né in programmi di computer.
I programmi dei ...
Leggi Tutto
CATEGORIA:
STORIA DELLA MATEMATICA
logica intuizionista
Enciclopedia della Scienza e della Tecnica (2008)
logica intuizionista
Silvio Bozzi
La più studiata rivale della logica classica sin da quando fu assiomatizzata da Arend Heyting nel 1930. Già Anchei M. Kolmogorov nel 1925 e Vasili I. Glivenko nel 1929 [...] classicamente. I connettivi ∧,∨,→ risultano non definibili l’uno con gli altri come pure i quantificatori ∀,∃. Nel 1932, Kurt Gödel dimostra che il calcolo intuizionista non ha matrice caratteristica finita (non ha cioè una matrice finita che renda ...
Leggi Tutto
CATEGORIA:
LOGICA
La grande scienza. Combinatoria
Storia della Scienza (2003)
La grande scienza. Combinatoria
Peter J. Cameron
Combinatoria
Secondo alcuni la combinatoria costituisce soltanto una parte della matematica, secondo altri essa non rappresenta una branca separata, [...] la combinatoria. Anche prima della costruzione dei computer, questioni di carattere teorico hanno portato a risultati importanti. Kurt Gödel (1931) dimostrò che vi sono enunciati veri sui numeri naturali che non si possono dedurre dagli assiomi di ...
Leggi Tutto
CATEGORIA:
ALGEBRA
Computazione, teoria della
Enciclopedia della Scienza e della Tecnica (2007)
Computazione, teoria della
Fabrizio Luccio
La necessità del calcolo, pur riconosciuta dall'uomo in tutte le epoche storiche, ha condotto solo in tempi relativamente recenti a una sistemazione teorica [...] e Alfred N. Whitehead, aveva trovato una risposta negativa nel 1931 con il famoso teorema di incompletezza di Kurt Gödel, che provava l'esistenza di formule indimostrabili nel calcolo dei predicati del primo ordine. Questo teorema è basato sulla ...
Leggi Tutto
CATEGORIA:
ANALISI MATEMATICA
terzo
Dizionario delle Scienze Fisiche (1996)
terzo
tèrzo [agg. numerico ordinale Der. del lat. tertius, da tres "tre"] [LSF] Che in una serie numericamente ordinata viene dopo altri due. ◆ T. suono: (a) [ACS] lo stesso che suono di combinazione, [...] falsa, e che quindi è vera la sua contraria A, in quanto una proposizione, e in ciò consiste il principio del t. escluso, o è vera, o è falsa. Il principio del t. escluso è stato confutato dalla logica matematica degli anni '30: v. Gödel, teorema di. ...
Leggi Tutto
CATEGORIA:
ACUSTICA
–
FISICA MATEMATICA
–
STORIA DELLA FISICA
–
TEMI GENERALI
–
TERMODINAMICA E TERMOLOGIA
–
ALGEBRA
–
EPISTEMOLOGIA
–
METAFISICA
combinatòria
Enciclopedia on line
Termine con cui è anche chiamata l'algebra combinatoria, disciplina che studia, piuttosto che le strutture algebriche classiche (gruppo, anello, corpo, ecc.), le strutture algebriche di tipo più semplice, [...] la combinatoria. Anche prima della costruzione dei computer, questioni di carattere teorico hanno portato a risultati importanti. Kurt Gödel nel 1931 dimostrò che vi sono enunciati veri sui numeri naturali che non si possono dedurre dagli assiomi di ...
Leggi Tutto
CATEGORIA:
ALGEBRA