Informatica teorica
Giorgio Ausiello
Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] . Esso costituisce di fatto una prosecuzione e un arricchimento dell'opera dei logici (quali Kurt Gödel, Stephen Kleene, AlanTuring e Alonzo Church), che negli anni Trenta hanno affrontato e risolto i primi importanti interrogativi riguardanti la ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero - Tecnica (2013)
Tecnologie digitali
Franco Filippazz
Giulio Occhini
Fulvia Sala
Il diffondersi sempre più rapido delle tecnologie digitali in tutte le attività umane è il fenomeno che meglio caratterizza l’epoca [...] 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
Complessita biologica
RRicard V. Solé
di Ricard V. Solé
Complessità biologica
sommario: 1. Introduzione. 2. Complessità e riduzionismo. 3. La complessità all'opera: le patologie complesse. 4. La complessità [...] in un sistema composto da molte unità, potrebbero essere spiegate facendo riferimento al meccanismo ipotizzato nel 1952 da AlanTuring per spiegare lo sviluppo degli organismi viventi, un meccanismo basato su processi di reazione e diffusione chimica ...
Leggi Tutto
Ottimizzazione
Claudio Arbib
Nel senso comune, ottimizzare significa determinare e attuare soluzioni che contemperino al meglio esigenze discordanti, per es. coniugare robustezza e leggerezza in un [...] con ciò un algoritmo in grado di calcolare – secondo un modello di calcolo specifico come quello formulato da AlanTuring nel 1936 – una soluzione ottima del problema, ovvero certificarne l’inesistenza, in un numero di passi limitato superiormente ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
La cibernetica
Roberto Cordeschi
Teresa Numerico
Le origini
Il termine cibernetica fu coniato dal matematico Norbert Wiener (1894-1964), che nel 1948 pubblicò negli Stati Uniti un libro destinato ad [...] insieme ad altri pionieri della cibernetica e della scienza dei calcolatori, come Claude Shannon, John von Neumann, AlanTuring, figura tra i protagonisti di questo volume, che in Italia doveva influenzare generazioni di studenti e futuri ricercatori ...
Leggi Tutto
Le invenzioni
Piero Ventura
Inventare per risolvere problemi
Inventare significa risolvere un problema teorico o pratico attraverso la costruzione di strumenti e di oggetti o lo sviluppo di nuovi metodi [...] per essere programmate. Poi, dopo la seconda guerra mondiale, grazie a fisici, ingegneri e matematici come l'inglese AlanTuring, il padre dell'informatica moderna, nacquero computer sempre più potenti… ma anche sempre più grandi. I calcolatori degli ...
Leggi Tutto
Computer. Calcolo parallelo
Nicola Cabibbo
La conoscenza delle leggi che governano un dato fenomeno permette in linea di principio di prevederne lo sviluppo nel tempo, ma con i normali strumenti offerti [...] .
Dal supercalcolo al calcolo parallelo
Il concetto di supercalcolatore nasce negli anni Settanta del Novecento. Charles Babbage, AlanTuring e John von Neumann, i padri fondatori della scienza dei calcolatori, avevano concepito il calcolatore come ...
Leggi Tutto
Fondamenti della matematica e teoria algoritmica dell'informazione
Gregory J. Chaitin
Ciò che possiamo dimostrare intorno ai fondamenti della matematica usando i suoi stessi metodi costituisce la metamatematica, [...] di verifica per le dimostrazioni. Definiremo teoria assiomatica formale un siffatto sistema formale. Come è stato mostrato da AlanTuring e ulteriormente chiarito da Emil Leon Post, l'insieme X di tutti i teoremi che sono conseguenza degli assiomi ...
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 cibernetica inaugura, nella prima metà del Novecento, lo studio comparato degli organismi [...] nascita: l’articolo pubblicato nel 1936-37 di AlanTuring sulla macchina universale.
L’EDSAC possiede almeno due approccio generale alla cognizione antitetico a quello della macchina di Turing, attribuito all’IA e alla scienza cognitiva classiche. ...
Leggi Tutto
SOMENZI, Vittorio.
Carmela Morabito
– Nacque il 2 aprile 1918 a Redondesco (Mantova) da Umberto Crespiniano Fortunato, veterinario, e da Iride Peschiera; terzo figlio, dopo Ezio e Lea Teresa Margherita. [...] del medesimo processo.
Ispirandosi al nuovo concetto di macchina sviluppato nel corso degli anni Quaranta e Cinquanta da AlanTuring, Claude Shannon, Norbert Wiener e William Ross Ashby (come qualsiasi sistema in grado di elaborare risposte adeguate ...
Leggi Tutto