The Decision Problem for Effective Procedures - Celebration of the 120th anniversary of Alonzo ChurchNathan Salmon (University of California at Santa Barbara), null, Melvin Fitting (CUNY Graduate Center)
June 14, 2023, 10:00am - 11:30am
This event is online
Sponsor(s):
- Logica Universalis Association
- Springer Nature
Details
June 14 at 4pm CET (Paris-Geneva-Rome) we will have one more session of the Logica Universalis Webinar.
Nathan Salmón will present his recently published paper in Logica Universalis
"The Decision Problem for Effective Procedures".
Salmón was a former PhD student of the famous logician and founder of computer science Alonzo Church.
Church was born June 14, 1903. So we will commemorate his 120th anniversary with a preliminary presentation by his last PhD student Gary R.Mar.
The chair of the session will be Melvin Fitting.
Everybody is welcome to attend this on-line talk.
Registration
No
Who is attending?
1 person is attending:
Will you attend this event?