Repassando a pedido de Sergei Artemov:
*Celebrating 90 Years of Gödel's Incompleteness Theorems. * The conference is a hybrid event, taking place online and in Nürtingen (Germany) from 5 to 9 July 2021. https://uni-tuebingen.de/en/212629 [uni-tuebingen.de]. The conference will use the following Zoom meeting for all presentations: https://zoom.us/j/96822543209?pwd=My9vQ2NtSHhaMnpzWnpJZldib3gyUT09 [zoom.us] Wed July 7, 17:00-17:45 (Germany) *Missing Proofs and the Provability of Consistency* *Sergei Artemov (Graduate Center, CUNY):* The well-known unprovability of consistency paradigm interprets Gödel’s Second Incompleteness Theorem to entail that there is no consistency proof of a system that can be formalized in the system itself. Yet, neither Hilbert, nor Gödel accepted this belief. We argue that there is a class of widely used and formalizable arithmetical proofs of universal properties which are not accounted for in the unprovability of consistency analysis. On this basis, we offer a mathematical proof of consistency for Peano Arithmetic PA and demonstrate that our proof is formalizable in PA. This refutes the aforementioned unprovability of consistency paradigm. -- 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 logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLf4_5jPRPK8H_TgEgvQU9tKraYCDVGi_c_2kBeKasRj_Q%40mail.gmail.com.
