L’articolo ripercorre la storia dei sistemi formali, da Leibniz ad Hilbert, a Gӧdel. Vengono presentati il programma di Hilbert e i teoremidiincompletezzadiGӧdel, illustrando l’idea alla base della [...] sistemi formali, riportando argomentazioni di Hofstadter, Lucas, Seth Lloyd. Secondo Lucas il primo teoremadiincompletezza sancisce la differenza tra menti e macchine. Secondo Lloyd il teoremadi Turing permette di spiegare la ragionevolezza del ...
Leggi Tutto
L’articolo ripercorre la storia dei sistemi formali, da Leibniz ad Hilbert, a Gӧdel. Vengono presentati il programma di Hilbert e i teoremidiincompletezzadiGӧdel, illustrando l’idea alla base della [...] sistemi formali, riportando argomentazioni di Hofstadter, Lucas, Seth Lloyd. Secondo Lucas il primo teoremadiincompletezza sancisce la differenza tra menti e macchine. Secondo Lloyd il teoremadi Turing permette di spiegare la ragionevolezza del ...
Leggi Tutto
godeliano
‹ġö-› agg. – Relativo al matematico Kurt Gödel (1906-1978) e alla sua opera: teoremi g., o prove di Gödel, le dimostrazioni, da lui formulate, dell’incompletezza di qualsiasi assiomatizzazione della teoria dei numeri, dell’impossibilità...
incompletezza
incompletézza s. f. [der. di incompleto]. – Condizione di ciò che è incompleto: i. di una serie, di un elenco, di una reazione chimica; non sono in grado di giudicare, per i. dei dati (o per i. d’informazione). In logica matematica,...
Informatica
Fabrizio Luccio
Franco P. Preparata
Carl-Erik Fröberg
Piero Sguazzero
Piero Dell'Orco e Tomaso Poggio
Teoria della computazione di Fabrizio Luccio
SOMMARIO: 1. Origine e motivazioni. 2. Notazione. 3. Automi finiti. 4. Automi...
STORIA DELLA MATEMATICA
Luigi Borzacchini
STORIA DELLA MATEMATICA
Il tempo della scienza senza tempo
La matematica è la più antica e la più immutabile delle discipline. Si può dire che la matematica di base, quella insegnata oggi nella scuola...