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 [...] i numeri ordinali che ingenerano antinomie, l'idea diZermelo è invece di sostituire l'incondizionato assiomadi comprensione di Frege con un assiomadi 'separazione' di portata più limitata, che assicuri la possibilità, per un qualunque insieme ...
Leggi Tutto
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 [...] da ogni insieme di Q. Anche se solo nel 1904 E. Zermelo diede una chiara ed esplicita formulazione dell’assiomadi s. e per A.A. Fraenkel aveva dimostrato che, sotto certe condizioni, l’assiomadi s. è indipendente dai rimanenti assiomi della teoria ...
Leggi Tutto
METAMATEMATICA
Alberto Pasquinelli
Aldo Marruccelli
. Il problema della metamatematica. - Come disciplina specifica, la m. deve la propria genesi (e la propria denominazione) a D. Hilbert, il quale [...] di E. Zermelo ha assunto la forma di una meticolosa assiomatizzazione del lavoro di Cantor, introducendo condizioni restrittive ad hoc - principalmente nei riguardi dell'assiomadidi M L. Dalla Chiara Scabia), Torino 1973 (cap. VI); A. A. Fraenkel, ...
Leggi Tutto
rimpiazzamento
rimpiazzaménto s. m. [der. di rimpiazzare]. – Forma ormai non com. per rimpiazzo, ma specifica nelle locuz. della logica matematica assioma di r., assioma introdotto da A. A. Fraenkel, intorno al 1922, per eliminare alcuni inconvenienti...