cognitivismo
Approccio allo studio della mente che considera i processi psicologici come l’elaborazione e il trattamento di simboli e informazioni, dove la mente viene rappresentata come un apparato [...] puramente computazionale, nonché per l’intrinseca debolezza dei sistemi computazionali dimostrata dai teoremi di incompletezza di Kurt Gödel. A partire dalla critica al cognitivismo, sono state proposte nuove teorie della mente che pur conservando l ...
Leggi Tutto
In arte e architettura, persona od oggetto che l’artista ritrae o riproduce, oppure esemplare preparatorio dell’opera finale. Nel linguaggio scientifico, costruzione schematica, puramente ipotetica o realizzata [...] una formula di T sia un teorema di T. Una prima soluzione di questo problema è espressa dal teorema di completezza semantica di Gödel: ‘una formula di una teoria elementare T è un teorema se e solo se è valida in T′, o, equivalentemente, ‘una teoria ...
Leggi Tutto
Filosofo della scienza boemo naturalizzato statunitense (Nové Město, Boemia, 1901 - New York 1985). Esponente, con J. H. Randall e J. Buchler, della scuola naturalistica della Columbia University, N. si [...] and other studies in the philosophy of science (1954); Logic without metaphysics and other essays in the philosophy of science (1957); Gödel's proof (in collab. con T. R. Newman, 1958; trad. it. 1961); Teleology revisited and other essays in the ...
Leggi Tutto
definibilita
definibilità termine che designa uno dei principali oggetti di studio della logica matematica, insieme con la dimostrabilità e la calcolabilità; consiste in una riflessione sul concetto [...] Zermelo nel 1908 e poi ulteriormente sviluppata grazie allʼapporto di J. von Neumann, A. Robinson, P. Bernays e K. Gödel (→ Zermelo-Fraenkel, teoria di). Vi sono, inoltre, alcune teorie ibride che combinano aspetti della teoria dei tipi con la teoria ...
Leggi Tutto
Programmazione, algoritmi di
Alessandro Panconesi
Il termine algoritmo denota un procedimento sistematico ed esplicitato nei suoi passi elementari per l’esecuzione di un calcolo, inteso nella sua accezione [...] ).
Luccio, Pagli 1999: Luccio, Fabrizio - Pagli, Linda, Algoritmi, divinità e gente comune, Pisa, ETS, 1999.
Nagel, Newman 1958: Nagel, Ernest - Newman, James R., Gödel’s proof, New York-London, New York University Press, 1958 (trad. it.: La prova di ...
Leggi Tutto
macchina
màcchina [Der. del lat. machina, dal gr. machaná o mechané] [LSF] Dispositivo costituito da un complesso di parti collegate in modo da ottenere un certo scopo, che spesso è la produzione di [...] che costituiscono modelli discreti del comportamento di m. o dispositivi automatici reali o realizzabili; in partic., m. di Turing (v. Gödel, teorema di: III 56 f); (b) teoria delle m., lo studio delle analogie funzionali tra le m. (intese come ...
Leggi Tutto
aritmetica di Presburger
Luca Tomassini
Versione semplificata dell’aritmetica di Peano, ottenuta da quest’ultima eliminando l’operazione di moltiplicazione. Più precisamente, l’aritmetica di Presburger [...] gli stessi identici teoremi. Un’importante conseguenza di questo fatto è la completezza della teoria nel senso di Hilbert-Gödel, dimostrata dal matematico polacco Mojzesz Presburger nel 1929: differentemente dall’aritmetica di Peano, in quella di ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. I problemi di Hilbert e la matematica del nuovo secolo
David E. Rowe
I problemi di Hilbert e la matematica del nuovo secolo
Problemi matematici [...] (1888-1977) e altri esponenti di primo piano della scuola di Hilbert negli anni Venti. Infine, nel 1931, Gödel pubblicò i suoi teoremi di incompletezza, che rivelarono l'esistenza di profonde limitazioni insite nel programma formalista perseguito ...
Leggi Tutto
STRUTTURALISMO
Giulio Lepschy
Nella III Appendice dell'Enciclopedia Italiana (1961; cfr. 11, p. 860) lo s. veniva presentato come una tendenza degli studi linguistici articolata in tre correnti principali: [...] 1964; J. Vachek, The linguistic school of Prague, ivi 1966; A Geneva school reader in linguistics, a cura di R. Godel, ivi 1969; per gli studi italiani: D'A.S. Avalle, L'analisi letteraria in Italia. Formalismo, strutturalismo, semiologia, Milano ...
Leggi Tutto
TEORIE FORMALIZZATE
Aldo Marruccelli
. Una t. deduttiva T è un insieme di enunciati espressi in un determinato linguaggio (ordinario o simbolico) suscettibile di interpretazioni su opportuni insiemi [...] e altri problemi sono affrontati dalla logica matematica, che soprattutto mediante il teorema d'incompletezza sintattica di K. Gödel e i suoi corollari, sancisce in modo definitivo quali sono le limitazioni connesse con la natura stessa delle t ...
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à...
numero
nùmero s. m. [dal lat. numĕrus; cfr. novero]. – 1. Ciascuno degli enti astratti che rappresentano insiemi di unità, ordinati in una successione infinita (serie naturale dei n.) nella quale ogni elemento conta un’unità in più rispetto...