Aparentemente a demonstração é "elementar": http://www.davidpublisher.org/Public/uploads/Contribute/5fa38c7b876bf.pdf
Talvez siga como corolário da demonstração anterior, pelo mesmo autor, de que o segundo teorema da incompletude de Gödel está errado? http://www.davidpublisher.org/Public/uploads/Contribute/58d876b1d91a2.pdf :-/ :-/ JM On Mon, Mar 22, 2021 at 8:01 AM Bruno Lopes <[email protected]> wrote: > Numa iniciativa conjunta da Sociedade Brasileira de Lógica e do Grupo de > Interesse em Lógica da Sociedade Brasileira de Computação, gostaríamos de > convidar a todos a participarem do Seminário "Lógicos em Quarentena". > Trata-se de um seminário remoto com apresentações informais por membros da > comunidade e espaço para perguntas no fim. As apresentações usualmente são > gravadas e disponibilizadas na página do evento http://lq.sbl.org.br (com > a agenda completa). > > Data: 25 de março de 2021 (quinta-feira) > Horário: 16:00h GMT-3 > Apresentador: Lukasz T. Stepien (The Pedagogical University of Cracow) > Título: On Inconsistency of Classical Logic > Resumo: As everyone knows, the classical propositional calculus > (zero-order logic, classical propositional logic), is the most fundamental > two-valued logical system. This is needed for construction of the classical > calculus of quantifiers (classical calculus of predicates, first-order > logic), which is necessary to construct the classical functional calculus. > This last one is required to formalize the Arithmetic System. We start by > introducing a notation and we repeat some well-known notions (among others, > the notions of: operation of consequence, a system, consistency in the > traditional sense, consistency in the absolute sense). Next, we present the > result that classical propositional calculus is an inconsistent theory. > > A apresentação ocorrerá pelo Google Meet através do link público > https://meet.google.com/pwi-vcga-vbs . > > -- > Bruno Lopes > Professor Adjunto > Instituto de Computação > Universidade Federal Fluminense > http://www.ic.uff.br/~bruno > -- 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_Lgmx_JngDRgmXQfdtpD7rGCyFP4rPrA0q2vD%3DJ1hYJ9XQ%40mail.gmail.com.
