godelizzazionegödelizzazióne 〈g✄ödël-〉 [Dal cognome di K. Gödel] [ALG] [FAF] Tecnica in uso nella logica matematica, consistente nell'associare un numero intero (numero di Gödel) a ogni espressione [...] di un sistema formale del primo ordine. Il criterio per eseguire questo collegamento è, per lo più, il seguente. Si scelgono una volta per tutte più numeri interi a, b, c, d, ..., da farsi corrispondere ...
Leggi Tutto
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.).
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à...