• 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
webtv
113 risultati
Tutti i risultati [113]
Informatica [35]
Matematica [26]
Temi generali [20]
Cibernetica e intelligenza artificiale [10]
Fisica [9]
Programmazione e programmi [9]
Medicina [8]
Filosofia [7]
Ingegneria [7]
Biologia [7]

La logica nel Novecento

Storia della civiltà europea a cura di Umberto Eco (2014)

Andrea Bernardoni Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook All’inizio del Novecento la logica si sviluppa sotto l’egida della problematica circa [...] un modello astratto di macchina che in seguito fu chiamata “macchina di Turing” e che si in LJ “” è una relazione a m + 1 posti, ossia ogni sequente di LJ può contenere al massimo una formula nel conseguente. Un sequente intuizionista è quindi ... Leggi Tutto

L’informatica teorica

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 Negli anni Trenta del Novecento i logici riescono a dare uno statuto matematico alla [...] così introdurre un terza nozione di calcolabilità, equivalente a quella di ricorsività e di λ-definibilità, ma calcolabile da una macchina astratta di un certo tipo. Una macchina di Turing (MT) consiste in un insieme finito di stati e in un nastro ... Leggi Tutto

La linguistica matematica

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 Negli anni Cinquanta del Novecento furono proposti due approcci allo studio matematico [...] quelli riconosciuti da un automa a stati finiti (una macchina che non richiede memoria di lavoro), i linguaggi di tipo 0 sono precisamente quelli riconosciuti da una macchina di Turing. La questione della precisa relazione tra la gerarchia ... Leggi Tutto

funzione calcolabile

Enciclopedia della Matematica (2017)

funzione calcolabile funzione calcolabile funzione per la quale esiste una procedura di calcolo (→ algoritmo) che permette di determinarne, in un numero finito di passi, il valore in corrispondenza di [...] introdotti e studiati alcuni modelli formali per descrivere il processo di calcolo di una funzione. Fra i modelli di calcolo introdotti ci sono le → funzioni ricorsive, la macchina di → Turing e il λ-calcolo (→ lambda-calcolo). Secondo la cosiddetta ... Leggi Tutto
TAGS: INSIEME DEI NUMERI NATURALI – PRINCIPIO DEL TERZO ESCLUSO – INSIEME DI DEFINIZIONE – MACCHINA DI → TURING – FUNZIONE ARITMETICA

Church, Alonzo

Dizionario di filosofia (2009)

Church, Alonzo Logico e matematico statunitense (Washington 1903 - Hudson, Ohio, 1995). Prof. di matematica (1947-61), poi di matematica e filosofia (1961-67) a Princeton, insegnò dal 1967 matematica [...] . L’evidenza della tesi deriva dal fatto che altre classi di funzioni calcolabili (funzione λ-definibile, funzione calcolabile da una macchina di Turing, da un algoritmo di Markov, ecc.) sono coestensive alla classe delle funzioni ricorsive. Tuttavia ... Leggi Tutto
TAGS: LINGUAGGIO DI PROGRAMMAZIONE – FUNZIONI RICORSIVE – CALCOLO MECCANICO – TEORIA DEI TIPI – COMBINATORIA
Mostra altri risultati Nascondi altri risultati su Church, Alonzo (3)
Mostra Tutti

Penrose, Sir Roger

Enciclopedia on line

Penrose, Sir Roger Matematico e fisico britannico (n. Colchester 1931). P. ha dato importanti contributi nella teoria della relatività generale, formulando l'ipotesi secondo la quale la singolarità centrale di un buco nero [...] su un'analogia tra le attività della mente e una macchina di Turing, accomunate dalla capacità di operare per algoritmi. Ha inoltre proposto e studiato la nozione di tassellazione quasi periodica del piano Tra le sue opere ricordiamo: Techniques ... Leggi Tutto
CATEGORIA: BIOGRAFIE
TAGS: INTELLIGENZA ARTIFICIALE – MECCANICA QUANTISTICA – MACCHINA DI TURING – NEW BRUNSWICK – TASSELLAZIONE
Mostra altri risultati Nascondi altri risultati su Penrose, Sir Roger (2)
Mostra Tutti

lambda

Enciclopedia on line

Undicesima lettera dell’alfabeto greco (maiuscolo Λ, minuscolo λ), corrispondente alla consonante latina l. biologia Fago l. Batteriofago che ha come ospite il batterio Escherichia coli. Su di esso sono [...] e anzi può essere usato per dare una definizione di computabilità di una funzione. In questo senso il l. calcolo è un modello di computazione equivalente alla macchina di Turing. Molti linguaggi di programmazione funzionali, tra cui per es. il LISP ... Leggi Tutto
CATEGORIA: GRAMMATICA – TEMI GENERALI – ANTROPOLOGIA FISICA – MICROBIOLOGIA – FISICA MATEMATICA – FISICA NUCLEARE – LOGICA MATEMATICA
TAGS: LINGUAGGIO DI PROGRAMMAZIONE – MACCHINA DI TURING – ESPRESSIONE GENICA – FISICA SUBNUCLEARE – SUTURA LAMBDOIDEA

Böhm, Corrado

Enciclopedia on line

Böhm, Corrado. – Matematico e informatico italiano (Milano 1923 - Roma 2017). Laureatosi nel 1946 in ingegneria elettronica presso il Politecnico di Losanna, ha conseguito il dottorato in matematica al [...] nel 1951. Dalle sue ricerche sui linguaggi per la programmazione sulla macchina di Turing è nato, in collaborazione con G. Jacopini, il teorema di Böhm-Jacopini (1966). Tra i suoi contributi più importanti vi è il cosiddetto teorema della separazione ... Leggi Tutto
CATEGORIA: BIOGRAFIE
TAGS: LINGUAGGI DI PROGRAMMAZIONE – TEOREMA DI BÖHM-JACOPINI – MACCHINA DI TURING – MATEMATICA – LOSANNA

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 [...] celebre test escogitato da A. Turing (➔ Turing, Alan Mathison), il quale, partendo dall’assunto che è impossibile distinguere, in circostanze sperimentali opportune, tra le prestazioni cognitive di una macchina e quelle di un essere umano, suggeriva ... 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

LOGICA E INFORMATICA

Enciclopedia Italiana - V Appendice (1993)

LOGICA E INFORMATICA Carlo Cellucci I. McCarthy (1963) afferma che è ragionevole sperare che le relazioni tra l'i. e la l. matematica nel prossimo secolo saranno altrettanto fruttuose di quelle tra [...] 1937). Per ottenere tale risultato Turing ideò un modello puramente matematico dei procedimenti di computo sotto forma di una macchina ideale capace di manipolare simboli, comunemente nota come macchina di Turing. Successivamente sono stati formulati ... Leggi Tutto
1 2 3 4 5 6 7 8 ... 12
Vocabolario
màcchina
macchina màcchina (ant. màchina) s. f. [dal lat. machĭna, che è dal gr. dorico μαχανά, attico μηχανή]. – 1. In senso storico e antropologico, qualsiasi dispositivo o apparecchio costruito collegando opportunamente due o più elementi in modo...
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