godelizzazione godeliżżazióne ‹ġö-› s. f. [dal nome di K. Gödel (v. la voce prec.)]. – Procedimento logico-matematico ideato da K. Gödel per formalizzare la matematica, detto anche aritmetizzazione (v.). ... 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 [...] , ecc.; numeri g., o numeri di Gödel, numeri naturali che possono venire associati biunivocamente, secondo determinati criterî, ai segni, alle formule e alle dimostrazioni in un procedimento di aritmetizzazione (godelizzazione) di un calcolo formale. ... Leggi Tutto