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 [...] di Manindra Agrawal e altri sul test polinomiale di primalità e la discussione del problema P verso NP) è se esistano infiniti primi di infiniti di parole. L'idea di algoritmo viene così trasformata in quella di macchina diTuring che riconosce ...
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 [...] cioè se L(A1)=L(A2)).
La macchina diTuring
L'automa più potente dal punto di vista del calcolo fu introdotto da Turing nel 1936. Si tratta di una macchina astratta di dimensioni finite, dotata di un organo (testa) che scandisce le celle consecutive ...
Leggi Tutto
Complessità algoritmica
Fabrizio Luccio
Gli studi di complessità di calcolo si sono sviluppati essenzialmente nella seconda metà del ventesimo secolo. Basati sulla formalizzazione del concetto di algoritmo, [...] deterministici
La macchina diTuring è una macchina astratta di dimensioni finite, dotata di una testa che scandisce le celle di un nastro esterno di lunghezza illimitata su cui esegue operazioni di lettura e scrittura e di un controllo che determina ...
Leggi Tutto
Macchina
Roberto Vacca
Il termine macchina indica qualsiasi dispositivo o apparecchio costruito collegando opportunamente due o più elementi, in modo che il moto relativo di questi trasmetta o anche [...] pensano e gli uomini no; non pensano né gli uni né gli altri. Nei primi anni Cinquanta A. Turing ha definito un suo testdi intelligenza per le macchine: lo supererà il computer che dialoga (attraverso una telescrivente o un terminale) con un ...
Leggi Tutto
rete neurale
rete neurale modello matematico e informatico per l’elaborazione delle informazioni, denominato anche rete neurale artificiale, ispirato alla fisiologia e al funzionamento del cervello umano [...] macchina di → Turing o l’elaboratore elettronico digitale). Il connessionismo sostiene invece la necessità di emulare le disposizione sono suddivisi in almeno due insiemi: training set e test set. Il primo gruppo è utilizzato per effettuare l’ ...
Leggi Tutto
scienza cognitiva L’insieme delle discipline (intelligenza artificiale, psicologia cognitiva, linguistica, psicolinguistica, filosofia della mente e del linguaggio, neuroscienze, antropologia), che hanno [...] possono essere individuati già nel celebre test escogitato da A. Turing (➔ Turing, Alan Mathison), il quale, R.P. Abelson, che hanno ampliato con la nozione di script quella di frame: scopo di uno script è rappresentare in forma algoritmica, in modo ...
Leggi Tutto
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 [...] studiato il concetto di classe di complessità per le macchine diTuring. A tali studi hanno fatto seguito quelli di Manuel Blum e Albert per decidere se un dato numero è un numero primo (testdi primalità), un problema per il quale allora non era ...
Leggi Tutto
Biomatematica
Vincenzo Capasso
Nel Saggiatore (1623), Galileo Galilei sosteneva che «l’Universo […] è scritto in lingua matematica, e i caratteri sono triangoli, cerchi e altre figure geometriche […]; [...] , in cui i bersagli venivano identificati usando test genetici, biochimici o cellulari.
La scienza della di reazione-diffusione. Nella scuola diTuring e di James D. Murray, la formazione di pattern era modellata tramite l’accoppiamento di processi di ...
Leggi Tutto
Psiche
Simona Argentieri
Il sostantivo psiche è desueto e rimanda a una remota classicità o a contesti accademici, ma le parole che contengono nella radice il riferimento alla p., come psicologia, psicoanalisi, [...] l'intelligenza naturale e la cosiddetta intelligenza artificiale dei calcolatori elettronici.
Nel 1950 A. Turing propose di risolvere il dilemma con il celebre test che porta il suo nome: il soggetto che si sottoponeva all'esperimento era sfidato a ...
Leggi Tutto
INFORMAZIONE, SCIENZA DELLA
Roman Tirler
Pierluigi Ridolfi
Stefano Ceri e Alfonso Fuggetta
Tecnologie della comunicazione di Roman Tirler
Sommario: 1. Introduzione. 2. Tecniche di comunicazione dati: [...] consultazioni a distanza e l'esame congiunto dei risultati ditest diagnostici.
6. Le prospettive future
Gli sviluppi della arduo di tutta l'informatica, ben sintetizzato nella famosa formulazione del problema proposta dal matematico Alan Turing, uno ...
Leggi Tutto
modello linguistico di grandi dimensioni (LLM, Llm) loc. s.le m. Algoritmo di intelligenza artificiale che, processando massivamente una grande quantità di dati, utilizza tecniche di deep learning in vari àmbiti dell’elaborazione del linguaggio...
CAPTCHA
Sigla dell'ingl. Completely Automated Public Turing (test to tell) Computers (and humans) Apart ('test di Turing pubblico e automatico per distinguere i computer dagli esseri umani'), indicante in informatica un codice di sicurezza...