La grande scienza. Cronologia scientifica: 1961-1970
1961-1970
1961
Famiglia universale. Il giapponese Masatake Kuranishi mostra che esiste sempre un certo tipo di famiglia olomorfa di strutture complesse [...] matematico Paul J. Cohen dimostra che l'ipotesi del continuo è indipendente dalla teoria degli insiemi diZermelo-Fraenkel, e che lo stesso vale per l'assioma della scelta. Il logico austriaco Kurt Gödel aveva già dimostrato, nel 1940, che questi due ...
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...