Home > News > Andrej Bauer: Sintetična izračunljivost, 3. del

Andrej Bauer: Sintetična izračunljivost, 3. del

Date: 20. 2. 2008
Source: Mathematics and theoretical computing seminar
Četretek 21.2.2008, od 14h do 16h, soba 3.07, Jadranska 21

Povzetek: Tokrat se bomo posvetili topološkim konceptom v teoriji izračunljivosti. Dokazali bomo izreka Myhill-Sheperdson in Rice-Shapiro, ki povesta, da so vsi funkcionali zvezni in da ima prostor števnih množic Scottovo topologijo.