Cerca in:
INFORMAZIONE E COMPUTAZIONE QUANTISTICA: TEORIA
XXI Secolo (2010)
Informazione e computazione quantistica: teoria
Mario Rasetti
Al crocevia tra scienza e tecnologia
La nuova disciplina che va sotto il nome di informazione e computazione quantistica si sviluppa al [...] costringe a pagare un prezzo molto alto. Il programma di Hilbert, di costruire la matematica basandola su principi formali assiomatici e di dimostrare che il sistema di assiomi usati è privo di contraddizioni, avrebbe dato alla matematica – se avesse ...
Leggi Tutto
Il teorema di Gödel ovvero i teoremi limitativi dell’aritmetica
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
I teoremi d’incompletezza di Gödel del 1931 sono i risultati più profondi e spettacolari [...] dimostrabilità?
Il secondo teorema d’incompletezza aggiunge che è irrealizzabile anche il più sofisticato programma di Hilbert che tenta di dimostrare la coerenza dell’aritmetica basandosi su metodi tutti “interni” (algoritmici o combinatori), un ...
Leggi Tutto
fondamenti, crisi dei
Enciclopedia della Matematica (2017)
fondamenti, crisi dei
fondamenti, crisi dei locuzione con la quale si intende l’insieme di problemi, discussioni e ricerche in campo matematico e logico che si verificò agli inizi del secolo xx in seguito [...] diverse teorie matematiche, e in particolare della teoria dei numeri naturali, che sta alla base di ogni altra teoria. Il programma di Hilbert, volto a dimostrare la coerenza e la completezza almeno dell’aritmetica, si rivelò ben presto impossibile ...
Leggi Tutto
Hilbert, David
Enciclopedia on line
{{{1}}}
Matematico tedesco (Königsberg 1862 - Gottinga 1943). È la figura più notevole della matematica della prima metà del Novecento e forse dell'intero secolo. A Königsberg frequentò l'università con [...] lo studio delle dimostrazioni viste come enti a sé. È questo il nucleo della metamatematica e del programma hilbertiano: la necessità di uno studio "dall'esterno" delle teorie matematiche per assicurare la coerenza della matematica con mezzi sicuri ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Hilbert, problemi di
Enciclopedia della Matematica (2017)
Hilbert, problemi di
Hilbert, problemi di lista di problemi (23 in tutto), all’epoca irrisolti, esposti in parte da D. Hilbert nel 1900, in occasione del secondo Congresso internazionale dei matematici [...] al suo contributo. In particolare, Hilbert si riferiva alla teoria della probabilità e al suo ruolo nella teoria cinetica dei gas e nella meccanica. Così come formulato, questo più che un problema era un programma di ricerca che non poteva ricevere ...
Leggi Tutto
programma hilbertiano
Enciclopedia della Matematica (2013)
programma hilbertiano
programma hilbertiano → Hilbert, programma di. ...
Leggi Tutto
geometria
Enciclopedia on line
In senso ampio e generico, ramo della matematica che studia lo spazio e le figure spaziali.
Cenni storiciL’antichità
- L’origine della g. è legata a concreti problemi di misurazione del terreno (nacque [...] da Hilbert alla costruzione di opportuni modelli della g. in questione basati sull’algebra e sull’analisi.
Le g. secondo la classificazione di Klein
Il criterio di Klein per classificare le g., enunciato nel programma di Erlangen, consiste ...
Leggi Tutto
CATEGORIA:
GEOMETRIA
spazio
Enciclopedia on line
spazio Sostantivo polisenso che designa in generale un’estensione compresa tra due o più punti di riferimento. Può essere variamente interpretato a seconda che lo si consideri dal punto di vista filosofico, [...] di trasformazione, presentata nel suo programma di ricerche del 1872, detto programma di Erlangen. Il concetto di gruppo, insieme di operazioni astratte dotate di si chiama cubo (o mattone) di Hilbert il sottoinsieme costituito dalla totalità delle ...
Leggi Tutto
CATEGORIA:
CORPI CELESTI
–
COSMOLOGIA
–
DISCIPLINE STRUMENTI E TECNICHE DI RICERCA
–
TEMI GENERALI
–
ASTROFISICA E FISICA SPAZIALE
–
FISICA MATEMATICA
–
GEOGRAFIA FISICA
–
GEOMETRIA
–
DISCIPLINE
–
DIRITTO COMUNITARIO E DIRITTO INTERNAZIONALE
–
STORIA E FILOSOFIA DEL DIRITTO
–
DOTTRINE TEORIE E CONCETTI
–
FILOSOFIA DEL DIRITTO
–
METAFISICA
–
POLITOLOGIA
–
TRASPORTI AEREI
meccanica
Enciclopedia on line
Scienza che studia il moto e l’equilibrio dei corpi. È tradizionalmente divisa in tre parti: cinematica, dinamica e statica, che studiano, rispettivamente, il moto prescindendo dalle sue cause, il moto [...] proprietà è un prerequisito necessario a ogni programma che intenda dedurre le proprietà macroscopiche della materia : esse sono descritte da operatori lineari su uno spazio di Hilbert e gli insiemi statistici sono definiti in termini dell’operatore ...
Leggi Tutto
EPISTEMOLOGIA
Enciclopedia Italiana - IV Appendice (1978)
. Assumendo la parola "epistemologia" nel senso di "riflessione critica generale intorno alla conoscenza scientifica", il presente tentativo di sintesi problematica delle acquisizioni epistemologiche post-ottocentesche [...] "formalizzati", soprattutto attraverso i lavori di Frege e, ancor più, di Hilbert. Una volta apparso che, dissociando del Novecento, si è delineato un ulteriore programma di revisione critica, complementare nei confronti della stessa ...
Leggi Tutto