Computazione, teoria della
Fabrizio Luccio
La necessità del calcolo, pur riconosciuta dall'uomo in tutte le epoche storiche, ha condotto solo in tempi relativamente recenti a una sistemazione teorica [...] assi portanti della teoria della computazione, cioè la computabilità e la complessità di calcolo.
Il secondo problema diHilbert sulla dimostrazione di compatibilità degli assiomi dell'aritmetica, posto all'inizio del XX sec. e rimasto insoluto anche ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La topologia algebrica all'inizio del XX secolo
John McCleary
La topologia algebrica all'inizio del XX secolo
Le radici della topologia algebrica [...] di Jordan. Motivato da interessi di tipo filosofico per i fondamenti della geometria, Brouwer lavorò al V problema diHilbertdi Mayer del 1929, Über abstrakte Topologie (Sulla topologia astratta), viene definito un sistema diassiomi per i gruppi di ...
Leggi Tutto
matematica
matematica termine che deriva dal greco mathematiché (sottinteso téchne, dove máthema significa conoscenza, sapere) e dal corrispondente sostantivo neutro plurale latino mathematica (le cose [...] si riflette in modo univoco il mondo reale, Hilbert poneva quello di una fondazione rigorosa della matematica stessa che la , sistemati assiomaticamente (si vedano per esempio gli assiomidi → Zermelo-Fraenkel) e considerando strutture algebriche, ...
Leggi Tutto
DE GIORGI, Ennio
Enrico Moriconi
Nacque l’8 febbraio del 1928 a Lecce figlio di Nicola e di Stefania Scopinich.
La madre proveniva da una famiglia di navigatori di Lussino, mentre il padre era insegnante [...] il tassello mancante alla risoluzione completa del 19° problema diHilbert: «Le soluzioni dei problemi regolari del calcolo delle reso possibili analisi approfondite e la determinazione diassiomidi antifondazione che sono ora considerati i più ...
Leggi Tutto
Dimostrazione, teoria della
Jean-Yves Girard
La teoria della dimostrazione nasce negli anni Venti del Novecento come strumento di realizzazione del programma di David Hilbert per la fondazione della [...] .
Per quanto riguarda le regole d'identità, l'assiomadi identità verrà ristretto alla zona lineare mentre si avranno (numero monografico dedicato all'eredità del Programma diHilbert, con contributi di autori diversi).
Gentzen 1969: Gentzen, Gerhard ...
Leggi Tutto
L'Ottocento: matematica. La geometria non euclidea
Rossana Tazzioli
La geometria non euclidea
Alla base dei suoi Elementi Euclide aveva posto un certo numero di definizioni (o 'termini') e diassiomi [...] è possibile provare il V postulato a partire dagli altri assiomi e postulati euclidei, esso può dunque essere o non essere 1906.
Bottazzini 1990: Bottazzini, Umberto, Il flauto diHilbert. Storia della matematica moderna e contemporanea, Torino, Utet ...
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 [...] nell'opera diHilbert. Questa disciplina ha origine dallo studio dei sistemi di equazioni algebriche le quali si assumono poi come assiomi nella definizione di complesso algebrico) e da queste proprietà si deducono i gruppi di omologia Hi(X):=Zi(X)/ ...
Leggi Tutto
Combinatoria
Peter J. Cameron
Secondo alcuni la combinatoria costituisce soltanto una parte della matematica, secondo altri non rappresenta una branca separata dalle altre ma le pervade tutte, poiché [...] non si possono dedurre dagli assiomidi un sistema standard come quello di Peano. Tale risultato ebbe Problems of present day mathematics, in: Mathematical developments arising from Hilbert problems, "Proceedings of symposia in pure mathematics", 28, ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. I teoremi di incompletezza di Godel
Carlo Cellucci
I teoremi di incompletezza di Gödel
Nei giorni 5-7 settembre 1930 ebbe luogo a Königsberg [...] una proposizione p dotata di significato con l'aiuto diassiomi transfiniti, dalla coerenza di A segue solo che non punto di vista formalista diHilbert. Infatti tale punto di vista presuppone solo l'esistenza di una dimostrazione di coerenza ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Giorgio Strano
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
La matematica del Novecento è stata paragonata nel 1951 da Hermann Weyl al delta del [...] riceve un nuovo impulso dalla scoperta nel 1902 della ridondanza negli assiomi della geometria diHilbert da parte di Eliamkim H. Moore. Nel 1903 Leonard E. Dickson sviluppa nuovi assiomi per un campo e nei primi del Novecento Josef Kürschák inaugura ...
Leggi Tutto
spazio
spàzio s. m. [dal lat. spatium, forse der. di patēre «essere aperto»]. – 1. Con valore assol., il luogo indefinito e illimitato in cui si pensano contenute tutte le cose materiali, le quali, in quanto hanno un’estensione, ne occupano...