School of Technology and Computer Science
Academics
Graduate Studies
Academic Calendar
Courses
Course timetable
Forms
Research areas
Events & News
News
Upcoming events
Past events
Calendar
People
Faculty
Adjunct faculty
Visiting fellows
Students
Staff
Visitors
Former members
Resources
ZoomCal
Course Registration System
YouTube channel
Old YouTube channel
Wireless service
Admissions
Join Us
Vigyan Vidushi
VV 2021
VV 2022
Contact
Contact us
Reaching here
🔍
Home
Events & News
Past events
#
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
