Macchina di Turing
Mauro Cappelli
Modello di agente di calcolo adatto a simulare la logica di qualsiasi algoritmo computazionale. La macchina formale fu proposta nel 1936 dal logico e matematico britannico [...] di rendere automatica una macchina da scrivere). Oggi ne esistono molte varianti, la più semplice delle quali è la macchina di Turing a nastro, formata da un’unità di controllo contenente un programma con un numero finito di istruzioni, da un nastro ...
Leggi Tutto
calcolabilità
Fabrizio Luccio
La teoria che studia la possibilità di calcolare una funzione dagli interi sugli interi mediante un modello astratto di computazione come per es. la macchina di Turing. [...] alcun algoritmo di calcolo, ovvero problemi non risolubili mediante algoritmi. Il primo di questi problemi, scoperto da Alan Turing nel 1936, può essere formulato in termini intuitivi affermando che non esiste algoritmo che, presi come dati d ...
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
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
Logica e processi cognitivi
Carlo Cellucci
Sarebbe difficile comprendere l'attuale stato dei rapporti tra l. e p. c. senza riferirsi a tre fattori che li hanno influenzati profondamente. Il primo fattore [...] , che simuli tale comportamento in modo che a ogni stato mentale corrisponda una configurazione della macchina. L'analisi di Turing ha avuto notevole influenza sul modo di concepire i rapporti tra l. e p. c. soprattutto attraverso il funzionalismo ...
Leggi Tutto
universale
universale [agg. e s.m. Der. del lat. universalis, da universus "tutto intero"] [FTC] Qualifica di dispositivi o apparecchi che: (a) possono essere usati in condizioni diverse di alimentazione [...] ] Fibrato u.: v. fibrati: II 571 d. ◆ [ASF] Funzione u. (di luminosità): v. galassie: II 810 e. ◆ [INF] Macchina di Turing u.: v. automi, teoria degli: I 330 e. ◆ [OTT] Obiettivo u.: nella tecnica fotografica, obiettivo dotato di un attacco che gli ...
Leggi Tutto
Somenzi, Vittorio
Antonio Rainone
Filosofo della scienza, nato a Redondesco (Mantova) il 2 aprile 1918. Ufficiale meteorologo nel Genio aeronautico, nel 1945 partecipò alla Resistenza come ufficiale [...] del 1965 (1994³, notevolmente ampliata, in collab. con R. Cordeschi), in cui venivano presentati scritti di N. Wiener, A.M. Turing, C.E. Shannon, J. von Neumann e diversi altri. Sostenitore di un approccio riduzionista alla 'mente', S. ha in seguito ...
Leggi Tutto
teoremi di indecidibilità
Silvio Bozzi
In logica matematica, risultati che affermano che una data teoria formalizzata T non è decidibile, vale a dire non ammette un algoritmo in grado di stabilire in [...] risultati di indecidibilità che non riguardano direttamente teorie formalizzate, per es., il problema della fermata per macchine di Turing, il problema della lambda-convertibilità o quello della derivabilità di parole entro sistemi di Post e così via ...
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 [...] è assolutamente estraneo alla visione di Brouwer della matematica come attività non linguistica del matematico ideale. L'analisi di Turing non è legata a uno specifico formalismo, tuttavia per la generalità della sua nozione di algoritmo egli basa le ...
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...