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

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!