A giudicare dai repertori lessicografici italiani solo un ristrettissimo numero di termini della matematica deriva da nomi propri: tenendo conto unicamente delle monorematiche, ad esempio, il GRADIT registra [...] nel 1691, detta teorema di Rolle, e prima di quella di Cauchy del 1823). E se il teorema di Gödel riguarda soprattutto la logica, e in particolare il secondo teorema sull’incompletezza sintattica dell’aritmetica formulato dallo statunitense, ma di ...
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à...
numero
nùmero s. m. [dal lat. numĕrus; cfr. novero]. – 1. Ciascuno degli enti astratti che rappresentano insiemi di unità, ordinati in una successione infinita (serie naturale dei n.) nella quale ogni elemento conta un’unità in più rispetto...
Matematico e filosofo (Brno 1906 - Princeton 1978). Libero docente di matematica all'univ. di Vienna (1933-38), fu uno degli studiosi che si riunivano attorno a M. Schlick nel Verein Ernst Mach, poi (1929) denominato Wiener Kreis. Dopo il 1938...
godelizzazione
gö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....