Generalizações dos Teoremas da Incompletude de Gödel

[jean-yves beziau]

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