Godel Kurt
Gödel 〈gö´dël〉 Kurt [STF] (Brno 1906, nat. SUA - Princeton, New Jersey, 1978) Docente di matematica nell'univ. di Vienna (1933), nel 1938 passò negli SUA e dal 1946 fu membro permanente dello [...] Princeton, New Jersey. ◆ [FAF] Numero di G.: → gödelizzazione. ◆ [FAF] Teorema d'incompletezza sintattica di G.: il più celebre dei risultati di G., enunciato nel 1931 e noto come teoremadi G. per antonomasia: v. gödel, teoremadi: III 53 c. ◆ [RGR ...
Leggi Tutto
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, teoremadi: III 56 [...] b. ◆ [FAF] Teoremadi i.: v. Gödel, teoremadi: III 53 c. ...
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] Teoremadi R.: v. Gödel, teoremadi: III 58 d. ...
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] Teoremadi T.: v. Gödel, teoremadi: III 56 b. ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1961-1970
1961-1970
1961
Famiglia universale. Il giapponese Masatake Kuranishi mostra che esiste sempre un certo tipo di famiglia olomorfa di strutture complesse [...] degli insiemi di Zermelo-Fraenkel, e che lo stesso vale per l'assioma della scelta. Il logico austriaco Kurt Gödel aveva già durante un intervento chirurgico su un paziente.
1964
Teoremadi Sharkovski sulle orbite periodiche. Il sovietico Alexander N ...
Leggi Tutto
logica
lògica [Lat. logica, dal gr. loġiké (sottinteso téchne "arte"), a sua volta da lógos "discorso, ragionamento"] [ELT] [INF] Il complesso dei circuiti logici che fanno parte di un dispositivo elettronico [...] non quella dei predicati, mentre quella che analizza pure la quantificazione dei predicati è detta l. del secondo ordine: v. Gödel, teoremadi: III 54 e. ◆ [FAF] L. enunciativa: lo stesso che l. proposizionale (v. oltre). ◆ [ALG] [FAF] L. formale, o ...
Leggi Tutto
Hilbert, David
Hilbert ⟨hìlbërt⟩ David [STF] (Königsberg 1862 - Gottinga 1943) Prof. di matematica nell'univ. di Gottinga (1895); socio straniero dei Lincei (1903). ◆ Azione di H.-Einstein: v. gravità [...] ogni ricorso all’“evidenza intuitiva” nelle dimostrazioni. ◆ Programma di H.: il sistema dei postulati di H. (v. sopra): v. Gödel, teoremadi: III 53 d. ◆ Sottospazio di H.: data una base B di uno spazio di H., è lo spazio vettoriale generato da un ...
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, [...] teoremadi: 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 di segmenti identici che, al limite, ricopre ...
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., [...] per simulare il comportamento del sistema: v. Gödel, teoremadi: III 58 a. ◆ [MCS] C. algoritmica: v. caos: sviluppi recenti: VI 619 f. ◆ [MCS] C. assoluta di una successione: una possibile misura della c. di una successione (v. oltre): v. entropia e ...
Leggi Tutto
Dedekind Julius Wilhelm Richard
Dedekind 〈déedëkint〉 Julius Wilhelm Richard [STF] (Brunswick 1831- ivi 1916) Matematico, insegnò nel politecnico di Zurigo (1862), poi in quello di Brunswick (dal 1862); [...] può fondarsi l'aritmetica: v. Gödel, teoremadi: III 54 a. ◆ [ALG] Sezione di D.: qualunque suddivisione dell'insieme Q dei numeri razionali in due sottoinsiemi A e B tali che ogni elemento di A sia minore di ogni elemento di B; se né il sottoinsieme ...
Leggi Tutto
teorema
teorèma s. m. [dal lat. tardo theorēma, gr. ϑεώρημα (propr. «ricerca, meditazione», der. di ϑεω-ρέω «esaminare, osservare»)] (pl. -i). – 1. Nella cultura classica e medievale, la «visione» sensibile o intellettiva e il relativo oggetto,...
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à...