Preddoločanje za začetnike
Datum objave: 3. 4. 2009
Seminar za temelje matematike in teoretično računalništvo
Na seminarju za osnove je govora o preddoločanju. Ta zahtevna tehnika iz teorije množic je eno pomembnejših odkritij 20. stoletja na področju osnov matematike. Z njo je Paul Cohen dokazal neodvisnost hipoteze kontinuuma od teorije množic. Vsem, ki želijo o tem vedeti več in bi radi bolje sledili predavanjem Gregorja Dolinarja na seminarju za osnove, priporočam članek Timothya Chowa, "A beginner's guide to forcing".