Che ci fa un copywriter in libreria? Quello che ci fa chiunque? Anche, ma non solo. Un copywriter, in libreria, sogna. Vorrebbe pubblicare. Un saggio, un romanzo. Proprio lui che è ossessionato dalla scrittura [...] un letto dell’ospedale di Princeton colui che fu definito da John von Neumann «il più grande logico dai tempi di Aristotele», Kurt Gödel.Infine Matteo Bussola, che nel suo La neve in fondo al mare ci spiazza in questo modo:Da bambino salutavi con la ...
Leggi Tutto
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....