lògica matemàtica
Enciclopedia on line
lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono [...] non si può dimostrare né la verità né la falsità (teorema di incompletezza).
Abstract di approfondimento da Logica matematica di Silvio Bozzi (Enciclopedia della Scienza e della Tecnica)
Pur potendo vantare come erede della logica formale un’origine ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
COMPLESSITA'
Enciclopedia Italiana - VI Appendice (2000)
Il termine complessità è oggi frequentemente usato, in campo scientifico, in contesti diversi. In quello dell'informatica, dell'analisi numerica e dell'ottimizzazione, corrisponde alla caratteristica quantitativa [...] "Tutti i cigni sono bianchi" dal semplice fatto di non averne mai visti di neri. L'induzione ha incontestabilmente un valore euristico, ma non ha valore di prova assoluta.
Il teorema di incompletezza di K. Gödel mostra, d'altronde, che un sistema ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI
Computazione, teoria della
Enciclopedia della Scienza e della Tecnica (2007)
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 [...] negativa nel 1931 con il famoso teorema di incompletezza di Kurt Gödel, che provava l'esistenza di formule indimostrabili nel calcolo dei predicati del primo ordine. Questo teorema è basato sulla costruzione di una di tali formule e lascia aperto il ...
Leggi Tutto
CATEGORIA:
ANALISI MATEMATICA
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 [...] in T, dunque φ è vera poiché per (a) φ esprime la propria inderivabilità in T.
Per vedere come il primo teorema di incompletezza refuti il programma della conservazione consideriamo l'asserzione ψ≡∀x¬ProvT(x,⌈φ⌉), dove φ è l'enunciato dato dal primo ...
Leggi Tutto
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, [...] 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 descritto e ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
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
TEORIE FORMALIZZATE
Enciclopedia Italiana - IV Appendice (1981)
TEORIE FORMALIZZATE
Aldo Marruccelli
. Una t. deduttiva T è un insieme di enunciati espressi in un determinato linguaggio (ordinario o simbolico) suscettibile di interpretazioni su opportuni insiemi [...] completa" ?).
Questi e altri problemi sono affrontati dalla logica matematica, che soprattutto mediante il teorema d'incompletezza sintattica di K. Gödel e i suoi corollari, sancisce in modo definitivo quali sono le limitazioni connesse ...
Leggi Tutto