La seconda rivoluzione scientifica: matematica e logica. I problemi di Hilbert e la matematica del nuovo secolo
David E. Rowe
I problemi di Hilbert e la matematica del nuovo secolo
Problemi matematici [...] omogenee di grado arbitrario e genere zero.
La teoria degli algoritmi, sviluppata da Alonzo Church (1903-1995) e Alan M. Turing (1912-1954) negli anni Trenta, permise ai matematici di studiare la logica di tali procedimenti ricorsivi e di dare ...
Leggi Tutto
Informazione e computazione quantistica: teoria
Mario Rasetti
Al crocevia tra scienza e tecnologia
La nuova disciplina che va sotto il nome di informazione e computazione quantistica si sviluppa al [...] di situazione è quello di oracolo. Introdotto dall’inglese Alan M. Turing (1912-1954) nel suo tentativo di trovare una , il modello universale per un computer è la macchina di Turing, che è in grado di accettare tutti i linguaggi numerabili in ...
Leggi Tutto
Informatica: salto nel vuoto?
Corrado Böhm
Il titolo del saggio è solo in apparenza fantasioso e, pertanto, occorre in qualche modo chiarirlo. Il salto nel vuoto si riferisce al senso di spaesamento [...] illimitate alla creatività di nuovi risultati formali in logica matematica e quindi applicabili in informatica.
Il logico Alan M. Turing (1912-1954), inventore dell’omonima macchina, sfruttandone l’universalità ha cercato di aiutare la fantasia dei ...
Leggi Tutto
La seconda rivoluzione scientifica: fisica e chimica. La Seconda guerra mondiale
Daniel J. Kevles
La Seconda guerra mondiale
La Seconda guerra mondiale vide un impiego senza precedenti della tecnologia. [...] Enigma. All'inizio usarono alcuni ingegnosi sistemi inventati dagli analisti polacchi ma, ben presto, il matematico Alan M. Turing ideò una potentissima macchina per la decodificazione dalla quale, all'inizio del 1944, gli inglesi svilupparono ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'analisi numerica
Paolo Zellini
L'analisi numerica
L'analisi numerica moderna comincia a delinearsi verso la metà del XX sec., con le prime [...] di sistemi lineari, o di inversione di matrici, dovute principalmente a John von Neumann, Herman H. Goldstine e Alan M. Turing. In queste ricerche si affronta in un modo completamente nuovo lo studio degli algoritmi numerici, grazie soprattutto alla ...
Leggi Tutto
Informazione e computazione quantistica: applicazioni
Mario Rasetti
Schemi diversi di computazione quantistica
La computazione e la teoria dell’informazione quantistiche sono ormai entrate nel complesso [...] Germania, la cui cifra fu decodificata in Inghilterra a Bletchley Park da un gruppo di scienziati fra cui Alan M. Turing in un’operazione che diede origine alla realizzazione del primo computer digitale, Colossus) e finanziari. La criptoanalisi è ...
Leggi Tutto
La seconda rivoluzione scientifica: fisica e chimica (1945-1960). L'elettronica e il calcolo
Jon Agar
L'elettronica e il calcolo
Negli anni 1945-1946 fu resa pubblica la definizione di 'calcolatore [...] University, essa fu utilizzata per ricerche matematiche e scientifiche da un gruppo di lavoro di cui faceva parte Alan M. Turing (1912-1954), il quale ne redasse il manuale di programmazione; tra le varie applicazioni va ricordata la realizzazione ...
Leggi Tutto
La seconda rivoluzione scientifica: fisica e chimica (1920-1945). L'elettronica e il calcolo
Jon Agar
L'elettronica e il calcolo
L'elettronica
Nel secondo decennio del XX sec., il termine 'elettronico' [...] non specializzata, l'importanza della velocità di lavorazione dei materiali). A Bletchley Park fu impiegato il logico Alan M. Turing (1912-1954), il quale, sebbene non fosse direttamente coinvolto con il Colossus, aveva contribuito al progetto di ...
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 [...] algoritmo ‒ la nozione di funzione ricorsiva (generale), risultato del lavoro di Alonzo Church, Kurt Gödel, Jacques Herbrand, Alan M. Turing e Stephen C. Kleene ‒ non influì sull'intuizionismo; ciò tuttavia non deve sorprendere, in quanto la maggior ...
Leggi Tutto
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
Il cognitivismo ha riportato in primo piano lo studio dei processi che possono legittimamente [...] l’influsso dell’approccio computazionale, ispirato alla macchina di Turing. Tra i contributi principali alla nascita e ai primi del tutto autonoma dalle neuroscienze, come ha sempre sostenuto Jerry Alan Fodor (1935-). All’opposto, e in forme più o ...
Leggi Tutto