---------- Forwarded message --------- From: Shay Logan <[email protected]> Date: Tue, Apr 28, 2020, 14:17 Subject: Supergroup Talk this Week To: Joao Marcos <[email protected]>
Exciting news! There's yet another logic talk coming up! Times and dates for these things are confusing. I'll do my best; beginning with the part I'm most certain in: Date/Time: Friday, May 1st at 11AM in Melbourne Friday, May 1st at 3AM in Munich Thursday, April 30 at 8PM in Manhattan, Kansas Thursday, April 30 at 10PM in Buenos Aires Regardless of when or what day it is for you, the event will be the same. And what an event! Speaker: Tomasz Kowalski (La Trobe) Title: “Grzegorczyk's proof of undecidability of the theory of concatenation” Zoom Link: https://unimelb.zoom.us/j/846890369?pwd=TktZYmlIUGlYOU9ZaXFJcCt0TFJFZz09. Abstract: In his last article, "Undecidability without Arithmetization” (Studia Logica vol.79, no.2, 2005, pp.163-230 https://philpapers.org/rec/GRZUWA-2) Grzegorczyk considers a first-order theory TC in the signature of one binary function and two constants, finitely axiomatised by natural axioms, such that the two-generated model of TC is precisely the set of all nonempty words over a two-letter alphabet. He claims that TC is undecidable. Grzegorczyk's proof is both interesting and problematic. It is interesting because it proceeds from first principles, using a Goedelian diagonalisation argument, but based intuitively on Grelling "heterological" paradox rather than on the liar. It is problematic, because the notion of computability/decidability it uses is also defined from first principles. We (mostly Yao) proved that everything computable in Grzegorczyk sense is Turing computable, but whether the converse is true is not clear. At least not to us. I will present Grzegorczyk's proof, or as much of it as Yao and me currently understand. This is work in progress. Hooray for logic, and we look forward to seeing all of you there! Shay Allen Logan Assistant Professor of Philosophy Kansas State University -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Ljkx_APV50NfUBALE1rJu_Jt2sxFjYOBoQThi83o%2BFyyw%40mail.gmail.com.
