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 [...] , Paul Bernays e Kurt Gödel. Oggi si parla dunque dei sistemi assiomatici ZF (Zermelo-Fraenkel) e BG (Bernays-Gödel). Con l'aggiunta dell'assiomadi scelta, essi forniscono sistemi estremamente flessibili in cui tutta la teoria cantoriana degli ...
Leggi Tutto
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
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...