Cerca in:
La logica nel Novecento
Storia della civiltà europea a cura di Umberto Eco (2014)
Andrea Bernardoni
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
All’inizio del Novecento la logica si sviluppa sotto l’egida della problematica circa [...] un modello astratto di macchina che in seguito fu chiamata “macchina di Turing” e che si in LJ “” è una relazione a m + 1 posti, ossia ogni sequente di LJ può contenere al massimo una formula nel conseguente. Un sequente intuizionista è quindi ...
Leggi Tutto
L’informatica teorica
Storia della civiltà europea a cura di Umberto Eco (2014)
Giorgio Strano
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Negli anni Trenta del Novecento i logici riescono a dare uno statuto matematico alla [...] così introdurre un terza nozione di calcolabilità, equivalente a quella di ricorsività e di λ-definibilità, ma calcolabile da una macchina astratta di un certo tipo.
Una macchina di Turing (MT) consiste in un insieme finito di stati e in un nastro ...
Leggi Tutto
La linguistica matematica
Storia della civiltà europea a cura di Umberto Eco (2014)
Giorgio Strano
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Negli anni Cinquanta del Novecento furono proposti due approcci allo studio matematico [...] quelli riconosciuti da un automa a stati finiti (una macchina che non richiede memoria di lavoro), i linguaggi di tipo 0 sono precisamente quelli riconosciuti da una macchina di Turing.
La questione della precisa relazione tra la gerarchia ...
Leggi Tutto
funzione calcolabile
Enciclopedia della Matematica (2017)
funzione calcolabile
funzione calcolabile funzione per la quale esiste una procedura di calcolo (→ algoritmo) che permette di determinarne, in un numero finito di passi, il valore in corrispondenza di [...] introdotti e studiati alcuni modelli formali per descrivere il processo di calcolo di una funzione. Fra i modelli di calcolo introdotti ci sono le → funzioni ricorsive, la macchina di → Turing e il λ-calcolo (→ lambda-calcolo). Secondo la cosiddetta ...
Leggi Tutto
Church, Alonzo
Dizionario di filosofia (2009)
Church, Alonzo
Logico e matematico statunitense (Washington 1903 - Hudson, Ohio, 1995). Prof. di matematica (1947-61), poi di matematica e filosofia (1961-67) a Princeton, insegnò dal 1967 matematica [...] . L’evidenza della tesi deriva dal fatto che altre classi di funzioni calcolabili (funzione λ-definibile, funzione calcolabile da una macchina di Turing, da un algoritmo di Markov, ecc.) sono coestensive alla classe delle funzioni ricorsive. Tuttavia ...
Leggi Tutto
Penrose, Sir Roger
Enciclopedia on line
Matematico e fisico britannico (n. Colchester 1931). P. ha dato importanti contributi nella teoria della relatività generale, formulando l'ipotesi secondo la quale la singolarità centrale di un buco nero [...] su un'analogia tra le attività della mente e una macchina di Turing, accomunate dalla capacità di operare per algoritmi. Ha inoltre proposto e studiato la nozione di tassellazione quasi periodica del piano Tra le sue opere ricordiamo: Techniques ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
lambda
Enciclopedia on line
Undicesima lettera dell’alfabeto greco (maiuscolo Λ, minuscolo λ), corrispondente alla consonante latina l.
biologia Fago l. Batteriofago che ha come ospite il batterio Escherichia coli. Su di esso sono [...] e anzi può essere usato per dare una definizione di computabilità di una funzione. In questo senso il l. calcolo è un modello di computazione equivalente alla macchina di Turing. Molti linguaggi di programmazione funzionali, tra cui per es. il LISP ...
Leggi Tutto
CATEGORIA:
GRAMMATICA
–
TEMI GENERALI
–
ANTROPOLOGIA FISICA
–
MICROBIOLOGIA
–
FISICA MATEMATICA
–
FISICA NUCLEARE
–
LOGICA MATEMATICA
Böhm, Corrado
Enciclopedia on line
Böhm, Corrado. – Matematico e informatico italiano (Milano 1923 - Roma 2017). Laureatosi nel 1946 in ingegneria elettronica presso il Politecnico di Losanna, ha conseguito il dottorato in matematica al [...] nel 1951. Dalle sue ricerche sui linguaggi per la programmazione sulla macchina di Turing è nato, in collaborazione con G. Jacopini, il teorema di Böhm-Jacopini (1966). Tra i suoi contributi più importanti vi è il cosiddetto teorema della separazione ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
scienza cognitiva
Enciclopedia on line
scienza cognitiva L’insieme delle discipline (intelligenza artificiale, psicologia cognitiva, linguistica, psicolinguistica, filosofia della mente e del linguaggio, neuroscienze, antropologia), che hanno [...] celebre test escogitato da A. Turing (➔ Turing, Alan Mathison), il quale, partendo dall’assunto che è impossibile distinguere, in circostanze sperimentali opportune, tra le prestazioni cognitive di una macchina e quelle di un essere umano, suggeriva ...
Leggi Tutto
LOGICA E INFORMATICA
Enciclopedia Italiana - V Appendice (1993)
LOGICA E INFORMATICA
Carlo Cellucci
I. McCarthy (1963) afferma che è ragionevole sperare che le relazioni tra l'i. e la l. matematica nel prossimo secolo saranno altrettanto fruttuose di quelle tra [...] 1937). Per ottenere tale risultato Turing ideò un modello puramente matematico dei procedimenti di computo sotto forma di una macchina ideale capace di manipolare simboli, comunemente nota come macchina di Turing. Successivamente sono stati formulati ...
Leggi Tutto