METAMATEMATICA

Enciclopedia Italiana - IV Appendice (1979)

METAMATEMATICA Alberto Pasquinelli Aldo Marruccelli . Il problema della metamatematica. - Come disciplina specifica, la m. deve la propria genesi (e la propria denominazione) a D. Hilbert, il quale [...] della m. hilbertiana non dipende però tanto da questa difficoltà quanto dal teorema d'incompletezza di Gödel. La metamatematica di Gödel. - La novità del metodo metamatematico di K. Gödel sta nel fatto che egli, oltre alla teoria matematica oggetto ... Leggi Tutto

TAGS: TEORIA DELLA DIMOSTRAZIONE – PRINCIPIO D'INDUZIONE – SISTEMA ASSIOMATICO – ESPERIMENTI MENTALI – GEOMETRIA EUCLIDEA

Godel, teorema di

Enciclopedia della Matematica (2013)

Godel, teorema di Gödel, teorema di teorema che riguarda l’incompletezza di un’ampia classe di teorie formali, tra cui la teoria formale dell’aritmetica (→ aritmetica, sistema formale per la). Costituisce [...] altre teorie. Tale illusione razionalista venne messa in crisi appunto dai due teoremi di incompletezza di Gödel. Il primo teorema di Gödel afferma che «se un sistema di assiomi S dell’aritmetica è coerente, cioè non contiene contraddizioni, allora S ... Leggi Tutto

TAGS: TEOREMI DI INCOMPLETEZZA DI GÖDEL – ASSIOMI DI ZERMELO-FRAENKEL – TEORIA DEL PRIMO ORDINE – IPOTESI DEL → CONTINUO – ASSIOMA DELLA → SCELTA

INFORMATICA: SALTO NEL VUOTO?

XXI Secolo (2010)

Informatica: salto nel vuoto? Corrado Böhm Il titolo del saggio è solo in apparenza fantasioso e, pertanto, occorre in qualche modo chiarirlo. Il salto nel vuoto si riferisce al senso di spaesamento [...] ’ al no. Nel 1931, il logico matematico Kurt Gödel sconvolse il mondo dei suoi colleghi con il teorema di incompletezza, che ammetteva l’esistenza di teoremi ‘veri’ ma non dimostrabili. Questo teorema non è da considerare una sconfitta per i logici ... Leggi Tutto

La seconda rivoluzione scientifica: matematica e logica. I teoremi di incompletezza di Gödel

Storia della Scienza (2004)

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 [...] . La presente formulazione D1-D3 si deve a Martin Hugo Löb (Löb 1955). Possiamo allora formulare il seguente risultato (Gödel 1931b). Secondo teorema di incompletezza: esiste un enunciato φ tale che: 1) Se T è coerente allora T⊬φ; 2) S⊦ConT→φ, dove ... Leggi Tutto

CATEGORIA: ARITMETICA – STORIA DELLA MATEMATICA

terminologie

Enciclopedia dell'Italiano (2011)

Si definisce terminologia l’insieme dei termini e delle espressioni che designano i concetti e gli oggetti di un particolare settore del sapere o di una attività e professione umana (Marello 1995: 719) [...] , ecc.), la ➔ derivazione (bentonite, mendelevite, powellite, ecc.), la composizione di parole polirematiche (costante di Planck, teorema di incompletezza di Gödel, trombe di Falloppio, ecc.; cfr. Cortelazzo 1990; ➔ polirematiche, parole; ➔ scienza ... Leggi Tutto

CATEGORIA: LESSICOLOGIA E LESSICOGRAFIA – DIRITTO COMMERCIALE

TAGS: ENTE NAZIONALE ITALIANO DI UNIFICAZIONE – FRANCESCO DI GIORGIO MARTINI – GOTTFRIED WILHELM LEIBNIZ – ANTOINE-LAURENT LAVOISIER – LEON BATTISTA ALBERTI

Interpretazione costituzionale, Diritto comparato

Diritto on line (2016)

Alberto Vespaziani Abstract L’interpretazione costituzionale dipende dalla teoria della costituzione e dalla teoria dell’interpretazione. Non esiste un grado zero dell’interpretazione, le interpretazioni [...] discorso sulle regole dell’interpretazione, con i suoi decaloghi ed imperativi costringenti, incontra il dilemma del teorema dell’incompletezza di Gödel (Tribe, L.H., The Invisible Constitution, Oxford, 2008, 153 ss.): come si debbono interpretare le ... Leggi Tutto

CATEGORIA: DIRITTO COSTITUZIONALE

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

TAGS: FUNZIONE RICORSIVA PRIMITIVA – FUNZIONE DI ACKERMANN – FUNZIONI RICORSIVE – TEORIA DEI NUMERI – NUMERI NATURALI

ragione

Dizionario di filosofia (2009)

ragione Dal lat. ratio («calcolo», «rapporto»). Termine con cui Cicerone tradusse il greco λόγος e che conserva di quest’ultimo diversi significati, indicando la disposizione intrinseca e ideale di una [...] relatività einsteiniana, della fisica quantistica e della logica formale (con particolare riferimento al teorema di incompletezza di Gödel) hanno imposto l’esigenza di ripensare in modo nuovo l’attività razionale, mettendo fuori gioco sia la r. sia ... 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

CATEGORIA: STORIA DELLA FISICA – EPISTEMOLOGIA – METAFISICA

incompletezza

Enciclopedia della Matematica (2013)

incompletezza Incompletezza → Gödel, teorema di. ... Leggi Tutto

TAGS: TEOREMA – GÖDEL