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 -- 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/CAO6j_LhS1CNNQ_rY_igPtAPdEAMHB2LK12RKBiG28zafKVivnA%40mail.gmail.com.
