godeliano

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à di dimostrare la coerenza dell’aritmetica all’interno del formalismo dell’aritmetica stessa, 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.