Storia della civiltà europea a cura di Umberto Eco (2014)
Maria Conforti
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
In senso lato, il programma di Hilbert consiste nel progetto di codificare tutta la [...] negazione di un teorema è a sua volta un teorema. La coerenza e la completezza vanno di pari di Parigi –, era stata collocata da Hilbert al secondo posto della lista dei problemi aperti.
Tuttavia, nel 1931, il giovane logico austriaco Kurt Gödel ...
Leggi Tutto
Von Neumann, John (Janos Lajos Neumann)
Von Neumann, John (János Lajos Neumann) Matematico ed economista ungherese (Budapest 1903 - Washington 1957), naturalizzato statunitense nel 1937. Bambino prodigio, [...] all’Università di Berlino, fu chiamato nel 1930 presso la Princeton University a far parte con A. Einstein e K. Gödel del nucleo di maggiore importanza vanno segnalati i pionieristici lavori di teoria dei giochi (➔ giochi, teoria dei) – dal teorema ...
Leggi Tutto
Informatica teorica
Giorgio Ausiello
Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] teorica. Esso costituisce di fatto una prosecuzione e un arricchimento dell'opera dei logici (quali Kurt Gödel, Stephen Kleene, , è possibile garantire l'applicabilità del teorema del punto fisso di Knaster-Tarski e individuare la funzione calcolata ...
Leggi Tutto
La seconda rivoluzione scientifica: introduzione. Fisica e filosofia della scienza all'alba del XX secolo
Don Howard
Fisica e filosofia della scienza all'alba del XX secolo
Simbiosi disciplinare
La [...] formale altrettanto potente o più potente dell'aritmetica di Peano (nella formulazione di primo ordine) ammetteva necessariamente, come Kurt Gödel dimostrò in un corollario al suo primo teorema dell'incompletezza, modelli non isomorfici (Howard 1992 ...
Leggi Tutto
letteratura e matematica
letteratura e matematica Letteratura e matematica evocano mondi antitetici: le due culture, appunto, l’una contro l’altra armata. In realtà – a ben guardare – i rapporti e le [...] di un lungo elenco di “giallisti” che equiparano la soluzione di un mistero poliziesco alla dimostrazione di un teorema e che vengono quasi naturalmente a parlare di numeri, 1997) – con il suo Hommage à Gödel (in Claudio Bartocci, op. cit. dal titolo ...
Leggi Tutto
scelta, assioma della
scelta, assioma della o assioma di Zermelo, assioma della teoria degli insiemi, enunciato da E. Zermelo nel 1904, che asserisce quanto segue: data un’arbitraria famiglia non vuota [...] nome, la funzione di scelta ƒ estrae un elemento da ogni insieme contenuto nella famiglia X. I logici matematici K. Gödel e P. Cohen di lemma, assioma o teorema assunti da queste proposizioni, perché rivestono un ruolo diverso a seconda di quale di ...
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à...