Speaker:
Pranshu Gaba, TIFR
Time:
Friday, 27 August 2021, 10:00 to 11:00
Organisers:
Paper: Nachum Dershowitz and Yuri Gurevich, "A Natural Axiomatization of Computability and Proof of Church's Thesis"
https://doi.org/10.2178/bsl/1231081370