2008/10/15 Daniel Durante [EMAIL PROTECTED]:
[...]
Eu aceito e entendo esta prova. Ela me parece construtiva e prova que os
primos são ilimitados. Ela me garante que qualquer algoritmo que procure o
próximo número primo vai parar, na pior das hipóteses retornando p. Eu não
vejo porque não
Publicado em:
http://seminarioslogica.blogspot.com/2008/10/existncia-e-verdade.html
2008/10/15 [EMAIL PROTECTED]:
O Departamento de Filosofia da UFRN, através da Base de Pesquisa Lógica,
Conhecimento e Ética, dá continuidade a sua programação anual dos
Seminários de Lógica e Filosofia Formal,
Oi a todos,
Nossa colega Andrea Loparic (Departamento de Filosofia-FFLCH-USP)
disponibilizou online um provador automático de teoremas da sua autoria
para a lógica mimimal de Johanssen-Kolmogoroff, e para a lógica
proposicional intuicionista. O endereço é: