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 [...] 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, come fu dimostrato nel 1931 dal teorema di incompletezza di → Gödel. ...
Leggi Tutto
formalismo
Enciclopedia della Matematica (2017)
formalismo
formalismo concezione della matematica secondo la quale una teoria matematica è, essenzialmente, il complesso linguistico che la descrive, organizzato in un particolare sistema assiomatico [...] un sistema formale dovrebbe possedere come requisito almeno la certezza della sua non-contraddittorietà: ma per il teorema di incompletezza di → Gödel tale non contradditorietà non può essere dimostrata all’interno del sistema, se il sistema è almeno ...
Leggi Tutto
metateoria
Enciclopedia della Matematica (2013)
metateoria
metateoria teoria che ha come oggetto di studio un’altra teoria, che ne costituisce la sua teoria oggetto, di cui indaga caratteristiche, formalizzazioni, sintassi e semantica. I risultati [...] , si rivelò però impossibile da realizzare nel momento in cui K. Gödel dimostrò il teorema di incompletezza (→ Gödel, teorema di). La distinzione netta fra teoria oggetto e metateoria, oltre che alle problematiche metamatematiche hilbertiane ...
Leggi Tutto
Grelling
Enciclopedia della Matematica (2013)
Grelling
Grelling Kurt (Berlino 1886 - Auschwitz 1942) matematico, logico e filosofo tedesco. Fu tra i promotori del gruppo di filosofi neopositivisti noto come Circolo di Berlino. Il suo nome è legato [...] nel 1905, poco dopo il suo arrivo all’università di Göttingen. In questa stessa università conseguì il dottorato in teorema di incompletezza di Gödel da interpretazioni fuorvianti, ne sosteneva il carattere di antinomia al pari di quella di ...
Leggi Tutto
incompletezza
Dizionario delle Scienze Fisiche (1996)
incompletezza
incompletézza [Der. di incompleto] [FAF] Il fenomeno per cui ci sono formule A(x) per le quali, per ogni n, si prova A(n), ma non si prova A(x) per ogni x: v. Gödel, teorema di: III 56 [...] b. ◆ [FAF] Teorema di i.: v. Gödel, teorema di: III 53 c. ...
Leggi Tutto
incompletezza
Enciclopedia della Matematica (2013)
incompletezza
Incompletezza → Gödel, teorema di. ...
Leggi Tutto
modello
Enciclopedia on line
In arte e architettura, persona od oggetto che l’artista ritrae o riproduce, oppure esemplare preparatorio dell’opera finale. Nel linguaggio scientifico, costruzione schematica, puramente ipotetica o realizzata [...] semantica sono catalogabili nella teoria dei modelli. Tra questi il teorema di Löwenheim-Skolem, dimostrato in forma definitiva nel 1920; i teoremi di completezza e di incompletezza di K. Gödel; l’accurata precisazione, formulata da Tarski nel 1933 ...
Leggi Tutto
CATEGORIA:
ARCHITETTURA E URBANISTICA
–
SCULTURA
–
FILOSOFIA DEL LINGUAGGIO
–
LINGUISTICA GENERALE
–
ECOLOGIA
–
ALGEBRA
–
GEOMETRIA
–
LOGICA MATEMATICA
–
STATISTICA E CALCOLO DELLE PROBABILITA
–
DIRITTO PRIVATO
–
STORIA E FILOSOFIA DEL DIRITTO
–
METODI TEORIE E PROVVEDIMENTI
–
EPISTEMOLOGIA
–
FILOSOFIA DEL DIRITTO
–
FILIERE STRUMENTI E TECNICHE DELLA PRODUZIONE INDUSTRIALE
Gauss, Karl Friedrich
Enciclopedia on line
Matematico, fisico, astronomo e geodeta tedesco (Brunswick 1777 - Gottinga 1855), considerato uno dei più grandi genî scientifici di tutti i tempi. Taluni aneddoti su G. fanciullo testimoniano di una sua [...] anche per la incompletezza degli sviluppi trovati nei suoi quaderni, non appare storicamente esatto fare di G. il è la forma abituale con cui il teorema di Gauss viene usato nell'elettrostatica. A norma del teorema della divergenza, la [3] può poi ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
ricorsività
Enciclopedia on line
ricorsività La proprietà di essere ricorsivo, cioè ricorrente. Teoria della r., o della ricorsione, o computabilità, la disciplina che si occupa di fornire una caratterizzazione matematica del concetto [...] a questo punto possibile, per es., la dimostrazione dei teoremi di indecidibilità e di incompletezza di Gödel. Va osservato comunque che sono stati trovati vari esempi di proposizioni vere (dette proposizioni combinatorie indecidibili) della teoria ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI
Meccanica quantistica
Enciclopedia Italiana - VII Appendice (2007)
Meccanica quantistica
Silvano Petrarca
La m. q. è considerata basilare tanto per la descrizione quanto per la comprensione dei fenomeni naturali. Originariamente nata per spiegare i fenomeni che avvengono [...] di propagazione con velocità finita dei segnali (o delle informazioni), o di incompletezza della m. q., specialmente riguardo al concetto di di due stati ✄ (lo stato resta inoltre ignoto), perciò con la procedura descritta non si viola un teorema ...
Leggi Tutto