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 [...] 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 ... Leggi Tutto