Cerca in:
modelli, teoria dei
Dizionario di filosofia (2009)
modelli, teoria dei
Parte della logica matematica che studia le relazioni tra insiemi di espressioni di un linguaggio formale e insiemi di strutture in cui quelle espressioni sono valide.
Cenni storici
Sebbene [...] ), nonché i suoi teoremi di incompletezza per ogni teoria formale lt; y) ⇒ 0 < x ∙ y.
(4) T è ℵm-categoria solo per m = 0. Si dimostra che è tale la teoria D i cui assiomi non logici sono [O1], [O2], [O3] e, inoltre:
x < y ⇒ ∃ z (x < z ⋀ z ...
Leggi Tutto
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 [...] nel contesto delle questioni attorno al programma razionalista di D. Hilbert il quale, per superare la cosiddetta venne messa in crisi appunto dai due teoremi di incompletezza di Gödel.
Il primo teorema di Gödel afferma che «se un sistema ...
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 [...] 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
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
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
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 [...] teoremi derivanti dagli assiomi prescelti.
Benché l'aritmetizzazione peaniana rappresenti il culmine di uno dei massimi rivolgimenti intellettuali ottocenteschi, Russell vi ha potuto cogliere un'innegabile carenza rilevando l'incompletezza d'inferire ...
Leggi Tutto
Informatica
Enciclopedia del Novecento (1989)
Informatica
Fabrizio Luccio
Franco P. Preparata
Carl-Erik Fröberg
Piero Sguazzero
Piero Dell'Orco e Tomaso Poggio
Teoria della computazione di Fabrizio Luccio
SOMMARIO: 1. Origine e motivazioni. [...] nel 1931 con il famoso teorema di incompletezza di Gödel, che provava l Tλ(N) − 1 è divisibile sia per p che per q e di conseguenza anche per pq = N. Se, d'altra parte, p è un fattore di T, ossia T = pT1 (mentre q non è un fattore di T1), allora ...
Leggi Tutto
La civiltà islamica: antiche e nuove tradizioni in matematica. Gli archimedei e i problemi infinitesimali
Storia della Scienza (2002)
La civilta islamica: antiche e nuove tradizioni in matematica. Gli archimedei e i problemi infinitesimali
Roshdi Rashed
Gli archimedei e i problemi infinitesimali
La storia della geometria infinitesimale, [...] al paraboloide; si ha un⟨Vn, dunque un⟨ε, da cui: v+un⟨V/2. D'altra parte, si ha v+un =∑ni=1Wi, e dunque ∑ni=1Wi<V/2. l'incompletezza già segnalata S2 e h1>h2, si ha V1>V2. Questo teorema, anche se si dimostra in generale con il metodo di Ibn ...
Leggi Tutto
CATEGORIA:
STORIA DELLA MATEMATICA
Metodo
Enciclopedia del Novecento (1979)
Metodo
GGerard Radnitzky
di Gerard Radnitzky
Metodo
sommario: 1. Introduzione. 2. Concetto e definizione di procedimento metodico, metodo e metodologia. a) Distinzione tra i vari livelli. b) Definizione [...] da Gödel nel 1931, dell'incompletezza dei Principia mathematica e della teoria ‛se-allora', non si conosce neppure il suo campo d'applicazione, e ci si può dunque trovare all'improvviso di dalla teoria matematica (dal teorema di Gödel) consegue che ...
Leggi Tutto
Scienza greco-romana. Le sfere celesti e le origini della trigonometria
Storia della Scienza (2001)
Scienza greco-romana. Le sfere celesti e le origini della trigonometria
John L. Berggren
Le sfere celesti e le origini della trigonometria
La comparsa della sfera nella geometria è una diretta conseguenza [...] trattamento matematico dei loro argomenti. Infine, l’incompletezza formale di questi trattati, i quali in maniera è contenuta nel sofisticato trattamento dell’angolo d’inclinazione tra due cerchi massimi, esposto nel teorema 22. L’uso da parte di ...
Leggi Tutto