David Publishing ---> Predatory Publisher https://predatoryjournals.com/publishers/
Le lundi 22 mars 2021 à 09:31:42 UTC-3, Joao Marcos a écrit : > 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/61f9f353-2dd0-49fe-8f1b-fa292bdc045bn%40dimap.ufrn.br.
