La seconda rivoluzione scientifica: matematica e logica. Teoria della ricorsivita
Piergiorgio Odifreddi
Teoria della ricorsività
La teoria della ricorsività affronta lo studio delle funzioni con lo [...] non esistevano al tempo della formulazione della tesi di Church, ma che la definizione di funzione ricorsiva proposta da Turing e Post è equivalente alla calcolabilità mediante computer. La realtà è che, in questo caso, l'analisi teorica precedette ...
Leggi Tutto
scienza cognitiva L’insieme delle discipline (intelligenza artificiale, psicologia cognitiva, linguistica, psicolinguistica, filosofia della mente e del linguaggio, neuroscienze, antropologia), che hanno [...] storici e teorici per la nascita della s. possono essere individuati già nel celebre test escogitato da A. Turing (➔ Turing, Alan Mathison), il quale, partendo dall’assunto che è impossibile distinguere, in circostanze sperimentali opportune, tra le ...
Leggi Tutto
Rispetto a tutto ciò che la c. prometteva negli anni Quaranta e Cinquanta, gli sviluppi realizzati in seguito da questa nuova scienza risultano in parte superiori e in parte inferiori all'aspettativa.
I [...] al 1948 sono da attribuire in parte al loro carattere eccessivamente interdisciplinare. Solo studiosi eccezionali, come A. M. Turing, J. von Neumann e N. Wiener, nel frattempo scomparsi, potrebbero infatti abbracciare dall'alto di un completo dominio ...
Leggi Tutto
Chimica fisica dei sistemi non lineari
John Ross
SOMMARIO: 1. Introduzione. 2. Definizioni e concetti elementari. 3. Tipi di fenomeni non lineari: a) sistemi chimici con stati stazionari multipli; [...] e altri, Periodic precipitation..., e Mesoscopic structure..., 1982; v. Lovett e altri, 1978), mentre l'osservazione di una struttura di Turing indipendente dal tempo è stata riportata per la prima volta da Castets e altri (v., 1990). Un esempio di ...
Leggi Tutto
Floridi, Luciano. – Filosofo italiano naturalizzato britannico (n. Roma 1964). Tra le voci più autorevoli della filosofia contemporanea, dal 2013 professore ordinario di Filosofia ed etica dell'informazione [...] della Oxford University, dove dal 2017 dirige il Digital Ethics Lab, e chairman del Data Ethics Group dell’Alan Turing Institute, ha proposto un’ampia revisione dei paradigmi della disciplina al fine di adeguarne teorie e metodi ai vistosi mutamenti ...
Leggi Tutto
computazione quantistica
computazióne quantìstica locuz. sost. f. – Nella scienza dell'informazione, computazione basata sulla trattazione del dato quantistico. La c. q. ha introdotto un campo nuovo [...] in un dato linguaggio equivale ad azionare una macchina da calcolo. Mentre il modello universale per un computer è la macchina di Turing, che è in grado di accettare tutti i linguaggi numerabili in forma ricorrente, per una teoria formale della c. q ...
Leggi Tutto
Bohm
Böhm Corrado (Milano 1923) logico italiano. Dopo gli studi in ingegneria elettronica e in matematica a Losanna e Zurigo, ha lavorato nell’area della computer science, presso il Consiglio nazionale [...] (Istituto per le applicazioni del calcolo) sui modelli teorici di calcolabilità effettiva, a partire dalla macchina universale di Turing e da quella di von Neumann. Ha ottenuto la prima cattedra d’informatica istituita in Italia, presso l’università ...
Leggi Tutto
Rivest, Ronald L.
Rivest, Ronald L. – Informatico statunitense (n. Schenectady, NY, 1947) esperto di crittografia e sicurezza di reti e di elaboratori. Insieme ad Adi Shamir e Leonard M. Adleman ha ideato [...] codifica a RSA – così chiamato dalle iniziali dei loro nomi – per il quale sono stati insigniti nel 2002 del premio Turing dell’ACM (Association for computing machinery); insieme hanno fondato la RSA data security. R. ha inoltre ideato gli algoritmi ...
Leggi Tutto
Computazione, teoria della
Fabrizio Luccio
La necessità del calcolo, pur riconosciuta dall'uomo in tutte le epoche storiche, ha condotto solo in tempi relativamente recenti a una sistemazione teorica [...] primo di essi è relativo alla possibilità di stabilire se una MT arbitraria M accetta una stringa arbitraria α.
Teorema 12 (Turing). Il linguaggio Lu={〈M,α>: α∈L(M)} è ricorsivamente enumerabili e non è ricorsivo.
Lu è detto linguaggio universale ...
Leggi Tutto
Adleman, Leonard Max
Adleman, Leonard Max. – Informatico teorico e biologo statunitense (n. San Francisco 1945). Nel 1977, con Ron Rivest e Adi Shamir, ideò l’algoritmo di criptatura a chiave pubblica [...] transazioni del commercio elettronico e nelle e-mail – per il quale nel 2002, insieme ai colleghi, ricevette il premio Turing dell’ACM (Association for computing machinery). Insieme i tre fondarono nel 1983 la società RSA data security, divenuta ...
Leggi Tutto
turingiano
agg. e s. m. [dal nome della regione della Turingia (v. turingio)]. – Piano geologico superiore del permiano, tipico dell’Europa centro-orientale e in partic. della Turingia (corrispondente alla facies detta in Germania Zechstein),...
turingio
turìngio agg. [der. del nome della regione] (pl. f. -ge o -gie). – Della Turingia (ted. Thüringen), regione storica e moderna della Germania centro-orientale: le antiche popolazioni t., di stirpe germanica (e, sost., i turingi); il...