The Decision Problem for Effective Procedures - Celebration of the 120th anniversary of Alonzo Church Nathan Salmon (University of California at Santa Barbara), Gary Mar (State University of New York, Stony Brook), Melvin Fitting (CUNY Graduate Center) Logica Universalis Webinar 2023 --------------------------------------------------------------------------------------------------------------------- June 14, 2023 at 4pm CET (Paris-Geneva-Rome) we will have one more session of the Logica Universalis Webinar (LUW). Nathan Salmón will present his recently published paper in Logica Universalis "The Decision Problem for Effective Procedures" https://www.springer.com/journal/11787/
Salmón was a former PhD student of the famous logician and founder of computer science Alonzo Church. Church was born June 14, 1903. We will therefore 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.
Nathan Salmón was also a long time friend and collaborator of Saul Kripke: https://www.simplycharly.com/read/interviews/naming-names-a-deep-dive-into-s...
At LUW we have before the main talk the presentation of an association related to the author or/and topic of the talk. The Kripke center was presented at the LUW session of August 11, 2021: https://youtu.be/piyvWZ5nOik
This next LUW session June 14 will initiate a series where the preliminary talk is related to the anniversary of a famous logician. This is not indeed completely new, considering that the first session of LUW was for the celebration of the World Logic Day, January 14, 2021, the 120th anniversary of Alfred Tarski: http://www.logica-universalis.org/wld3
Everybody is welcome to attend the next LUW session June 14, register here: https://www.springer.com/journal/11787/updates/23910922
Jean-Yves Beziau Editor-in-Chief Logica Universalis President of LUA (Logica Universalis Association) http://www.logica-universalis.org/LUAD