Cerca in:
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 [...] provato da Gödel per cui se si traducono nel modo ovvio i connettivi in termini di ∧ e ← tutti i teoremi della logica classica – letti in questo modo – saranno teoremi anche di quella intuizionista. Il risultato estende un teorema di Glivenko per cui ...
Leggi Tutto
CATEGORIA:
LOGICA
LOGICA MATEMATICA
Enciclopedia Italiana - III Appendice (1961)
LOGICA MATEMATICA (XXI, p. 398; App. II, 11, p. 226)
Alberto PASQUINELLI
Ludovico GEYMONAT
MATEMATICA Il recente sviluppo della l. m. è caratterizzato da un ulteriore consolidamento istituzionale e [...] J. C. McKinsey, O. Becker, G. H. von Wright, A. Schmidt, B. Sobociński, ecc. L'interesse per la logica intuizionistica, ricavabile dalla l. m. classica mediante opportune restrizioni della base assiomatica, è stato motivato prevalentemente dalla sua ...
Leggi Tutto
Kripke, Saul Aaron
Enciclopedia on line
Logico e filosofo statunitense (n. Bayshore, New York, 1940 - m. 2022); docente della Rockefeller University (New York) dal 1968 al 1976, dal 1977 ha insegnato alla Princeton University. Ha elaborato una [...] semantica formale per la logica intuizionistica e per quella modale, estendendo successivamente i risultati di quest'ultima all'analisi filosofica del riferimento dei termini del linguaggio naturale. Di qui è nata la teoria causale del riferimento, ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
logica
Enciclopedia on line
Filosofia
Disciplina che studia le condizioni di validità delle argomentazioni deduttive.
La l. antica
I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio [...] e l’italiano G. Peano, cui si deve l’elaborazione di un simbolismo logico vicino a quello comune e la fondazione di una ‘scuola italiana’ di l. kantiana, Brouwer sostiene che «la matematica intuizionistica è un’attività della mente di natura ...
Leggi Tutto
La seconda rivoluzione scientifica: introduzione. Filosofia e pratica matematica
Storia della Scienza (2004)
La seconda rivoluzione scientifica: introduzione. Filosofia e pratica matematica
Umberto Bottazzini
Filosofia e pratica matematica
Quando si parla di 'seconda rivoluzione' scientifica si pensa di solito [...] secolo si era posto per primo Gauss e che un grande logico come Gottlob Frege (1848-1925) ancora agita contro le nuove teorie teoria cantoriana del transfinito, dal punto di vista intuizionistico perdono di senso le dimostrazioni di esistenza fondate ...
Leggi Tutto
Intuizionismo
Enciclopedia del Novecento (1978)
Intuizionismo
AArend Heyting
di Arend Heyting
Intuizionismo
sommario: 1. Concetti fondamentali. 2. Aritmetica elementare. 3. Il principio del terzo escluso. 4. I numeri reali. 5. Ineguaglianza e separazione [...] escludere in assoluto la possibilità che insorgano equivoci; 6) la logica si può studiare o come una parte della matematica o come Il seguente esempio mostra che questo non vale dal punto di vista intuizionistico. Sia an = 1 − 1/n se fra le prime n ...
Leggi Tutto