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 [...] [1736–1813], che ne propose una dimostrazione, dopo quella in forma ristretta di Rolle nel 1691, detta teoremadi Rolle, e prima di quella di Cauchy del 1823). E se il teoremadiGödel riguarda soprattutto la logica, e in particolare il secondo ...
Leggi Tutto
teorema
teorèma s. m. [dal lat. tardo theorēma, gr. ϑεώρημα (propr. «ricerca, meditazione», der. di ϑεω-ρέω «esaminare, osservare»)] (pl. -i). – 1. Nella cultura classica e medievale, la «visione» sensibile o intellettiva e il relativo oggetto,...
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à...
Godel, teorema di
Gödel, teorema di teorema che riguarda l’incompletezza di un’ampia classe di teorie formali, tra cui la teoria formale dell’aritmetica (→ aritmetica, sistema formale per la). Costituisce il fondamentale contributo di K. Gödel...