MACCHINE
Vittorio Marchis e Marcella Corsi
Storia della tecnologia
di Vittorio Marchis
Definizioni e classificazione
Si definisce macchina un complesso di elementi fissi e mobili, vincolati cinematicamente, [...] macchine e alla tecnica non può essere unica, ma dipende fortemente dal contesto sociale a cui si riferiscono.
Nel 1936 AlanTuring aveva formulato la teoria degli automi sviluppando, a puro livello teorico, un modello di macchina 'digitale' e aveva ...
Leggi Tutto
Elettronica
Vittorio Capecchi
Definizione di elettronica
L'elettronica è la tecnica che permette di manipolare gli elettroni (le particelle dell'atomo che hanno carica negativa) in modo da ottenere [...] Tilly, L.A. (a cura di), Computer chips and paper clips, Washington 1986.
Hodges, A., AlanTuring the enigma, New York 1983 (tr. it.: Storia di un enigma. Vita di AlanTuring 1912-1954, Torino 1991).
Humbert, M., Perrault, J.L., La globalisation de l ...
Leggi Tutto
L'Universo matematico
John D. Barrow
(Astronomy Centre, University of Sussex, Brighton, Gran Bretagna)
Parte di questo saggio è stata pubblicata sotto il titolo Perché il mondo è matematico? Roma-Bari, [...] di molti matematici, la risposta è ancora no. AlanTuring a Cambridge, Emil Post e Alonzo Church a York, Paideia Press, 1970.
HERKEN, R., a c. di The universal Turing machine: a halfcentury survey. Oxford, Oxford University Press, 1988.
GEROCH, R ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero - Tecnica (2013)
Il diffondersi sempre più rapido delle tecnologie digitali in tutte le attività umane è il fenomeno che meglio caratterizza l’epoca che stiamo vivendo. Si può inquadrare ciò che sta avvenendo facendo riferimento [...] primo a formulare la moderna teoria della computabilità fu AlanTuring (1912-1954) con la Macchina universale, descritta È interessante notare che, con la sua Macchina universale, Turing si proponeva di rispondere al famoso problema della decisione ( ...
Leggi Tutto
La grande scienza. Intelligenza artificiale
Marco Somalvico
Francesco Amigoni
Viola Schiaffonati
Intelligenza artificiale
In questa trattazione viene presentata l'intelligenza artificiale (nel seguito [...] della fisiologia e delle funzioni di base dei neuroni, alla logica proposizionale e alla teoria della computabilità di AlanTuring. L'idea alla base del progetto cibernetico è quella di studiare i meccanismi dell'autoregolazione e del controllo ...
Leggi Tutto
Automi e linguaggi formali
Dominique Perrin
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. Tali successioni si presentano in situazioni [...] del Novecento, i cui precedenti si possono riconoscere nei lavori sui sistemi formali condotti da logici, in particolare AlanTuring, Axel Thue e Emil Post. Parallelamente, e in modo apparentemente indipendente, lo stesso concetto è stato sviluppato ...
Leggi Tutto
Matematica: problemi aperti
Claudio Procesi
Prima di parlare dei problemi aperti nella matematica è bene riflettere su quelli che ne hanno segnato la storia passata. Sono infatti proprio questi che [...] possibile esprimere in termini matematici una domanda che riguarda il funzionamento dei computer dipende dai famosi risultati di AlanTuring (lo studioso inglese che decifrò il codice tedesco ENIGMA durante la Seconda guerra mondiale). Nel 1936, egli ...
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 [...] dovesse consistere in una elencazione finita di operazioni elementari, ciascuna eseguibile meccanicamente in tempo finito. Nel 1936 AlanTuring introduceva la sua macchina (MT), che divenne il modello accettato di procedura e rimane tale per la ...
Leggi Tutto
Sistemi reagenti complessi
Sergio Carrà
La chimica ha raggiunto un soddisfacente grado di sviluppo, in virtù del quale costituisce un efficace e indispensabile strumento per la comprensione dei fenomeni [...] di andamenti oscillanti nel tempo e nello spazio delle concentrazioni delle diverse specie in gioco era stata anticipata da AlanTuring nel 1952, in un lavoro pionieristico nel quale si evidenziava che lo sviluppo di strutture spaziali consegue da ...
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
La matematica del Novecento è stata paragonata nel 1951 da Hermann Weyl al delta del [...] media degli zero non banali su questa retta.
A partire dagli anni Cinquanta e in particolare dai lavori pionieristici di AlanTuring, l’uso dei calcolatori ha permesso di verificare l’ipotesi di Riemann per valori numerici sempre più elevati. Nella ...
Leggi Tutto