Tata Institute of Fundamental Research
Paper Presentation
Paper Presentation
Speaker:
Pranshu Gaba
Organiser:
Prahladh Harsha
Date:
Friday, 27 Aug 2021, 10:00 to 11:00
Venue:
(Scan to add to calendar)
Abstract:
Paper: Nachum Dershowitz and Yuri Gurevich, "A Natural Axiomatization of Computability and Proof of Church's Thesis"
https://doi.org/10.2178/bsl/1231081370
| Speaker: | Pranshu Gaba |
| Organiser: | Prahladh Harsha |
| Date: | Friday, 27 Aug 2021, 10:00 to 11:00 |
| Venue: |
(Scan to add to calendar)
Abstract:
Paper: Nachum Dershowitz and Yuri Gurevich, "A Natural Axiomatization of Computability and Proof of Church's Thesis"
https://doi.org/10.2178/bsl/1231081370
https://doi.org/10.2178/bsl/1231081370