Cerca in:
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 [...] l’ipotesi del continuo) è compatibile con 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 ...
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, [...] o teoremi, di r.: nella logica matematica, 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 ...
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. [...] ». Questo numero reale è definito con 26 parole, quindi deve appartenere a D, dove occuperà un ben determinato posto, diciamo il p-esimo , Fraenkel, Skolem, ➔ insieme.
Medicina
Si dice di fenomeno o reazione che si svolge in senso opposto a quello ...
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, [...] anche da 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 ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
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 [...] e di comodo. E le esperienze con i corpi solidi ci hanno portato a "scegliere il gruppo euclideo non come il solo vero, ma come il insieme, si serve del sistema assiomatico di Zermelo e Fraenkel, ma dichiara di non voler entrare "nelle difficoltà ...
Leggi Tutto
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 [...] svolge il ruolo di card(X) per
Su questa base, si può procedere a definire 0, sc e ℕ proprio come si è fatto per gli insiemi.
e Abraham Fraenkel, Paul Bernays e Kurt Gödel. Oggi si parla dunque dei sistemi assiomatici ZF (Zermelo-Fraenkel) e BG ...
Leggi Tutto