Termine con cui è anche chiamata l'algebra combinatoria, disciplina che studia, piuttosto che le strutture algebriche classiche (gruppo, anello, corpo, ecc.), le strutture algebriche di tipo più semplice, [...] per la combinatoria. Anche prima della costruzione dei computer, questioni di carattere teorico hanno portato a risultati importanti. KurtGödel nel 1931 dimostrò che vi sono enunciati veri sui numeri naturali che non si possono dedurre dagli assiomi ...
Leggi Tutto
La grande scienza. Combinatoria
Peter J. Cameron
Combinatoria
Secondo alcuni la combinatoria costituisce soltanto una parte della matematica, secondo altri essa non rappresenta una branca separata, [...] la combinatoria. Anche prima della costruzione dei computer, questioni di carattere teorico hanno portato a risultati importanti. KurtGödel (1931) dimostrò che vi sono enunciati veri sui numeri naturali che non si possono dedurre dagli assiomi di ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Algebra
Claudio Procesi
Algebra
Per comprendere la storia dell'algebra del XX sec. è necessario fare un breve quadro dello sviluppo della disciplina [...] sviluppare metodi effettivi.
Logica, combinatoria e K-teoria
Vogliamo soltanto accennare al fatto che le idee di KurtGödel (1906-1978) sull'indecidibilità hanno trovato una controparte algebrica con una risposta negativa al cosiddetto problema ...
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à...