Oi Walter, Nos centros de Lógica, creio que sim ! Mas em textos de pura divulgação científica, endereçados a matemáticos iniciantes, digamos, os dois teoremas de incompletude são "vendidos" como se fossem dois resultados correlatos, porém não tão próximos - e isso do segundo ser consequência direta do primeiro, então, isso nem sequer é cogitado...
Claro que o buraco pode ser colocado mais embaixo: Acho que 99 por cento dos matemáticos não sabem o que diz o teorema da completude mesmo ! Isso causa situações estranhas. Um matemático tende a dizer que dois teoremas são equivalentes se assumindo o enunciado de um, prova-se o outro, e vice-versa - por exemplo, o teorema da função implícita e o da função inversa são equivalentes, nesse sentido. Devido ao fato da minha formação ter sido feita toda em Matemática, esse jargão não me choca. Porém, um dia um colega que tem um conhecimento um pouco mais aprofundado de Lógica me chamou a atenção: - Isso é besteira. Todos os teoremas que demonstramos são equivalentes entre si. ... Só quem entende o que diz o teorema da completude teria clareza disso. Até, []s. Samuel -- 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/674ad97f-9f3c-44c4-85c6-ab974d93104f%40dimap.ufrn.br.
