Logica matematica
Abraham Robinson
*La voce enciclopedica Logica matematica è stata ripubblicata da Treccani Libri, arricchita e aggiornata da un’introduzione di Gabriele Lolli e un saggio di Beppo [...] . Infine, nel 1963, P. J. Cohen, usando i metodi di Gödel assieme ad alcune idee radicalmente nuove, dimostrò che è impossibile dedurre l'ipotesi del continuo dagli assiomidiZermelo-Fraenkel. Ciò lasciò a chiunque creda nella realtà (platonica) del ...
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...