Cerca in:
La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Storia della Scienza (2004)
La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Solomon Feferman
Le scuole di filosofia della matematica
I più importanti programmi di fondazione della [...] cardinali (e, similmente, dei numeri ordinali).
Successivi miglioramenti e ampliamenti della teoria degli insiemi di Zermelo furono forniti da Thoralf Skolem e Abraham Fraenkel, Paul Bernays e Kurt Gödel. Oggi si parla dunque dei sistemi assiomatici ...
Leggi Tutto
La seconda rivoluzione scientifica: introduzione. Filosofia e pratica matematica
Storia della Scienza (2004)
La seconda rivoluzione scientifica: introduzione. Filosofia e pratica matematica
Umberto Bottazzini
Filosofia e pratica matematica
Quando si parla di 'seconda rivoluzione' scientifica si pensa di solito [...] negli anni Venti, con la ripresa delle ricerche sull'assiomatizzazione della teoria degli insiemi da parte di Abraham Fraenkel (1891-1965) e Thoralf Skolem (1887-1963).
Le critiche di Poincaré non avevano "toccato il cuore della questione, che sta ...
Leggi Tutto
rimpiazzamento
Dizionario delle Scienze Fisiche (1996)
rimpiazzamento
rimpiazzaménto [Atto ed effetto del rimpiazzare, der. del fr. remplacer "mettere una cosa al posto di un'altra", comp. di re- sostitutivo e der. di place "posto"] [ALG] [FAF] Assioma, [...] , assioma introdotto da A.A. Fraenkel, intorno al 1922, per eliminare alcuni inconvenienti della teoria assiomatica degli insiemi di Zermelo, che può essere così enunciato: se all'interno di una formula si rimpiazza una parte di essa con una formula ...
Leggi Tutto
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. [...] 1938) possono considerarsi come sviluppi di quello di von Neumann.
Per la teoria semplificata dei tipi, ➔ tipo; per le teorie assiomatiche degli insiemi del tipo di Zermelo, Fraenkel, Skolem, ➔ insieme.
Medicina
Si dice di fenomeno o reazione che si ...
Leggi Tutto
Bernays, Paul
Enciclopedia on line
Logico e matematico svizzero (Londra 1888 - Zurigo 1977), dal 1922 prof. all'univ. di Gottinga, insegnò poi a Helsinki e Zurigo; condirettore della rivista Dialectica. Allievo e collaboratore di D. Hilbert, [...] K. Gödel: è perciò noto come sistema di von Neumann-Bernays-Gödel, per differenziarlo dal sistema di Zermelo-Fraenkel. Gli ultimi contributi di B. concernono lo studio dell'introduzione di schemi di forte infinità in teoria assiomatica degli insiemi. ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
scelta
Enciclopedia on line
Libero atto di volontà per cui, tra due o più offerte, proposte, possibilità o disponibilità, si manifesta o dichiara di preferirne una (in qualche caso anche più di una), ritenendola migliore, più adatta [...] i rimanenti assiomi delle correnti teorie assiomatiche degli insiemi. Nel 1922 A.A. Fraenkel aveva dimostrato che, sotto certe condizioni, l’assioma di s. è indipendente dai rimanenti assiomi della teoria assiomatica degli insiemi, ma solo nel 1963 P ...
Leggi Tutto