Fondamenti della matematica e teoria algoritmica dell'informazione
Gregory J. Chaitin
Ciò che possiamo dimostrare intorno ai fondamenti della matematica usando i suoi stessi metodi costituisce la metamatematica, [...] programma, è ciò che costringe questi programmi in linguaggio macchina a essere auto-delimitanti. In altre parole da Y. La complessità H(X) di una teoria assiomatica formale con insieme dei teoremi X è definita anch'essa usando il computer ...
Leggi Tutto
sintassi
Silvio Bozzi
Studio delle proprietà di linguaggi e teorie formalizzate visti, nella logica semantica, come sistemi per la costruzione, la classificazione e le trasformazioni di stringhe (o [...] nozione di sistema di produzione formulata nel 1943 da Post. I linguaggi, i calcoli logici e le teorie formalizzate al centro dell’analisi della logica matematica sono per lo più sistemi formali di questo tipo e il loro studio dal punto di vista ...
Leggi Tutto
linguaggio
linguàggio s. m. [der. di lingua]. – 1. Nell’uso ant. o letter., e talora anche nell’uso com. odierno, lo stesso che lingua, come strumento di comunicazione usato dai membri di una stessa comunità: parlare con proprietà di l.; Questi...
formale1
formale1 agg. [dal lat. formalis]. – 1. Nel linguaggio filos., della forma, che concerne la forma o è inerente alla forma, in stretta connessione con il sign. e lo svolgimento di questo termine in filosofia. a. Nella distinzione aristotelica...