Cerca in:
Robinson, Julia
Enciclopedia on line
Matematica e logica matematica (Saint Louis 1919 - ivi 1985), dal 1976 prof. di matematica all'univ. della California a Berkeley. Si è interessata di logica matematica (funzioni ricorsive e problemi di [...] decidibilità) e di teoria dei numeri. Di particolare importanza la scoperta (completata da J. V. Matijasević nel 1970) dell'indecidibilità del 10º problema di D. Hilbert: non esiste un metodo generale effettivo per decidere se una equazione diofantea ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Novikov, Pëtr Sergeevič
Enciclopedia on line
Matematico russo (Mosca 1901 - ivi 1975). Il suo nome è legato a ricerche di algebra, di teoria della misura, di teoria degli insiemi, di logica matematica, di teoria degli algoritmi, di matematica intuizionista [...] e di questioni di decidibilità. Ha insegnato nell'univ. di Mosca e ha tenuto per molti anni la cattedra di analisi matematica all'Istituto di pedagogia V. I. Lenin di Mosca. Uno dei suoi più celebri risultati è la dimostrazione che non sempre esiste ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
enumerabile, insieme
Enciclopedia on line
Un insieme I si dice e. quando esiste un procedimento effettivo (➔ decisione) per stabilire una corrispondenza biunivoca tra I e l’insieme dei numeri naturali (nell’insieme numerabile invece non viene [...] posta una condizione di effettiva costruibilità della corrispondenza).
Valgono tra i concetti di decidibilità, computabilità ed enumerabilità le relazioni: a) un insieme I è decidibile se e solo se sia I che il suo complemento sono e.; b) un insieme ...
Leggi Tutto
CATEGORIA:
ALGEBRA
Logiche non standard
Enciclopedia della Scienza e della Tecnica (2007)
Logiche non standard
Claudio Pizzi
Alcune famiglie di logiche non standard sono costituite da logiche che sono estensioni assiomatiche di quella standard, mentre altre constano di logiche rappresentabili [...] veniva indicata da Jaakko Hintikka, Stig Kanger e Richard M. Montague. Nel 1959 Saul Kripke dimostrava un risultato di completezza e decidibilità per i tre sistemi modali più forti: KT, S4, S5. L'idea su cui si regge la nuova semantica ‒ detta ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
Tarski, Alfred
Enciclopedia on line
Logico, matematico e filosofo di origine polacca (Varsavia 1901 - San Francisco 1983), naturalizzato statunitense. Considerato uno dei massimi esponenti della Scuola logica polacca, fu autore di fondamentali [...] di definibilità; generalizzazioni della logica del primo ordine). Si è occupato inoltre di questioni di decidibilità, di logiche intuizionistiche (proponendo come matrici per il calcolo intuizionistico proposizionale sottoinsiemi chiusi di uno ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Modelli, Teoria dei
Enciclopedia della Scienza e della Tecnica (2007)
Modelli, Teoria dei
Silvio Bozzi
Malgrado le modeste origini che ne hanno segnato la nascita, la teoria dei modelli ha sviluppato nel corso del tempo idee e metodi che l'hanno resa uno dei settori più [...] B′(x1,…,xn) con libere le stesse variabili per cui
[18] T ' ∀x1,...,∀xn (B(x1,...,xn) ∣ B′(x1,...,xn)) .
La decidibilità degli enunciati privi di quantificatori è immediata se le strutture generate dai denotati dei termini chiusi in ogni modello sono ...
Leggi Tutto
CATEGORIA:
LOGICA 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 [...] logica classica e intuizionista – che rendono molto più facile confrontare dimostrazioni classiche e intuizioniste, ottenendo oltre alla decidibilità proposizionale un risultato già provato da Gödel per cui se si traducono nel modo ovvio i connettivi ...
Leggi Tutto
CATEGORIA:
LOGICA
ricorsività
Enciclopedia on line
ricorsività La proprietà di essere ricorsivo, cioè ricorrente. Teoria della r., o della ricorsione, o computabilità, la disciplina che si occupa di fornire una caratterizzazione matematica del concetto [...] se esiste un procedimento per raggiungere in un numero finito di passi qualunque elemento di I). I concetti di decidibilità, costruibilità e computabilità sono così strettamente collegati che, non appena si riesca a precisarne uno, gli altri due ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI
La grande scienza. Cronologia scientifica: 1951-1960
Storia della Scienza (2003)
La grande scienza. Cronologia scientifica: 1951-1960
1951-1960
1951
Sui gruppi di omotopia e di omologia. In una serie di articoli (Homologie singulière des espaces fibrés) Jean-Pierre Serre fornisce [...] molte questioni di economia, conseguendo il premio Nobel 1994 per questa disciplina.
La decidibilità della geometria elementare. A. Tarski dimostra la decidibilità della teoria del campo reale, e quindi anche della geometria elementare, la quale ...
Leggi Tutto
Finito
Enciclopedia Italiana - VI Appendice (2000)
Finito
Antonio Machì
(XV, p. 399)
Matematica del finito
Diversi filoni della ricerca matematica che mostrano particolare vitalità si possono ricondurre all'interesse per i problemi del finito. L'analisi [...] Ottocento, le quali ripropongono problemi in parte tralasciati dalla matematica dell'infinito e del continuo, come quelli della decidibilità e della costruibilità degli enti matematici in un numero finito di passi (v. continuità, XI, p. 237; infinito ...
Leggi Tutto
CATEGORIA:
ALGEBRA