enquanto Gödel não concede outra entrevista...
15 views
Skip to first unread message
Joao Marcos
Dec 5, 2017, 3:48:42 AM12/5/17
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
Proving Peano Arithmetic Partially Consistent?
(are there no "short" contradictions in sight?
how far can we check consistency, and at which cost?)
https://rjlipton.wordpress.com/2017/11/27/proving-peano-arithmetic-partially-consistent/
JM
(are there no "short" contradictions in sight?
how far can we check consistency, and at which cost?)
https://rjlipton.wordpress.com/2017/11/27/proving-peano-arithmetic-partially-consistent/
JM
Reply all
Reply to author
Forward
0 new messages