assiomatizzazione assiomatiżżazióne s. f. [der. di assiomatizzare]. – Formulazione in termini assiomatici; a. di una teoria, formulazione di alcune proprietà della teoria dalle quali tutte le altre possono [...] essere dedotte ... 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 [...] 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 ... Leggi Tutto

ingenuo ingènuo agg. e s. m. (f. -a) [dal lat. ingenuus, comp. di in-1 e tema gen- di gignĕre, genus, generare, ecc.; propr. «indigeno, nativo; nato libero», poi «onesto, schietto, semplice»]. – 1. a. [...] esercita una rigorosa critica dei fondamenti; teoria i. degli insiemi, quella nella quale non si interviene, con un’opportuna assiomatizzazione, al fine di evitarne le antinomie. 2. a. Nell’antica Roma, indicava la condizione giuridica e sociale di ... Leggi Tutto