Dankness asked
> Is there a model of ZFC inside which ZFC does not have a model?
Noah Schweber answered:
> Yes.
> Recall that by the Completeness Theorem, having a model and being
> consistent are the same thing. Also, by Incompleteness, ZFC doesn't
> prove its own consistency. Finally, ZFC
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 di
Oi Samuel,
O fato de o Segundo Teorema de Incompletude ser consequência imediata do
Primeiro é, sim, bem conhecido por aí...
Abs
Walter
> Em 16 de jun de 2016, às 00:04, 'Samuel Gomes' via LOGICA-L
> escreveu:
>
> Esse aspecto do Segundo Teorema de Incompletude ser consequência imediata (d
... Essencialmente (e por favor me corrijam se eu estiver sendo
excessivamente simplista), em ZFC temos
Consistência de ZFC <---> "Sentença de Gödel"
onde "Sentença de Gödel" é a asserção de ZFC que declara sua própria
não-demonstrabilidade.
Ou seja, a sentença que nos garante o Primeiro Teore
Partilho uma pergunta interessante, com respostas instrutivas:
Is there a model of ZFC inside which ZFC does not have a model?
http://math.stackexchange.com/questions/1826423/is-there-a-model-of-zfc-inside-which-zfc-does-not-have-a-model
JM
--
Você está recebendo esta mensagem porque se inscre
Olá,
Sim, João Marcos, era uma planilha como esta. Obrigado. Acho que na versão
anterior constava o Fator de Impacto.
De nada, Marcelo.
Nas duas imagens abaixo dá para ver os 22 periódicos de Lógica no ISI:
https://postimg.org/image/40n32cu6v/
https://postimg.org/image/6whpzzntt/
Abraços,
Ado
