Textos inéditos sobre teoria da computação

15 views

Skip to first unread message

Francisco Antonio Doria

unread,

Dec 21, 2017, 2:11:37 AM12/21/17

to logi...@dimap.ufrn.br

Newton e eu trabalhamos muito em CS desde os anos 90. Recentemente ele me pediu que organizasse o que fizemos em resumos. Foi feito, aproveitando muito material já publicado e alguma coisa inédita. Se alguém tiver interesse a respeito, pode me escrever em pvt que mando essas nossas notas.

Um resultado relativo é, para uma teoria `nice' S, existe uma outra teoria `nice' S' que inclui S, tal que S' prova que dentro de S não existe demonstração de P<NP. (Teorias `nice' são ricas e bem comportadas.)