• Istituto
    • Chi Siamo
    • La nostra storia
  • Magazine
    • Agenda
    • Atlante
    • Il Faro
    • Il Chiasmo
    • Diritto
    • Il Tascabile
    • Le Parole Valgono
    • Lingua italiana
    • WebTv
  • Catalogo
    • Le Opere
    • Bottega Treccani
    • Gli Ebook
    • Le Nostre Sedi
  • Scuola e Formazione
    • Portale Treccani Scuola
    • Formazione Digitale
    • Formazione Master
    • Scuola del Tascabile
  • Libri
    • Vai al portale
  • Arte
    • Vai al portale
  • Treccani Cultura
    • Chi Siamo
    • Come Aderire
    • Progetti
    • Iniziative Cultura
    • Eventi Sala Igea
  • ACQUISTA SU EMPORIUM
    • Arte
    • Cartoleria
    • Design & Alto Artigianato
    • Editoria
    • Idee
    • Marchi e Selezioni
  • Accedi
    • Modifica Profilo
    • Treccani X
Cerca in:
enciclopedia
biografico
vocabolario
atlante
il chiasmo
lingua italiana
webtv
10 risultati
Tutti i risultati [173]
Filosofia [10]
Informatica [38]
Matematica [33]
Temi generali [20]
Biografie [14]
Cibernetica e intelligenza artificiale [11]
Biologia [11]
Medicina [9]
Fisica [9]
Ingegneria [9]

macchina di Turing

Enciclopedia della Scienza e della Tecnica (2008)

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
CATEGORIA: LOGICA – ELABORATORI
TAGS: INTELLIGENZA ARTIFICIALE – INFORMATICA TEORICA – ALAN TURING – ALGORITMO
Mostra altri risultati Nascondi altri risultati su macchina di Turing (1)
Mostra Tutti

calcolabilita

Enciclopedia della Scienza e della Tecnica (2008)

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
CATEGORIA: LOGICA
TAGS: MACCHINA DI TURING – NUMERI INTERI – COMBINATORIA – ALAN TURING – ALGORITMO
Mostra altri risultati Nascondi altri risultati su calcolabilita (1)
Mostra Tutti

scienza cognitiva

Enciclopedia on line

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
CATEGORIA: LINGUISTICA GENERALE – NEUROLOGIA – ANTROPOLOGIA CULTURALE
TAGS: INTELLIGENZA ARTIFICIALE – MEMORIA A LUNGO TERMINE – FILOSOFIA DELLA MENTE – PSICOLOGIA COGNITIVA – PSICOLINGUISTICA
Mostra altri risultati Nascondi altri risultati su scienza cognitiva (1)
Mostra Tutti

Floridi, Luciano

Enciclopedia on line

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
CATEGORIA: BIOGRAFIE
TAGS: INTELLIGENZA ARTIFICIALE – ALAN TURING – ONTOLOGIA – ETICA – ROMA

Logica e processi cognitivi

Enciclopedia Italiana - VII Appendice (2007)

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
CATEGORIA: LOGICA
TAGS: RAGIONAMENTO DEDUTTIVO – SCIENZIATI COGNITIVI – MACCHINA DI TURING – LOGICA MATEMATICA – METONIMIA
Mostra altri risultati Nascondi altri risultati su Logica e processi cognitivi (9)
Mostra Tutti

universale

Dizionario delle Scienze Fisiche (1996)

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
CATEGORIA: ASTROFISICA E FISICA SPAZIALE – ELETTROLOGIA – FISICA MATEMATICA – FISICA TECNICA – GEOFISICA – METROLOGIA – OTTICA – STORIA DELLA FISICA – TEMI GENERALI – ALGEBRA – STATISTICA E CALCOLO DELLE PROBABILITA – EPISTEMOLOGIA – METAFISICA

Somenzi, Vittorio

Enciclopedia Italiana - VI Appendice (2000)

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
CATEGORIA: BIOGRAFIE
TAGS: INTELLIGENZA ARTIFICIALE – BIOLOGIA EVOLUZIONISTICA – FILOSOFIA DELLA SCIENZA – OPERAZIONISMO – MATERIALISTA
Mostra altri risultati Nascondi altri risultati su Somenzi, Vittorio (3)
Mostra Tutti

teoremi di indecidibilita

Enciclopedia della Scienza e della Tecnica (2008)

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
CATEGORIA: LOGICA
TAGS: PROBLEMA DELLA FERMATA – MACCHINE DI TURING – LOGICA MATEMATICA – TEORIA DEI NUMERI – ARITMETICA
Mostra altri risultati Nascondi altri risultati su teoremi di indecidibilita (4)
Mostra Tutti

La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer

Storia della Scienza (2004)

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
CATEGORIA: STORIA DELLA MATEMATICA – STORIA DEL PENSIERO FILOSOFICO
Vocabolario
turingiano
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),...
turìngio
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...
Leggi Tutto
  • Istituto
    • Chi Siamo
    • La nostra storia
  • Magazine
    • Agenda
    • Atlante
    • Il Faro
    • Il Chiasmo
    • Diritto
    • Il Tascabile
    • Le Parole Valgono
    • Lingua italiana
    • WebTv
  • Catalogo
    • Le Opere
    • Bottega Treccani
    • Gli Ebook
    • Le Nostre Sedi
  • Scuola e Formazione
    • Portale Treccani Scuola
    • Formazione Digitale
    • Formazione Master
    • Scuola del Tascabile
  • Libri
    • Vai al portale
  • Arte
    • Vai al portale
  • Treccani Cultura
    • Chi Siamo
    • Come Aderire
    • Progetti
    • Iniziative Cultura
    • Eventi Sala Igea
  • ACQUISTA SU EMPORIUM
    • Arte
    • Cartoleria
    • Design & Alto Artigianato
    • Editoria
    • Idee
    • Marchi e Selezioni
  • Accedi
    • Modifica Profilo
    • Treccani X
  • Ricerca
    • Enciclopedia
    • Vocabolario
    • Sinonimi
    • Biografico
    • Indice Alfabetico

Istituto della Enciclopedia Italiana fondata da Giovanni Treccani S.p.A. © Tutti i diritti riservati

Partita Iva 00892411000

  • facebook
  • twitter
  • youtube
  • instagram
  • Contatti
  • Redazione
  • Termini e Condizioni generali
  • Condizioni di utilizzo dei Servizi
  • Informazioni sui Cookie
  • Trattamento dei dati personali