Kazuto Yoshimura: Weihrauch lattice is a semantic representation of constructive reverse mathematics

Datum objave: 4. 3. 2014
Seminar za temelje matematike in teoretično računalništvo
Torek, 4. 3. 2014, od 12h do 14h, Plemljev seminar, Jadranska 19

Na današnjem predavanju bo Kazuto Yoshimura (Japan Advanced Institute of Science and Technology) predstavil Weihrauchovo mrežo. To je mreža, s katero v izračunljivi matematiki merimo težavnost reševanja problemov. Mreža je zelo velika in vsebuje ostale podobne mreže (Turingove stopnje, stopnje Medvedeva). Več lahko preberete v priloženem povzetku.

Vabljeni!