Hledat
Zobrazují se záznamy 1-1 z 1
Nerozhodnutelnost struktury racionálních čísel
The undecidability of the field of rationals
Rigorózní práce (UZNÁNO)
Vedoucí práce: Švejdar, Vítězslav
Datum publikování: 2006
Datum obhajoby: 03. 11. 2006
Fakulta / součást: Filozofická fakulta / Faculty of Arts
Abstrakt: Otázka rozhodnutelnosti, tj. otázka, zda existuje algoritmus, který by byl schopen rozhodnout o platnosti každé prvořádové predikátové formule, se dostala na výsluní pozornosti matematiků ve dvacátých letech minulého ...