Paper Presentation

Speaker:

Pranshu Gaba

Organiser:

Prahladh Harsha

Date:

Friday, 27 Aug 2021, 10:00 to 11:00

Category:

Paper Presentation

event.ics Print

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