teorema-d’incompletezza: documenti, foto e citazioni nell'Enciclopedia Treccani

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 [...] con il teorema di incompletezza, che ammetteva l’esistenza di teoremi ‘veri’ ma non dimostrabili. Questo teorema non è 3,1>. A questo punto, descriviamo la trasformazione da DM in D(defM). D(defM) avrà il numero doppio dei nodi di DM poiché, per ... Leggi Tutto

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 [...] decaloghi ed imperativi costringenti, incontra il dilemma del teorema dell’incompletezza di Gödel (Tribe, L.H., The una concatenazione più alta e comprensiva: concatenazione che dà modo d’intendere meglio di quel che non potesse lo stesso autore» ... Leggi Tutto

CATEGORIA: DIRITTO COSTITUZIONALE

Fondamenti della matematicae teoria algoritmica dell'informazione

Enciclopedia della Scienza e della Tecnica (2007)

Fondamenti della matematica e teoria algoritmica dell'informazione Gregory J. Chaitin Ciò che possiamo dimostrare intorno ai fondamenti della matematica usando i suoi stessi metodi costituisce la metamatematica, [...] più lungo di n bit. Ripercorriamo ora la storia della materia, iniziando con un pregevole pezzo d'antiquariato: il primo teorema di incompletezza, enunciato e dimostrato da Kurt Gödel nel 1931. Fissiamo la nostra teoria assiomatica formale come sopra ... Leggi Tutto

CATEGORIA: LOGICA MATEMATICA

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 [...] di quest’ultimo indirizzo di pensiero fu il matematico tedesco D. Hilbert, che così si espresse: «Nessuno potrà cacciarci almeno dell’aritmetica, si rivelò ben presto impossibile, come fu dimostrato nel 1931 dal teorema di incompletezza di → Gödel. ... Leggi Tutto

TAGS: TEOREMA DI INCOMPLETEZZA DI → GÖDEL – GEOMETRIE NON EUCLIDEE – ANTINOMIA DI RUSSELL – PROGRAMMA DI HILBERT – TEORIA DEGLI INSIEMI

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 [...] maggior rappresentante di quest’ultima specie di formalismo è stato D. Hilbert, per il quale tutte le teorie matematiche, la certezza della sua non-contraddittorietà: ma per il teorema di incompletezza di → Gödel tale non contradditorietà non può ... Leggi Tutto

TAGS: TEOREMA DI INCOMPLETEZZA DI → GÖDEL – SISTEMA ASSIOMATICO – SISTEMA FORMALE – EPISTEMOLOGICA – INTUIZIONISMO

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 [...] teoria oggetto può, in quanto teoria, essere a sua volta oggetto d’indagine razionale di un’altra teoria che ne costituisce a sua volta la in cui K. Gödel dimostrò il teorema di incompletezza (→ Gödel, teorema di). La distinzione netta fra teoria ... Leggi Tutto

TAGS: FONDAMENTI DELLA MATEMATICA – TEOREMA DI INCOMPLETEZZA – TEORIA DEI SISTEMI – SISTEMA DI ASSIOMI – ASSIOMI DI PEANO

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 [...] teoria assiomatica degli insiemi, con la supervisione di D. Hilbert. Grelling tradusse in tedesco molte opere filosofiche antinomia gödeliana?) nel quale, difendendo il teorema di incompletezza di Gödel da interpretazioni fuorvianti, ne sosteneva ... Leggi Tutto

TAGS: TEOREMA DI INCOMPLETEZZA DI GÖDEL – CIRCOLO DI BERLINO – REGIME DI VICHY – NEOPOSITIVISTI – STATI UNITI

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 [...] 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, del concetto d’interpretazione di un insieme di espressioni formalizzate in una ... 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

TAGS: ORGANIZZAZIONE MONDIALE PER LA PROPRIETÀ INTELLETTUALE – EQUAZIONE DIFFERENZIALE ORDINARIA – SISTEMA DI EQUAZIONI LINEARI – INSIEME DEI NUMERI NATURALI – TEOREMA DI LÖWENHEIM-SKOLEM

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 [...] dimostrazione rigorosa (1799) del teorema chiamato teorema fondamentale dell'algebra o teorema di d'Alembert. Due anni dopo sue idee. Per questo motivo, e anche per la incompletezza degli sviluppi trovati nei suoi quaderni, non appare storicamente ... Leggi Tutto

CATEGORIA: BIOGRAFIE

TAGS: TEOREMA FONDAMENTALE DELL'ALGEBRA – METODO DEI MINIMI QUADRATI – RAPPRESENTAZIONE CONFORME – CAMPO MAGNETICO TERRESTRE – DISTRIBUZIONE: STATISTICA

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 [...] E. Schröder nel 1895 e ripreso da L. Löwenheim nel 1915 e D. Hilbert nel 1918), cioè il problema se, per una data teoria formale possibile, per es., la dimostrazione dei teoremi di indecidibilità e di incompletezza di Gödel. Va osservato comunque che ... Leggi Tutto

CATEGORIA: TEMI GENERALI

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