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

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

Jutri bo Kazuto Yoshimura nadaljeval in zaključil s seminarjem iz prejšnjega tedna. Govoril bo o Weihrauchovi mreži in redukcijami med problemi v tej mreži.

Vabljeni!