Aproveito esta discussão sobre Gödel no MathOverflow para ver se tem pessoas interessadas a escrever artigos sobre generalizações dos teoremas da incompletude Gödel no espirito da lógica universal, i.e. examinar sistematicamente condições lógicas para estes teoremas. Até agora ainda pouco foi feito nesta direção sobre estes teoremas, ou outros.
Ja publicamos um primeiro volume de Logica Universalis sobre esta tematica "Scope of Logic Theorems" no qual tem um artigo sobre o primeiro teorema do Gödel "The Scope of Gödel’s First Incompleteness Theorem" https://link.springer.com/article/10.1007/s11787-014-0107-3 Agora estamos trabalhando num segundo volume, mais detalhos aqui: http://www.logica-universalis.org/sissue Saudações, JYB -- 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 postar neste grupo, envie um e-mail para [email protected]. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLD1KSFYGimu_bzcjqn9qWPb8x%2B0A-XF6Yr_x7VMB2Ta%2Bg%40mail.gmail.com.
