Logico e matematico svizzero (Londra 1888 - Zurigo 1977), dal 1922 prof. all'univ. di Gottinga, insegnò poi a Helsinki e Zurigo; condirettore della rivista Dialectica. Allievo e collaboratore di D. Hilbert, [...] di B., che sviluppa quello di J. L. von Neumann, è stato studiato anche da K. Gödel: è perciò noto come sistema di von Neumann-Bernays-Gödel, per differenziarlo dal sistema di Zermelo-Fraenkel. Gli ultimi contributi di B. concernono lo studio dell ...
Leggi Tutto
aritmetizzazione
aritmetizzazióne [Atto ed effetto dell'aritmetizzare "rendere aritmetico", der. di aritmetico] [ALG] [FAF] [INF] Nella logica matematica: (a) in senso generale e storico, programma sviluppato [...] ., procedimento con cui, seguendo determinate regole, si associano alcuni numeri interi ai segni e alle formule di un linguaggio, rendendo così possibile un calcolo matematico delle espressioni che sono prese in esame: v. Gödel, teorema di: III 55 c. ...
Leggi Tutto
Church Alonzo
Church 〈cèrcë〉 Alonzo [STF] (n. Washington 1903) Prof. di logica matematica nell'univ. di Princeton (1947) e nell'univ. della California, a Los Angeles (1967). ◆ [FAF] Tesi, o ipotesi, [...] ricorsiva è effettivamente calcolabile) non si possono né dimostrare, né confutare, ma solo rendere accettabili con argomenti di carattere sperimentale; esse precisano la nozione di procedimento effettivo di calcolo: v. Gödel, teorema di: III 58 f. ...
Leggi Tutto
(ted. Wien) Città dell’Austria (1.900.547 ab. nel 2018), capitale dello Stato e del territorio autonomo omonimo. Sorge all’estremità settentrionale del Wiener Becken, nel punto in cui questo maggiormente [...] rappresentanti del circolo furono R. Carnap, O. Neurath, P. Frank; e inoltre F. Waismann, Gustav Bergmann, K. Gödel, H. Feigl, V. Kraft, J. Schächter. Con l’occupazione hitleriana, parecchi rappresentanti di questo movimento emigrarono negli USA ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer
Anne L. Troelstra
L'intuizionismo di Brouwer
Nella dissertazione Over de Grondslagen der Wiskunde (I fondamenti della [...] non se n'era resa conto; Paul Bernays (1888-1977) fu il primo ad afferrare le implicazioni del risultato di Gödel.
Importante per la teoria della dimostrazione della logica intuizionista fu la formulazione (Gentzen 1935) del calcolo dei sequenti LK e ...
Leggi Tutto
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
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
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
Filosofia
Processo logico-discorsivo (dal gr. apodissi) in virtù del quale si arriva a garantire la validità di un enunciato.
La nozione di d. venne introdotta da Aristotele che la definì come quella forma [...] matematica fino al costituirsi di un espresso campo di ricerche, la teoria della d., elaborata da D. Hilbert e K. Gödel, che studia le capacità dimostrative dei sistemi formali, teoria che, dopo il fallimento del suo originale obiettivo, quello cioè ...
Leggi Tutto
. Assumendo la parola "epistemologia" nel senso di "riflessione critica generale intorno alla conoscenza scientifica", il presente tentativo di sintesi problematica delle acquisizioni epistemologiche post-ottocentesche [...] , di un'analisi oltremodo restrittiva delle conoscenze matematiche tradizionali), sia per l'esito del famoso teorema di K. Gödel, che nel 1931 mostrò l'intrinseca impossibilità di stabilire, entro un sistema logico-matematico implicante l'aritmetica ...
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...