JM,
Eu achei q vc queria ter uma medida de quao dependente de codificao uma
prova e’. Eu acho q o Joyal tem uma prova de incompletude usando
categories, q nao depende muito de codificacao.
mas eu nunca vi ninguem tentando medir quao dependente de codificacao uma
prova 'e. voce ja' viu algum assim?
Nunca vi, Valeria...
Você teria uma referência para a demonstração do Joyal?
Abraços, JM
On Sun, Dec 22, 2019, 22:28 Valeria de Paiva
wrote:
> JM,
> Eu achei q vc queria ter uma medida de quao dependente de codificao uma
> prova e’. Eu acho q o Joyal tem uma prova de incompletude usando
> cat
bom, eu achei que tinha uma escrita pois a Milly Maietti me disse que
tinha, mas procurando no math overflow vi isso:
https://mathoverflow.net/questions/132797/is-there-a-categorical-proof-of-g%C3%B6dels-incompleteness-theorem
depois procuro nos meus preprints, mas estou viajando
Boas Festas a to
