Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] The Decision Problem for Effective Procedures ...

view this post on Zulip Email Gateway (Jun 14 2023 at 11:32):

From: jean-yves beziau <beziau100@gmail.com>
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-saul-kripkes-philosophy-with-nathan-salmon/

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

Last updated: Apr 28 2024 at 20:16 UTC