Cerca in:
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 [...] della teoria dei tipi), dall'altro si usarono i risultati di Gödel di Ramsey finito, la versione finita di Friedman del teorema di Kruskal, il teorema di Goodstein, un teorema sui giochi di Gentzen e vari altri.
Se il secondo volume dell'opera di ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1981-1990
Storia della Scienza (2003)
La grande scienza. Cronologia scientifica: 1981-1990
1981-1990
1981
Il sistema operativo MS-DOS. Tale sistema, realizzato dalla Microsoft e destinato a dominare nel suo settore, è utilizzato per la prima [...] mechanics. Il contenuto di questo e di altri suoi lavori costituirà le basi della teoria di Ziglin della non integrabilità le scoperte di importanti principî di trattamento farmacologico.
1989
Nobel per la fisica
Norman Foster Ramsey, USA, ...
Leggi Tutto
La civiltà islamica: condizioni materiali e intellettuali. Scienza e filosofia nel tardo-ellenismo
Storia della Scienza (2002)
La civilta islamica: condizioni materiali e intellettuali. Scienza e filosofia nel tardo-ellenismo
Gerhard Endress
Scienza e filosofia nel tardo-ellenismo
La cultura urbana dell'Islam è erede della [...] ., finì per far passare in secondo piano la teoria di Tolomeo). Nei corsi superiori si leggeva la teologia Paris, CNRS, 1987, pp. 1-20.
MacMullen 1966: MacMullen, Ramsey, Provincial languages in the Roman empire, "American journal of philology", 87 ...
Leggi Tutto
Modelli, Teoria dei
Enciclopedia della Scienza e della Tecnica (2007)
Modelli, Teoria dei
Silvio Bozzi
Malgrado le modeste origini che ne hanno segnato la nascita, la teoria dei modelli ha sviluppato nel corso del tempo idee e metodi che l'hanno resa uno dei settori più [...] con principi insiemistici come il teorema di Ramsey, hanno avuto applicazioni spettacolari a partire dagli anni Sessanta nello studio della delle teorie.
Modelli non standard
Sfruttando il concetto di diagramma e la compattezza in modo analogo ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
La seconda rivoluzione scientifica: matematica e logica. La teoria degli insiemi
Storia della Scienza (2004)
La seconda rivoluzione scientifica: matematica e logica. La teoria degli insiemi
Gabriele Lolli
La teoria degli insiemi
La teoria degli insiemi è universalmente considerata, nella sua concezione e impostazione [...] in una struttura, che dipende dal teorema di Ramsey, ha portato a importanti applicazioni della teoria dei modelli in teoria degli insiemi; dati cardinali con proprietà di partizioni sufficientemente potenti, si vede che esistono classi ...
Leggi Tutto
CATEGORIA:
STORIA DELLA MATEMATICA
paradosso
Enciclopedia on line
Affermazione, proposizione, tesi, opinione che, per il suo contenuto o per la forma in cui è espressa, appare contraria all’opinione comune o alla verosimiglianza e riesce perciò sorprendente o incredibile. [...] . A. Tarski, nel 1930, dimostrò che non è possibile in generale definire il concetto semantico di verità all’interno della sintassi di una teoria elementare e finalmente risolse così in forma, a quanto pare, definitiva l’antico p. del mentitore ...
Leggi Tutto
tipo
Dizionario delle Scienze Fisiche (1996)
tipo
tipo [Stesso etimo di tipo-] [LSF] Modello, sia concreto che ideale, al quale rifarsi. ◆ [ANM] T. di un semigruppo: v. semigruppo: V 168 b. ◆ [ASF] T. spettrali di stelle (anche classi spettrali [...] designare insiemi di elementi dell'universo base, di t. 2 quelle che denotano insiemi di insiemi di elementi del-l'universo base, e così di seguito. Tale teoria fu ulteriormente trasformata dando luogo per opera di L. Chwistek e di F.P. Ramsey, oltre ...
Leggi Tutto
CATEGORIA:
ASTROFISICA E FISICA SPAZIALE
–
FISICA MATEMATICA
–
STORIA DELLA FISICA
–
TEMI GENERALI
–
ALGEBRA
–
ANALISI MATEMATICA
–
EPISTEMOLOGIA
–
METAFISICA
Ramsey, Frank Plumpton
Enciclopedia on line
Filosofo e logico inglese (Cambridge 1903 - ivi 1930). Prof. all'università di Cambridge, conosciuto soprattutto per la sua analisi critica dei Principia mathematica di B. Russell e A. N. Whitehead, R. [...] al calcolo combinatorio: un celebre teorema che porta il suo nome trova applicazioni nella teoria dei grafi e nelle geometrie finite. Si occupò anche di teoria economica in senso matematico. Dopo la sua morte i suoi scritti principali sono stati ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE