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
Scienza che ha per oggetto l’analisi formale delle strutture matematiche, e che si può identificare con la logica matematica. Con significato più ristretto la m., o teoria della dimostrazione (Beweistheorie), [...] Gödel nel 1931 allo scopo di formalizzare la m. è il procedimento di aritmetizzazione, detto pure di gödelizzazione, grazie al quale le affermazioni metamatematiche, per es. che una certa espressione è dimostrabile, divengono proposizioni aritmetiche ...
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à...