Cerca in:
La grande scienza. Cronologia scientifica: 1961-1970
Storia della Scienza (2003)
La grande scienza. Cronologia scientifica: 1961-1970
1961-1970
1961
Famiglia universale. Il giapponese Masatake Kuranishi mostra che esiste sempre un certo tipo di famiglia olomorfa di strutture complesse [...] una macchina di Turing, in funzione della lunghezza dell'input. Essi dimostrano anche l'esistenza di molte coppie di funzioni f( numerici, e il progetto NATS (National activity to test software) in America, che ha prodotto i pacchetti EISPACK ...
Leggi Tutto
Metodo
Enciclopedia del Novecento (1979)
Metodo
GGerard Radnitzky
di Gerard Radnitzky
Metodo
sommario: 1. Introduzione. 2. Concetto e definizione di procedimento metodico, metodo e metodologia. a) Distinzione tra i vari livelli. b) Definizione [...] , nella valutazione della ‛severità' di un test, si servono del concetto di ‛sapere di sfondo', senza peraltro averlo dilucidato (dal teorema di Gödel) consegue che la costruzione di una macchina di Turing capace di calcolare qualsiasi funzione ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1951-1960
Storia della Scienza (2003)
La grande scienza. Cronologia scientifica: 1951-1960
1951-1960
1951
Sui gruppi di omotopia e di omologia. In una serie di articoli (Homologie singulière des espaces fibrés) Jean-Pierre Serre fornisce [...] di Fritz Ullmann si afferma come il principale testo di riferimento della chimica industriale.
Introdotto il concetto di orbitale di una sottoclasse propria dei linguaggi riconoscibili da una macchina di Turing.
Nasce l'algebra omologica. H. Cartan e ...
Leggi Tutto
Matematica: problemi aperti
Enciclopedia della Scienza e della Tecnica (2007)
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 di Turing che riconosce ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI
Computazione, teoria della
Enciclopedia della Scienza e della Tecnica (2007)
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 di Turing
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
CATEGORIA:
ANALISI MATEMATICA
Complessità algoritmica
Enciclopedia della Scienza e della Tecnica (2007)
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 di Turing è 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
CATEGORIA:
TEMI GENERALI
Informatica teorica
Enciclopedia della Scienza e della Tecnica (2007)
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 di Turing. A tali studi hanno fatto seguito quelli di Manuel Blum e Albert per decidere se un dato numero è un numero primo (test di primalità), un problema per il quale allora non era ...
Leggi Tutto
BIOMATEMATICA
XXI Secolo (2010)
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 di Turing e di James D. Murray, la formazione di pattern era modellata tramite l’accoppiamento di processi di ...
Leggi Tutto
Turing, Alan Mathison
Enciclopedia on line
Matematico e logico matematico britannico (Londra 1912 - Wilmslow, Cheshire, 1954). Pioniere della scienza dell'informazione e dell'intelligenza artificiale, ha legato il suo nome, in particolare, a un [...] . A T. si deve anche l'elaborazione del test di T., criterio che consente di stabilire se una macchina è intelligente, consistente nella impossibilità di distinguere, in un dialogo scritto, se ci si trova di fronte a un interlocutore umano o a un ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE