Petrúcio:
Um erro está no uso da palavra PRÓXIMO.
A prova de Euclides, ou melhor, o algoritmo que ela
inclui, não gera o PRÓXIMO número primo:
Concordo com você. Mas note que eu não disse que a prova de Euclides
gera o próximo primo, mas apenas um primo maior que o número n de que
p
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 é:
http://www.interleft.com.br/aloparic/tab
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 F
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, com a mesa redonda:
Existência e Verdade
Prof.Dr. João Branquinho - Universidade de Lisboa
Prof. Dr. Cláudio Ferrei
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
Aos devotados educadores desta lista, parabéns pelo seu dia!
jm
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
De volta da ANPOF e a caixa-postal cheia ...
Joao Marcos escreveu:
> Aí é que está. A demonstração que eu apresentei NÃO fornece um
> algoritmo, mas apenas um intervalo finito onde você poderá buscar o
> próximo primo, com o seu algoritmo preferido. Como resultado, a
> asserção resultante sobre
O LIAMF (grupo de Lógica, Inteligência Artificial e Métodos Formais), do
IME-USP está aceitando alunos de doutorado para o programa de
pós-graduação em Ciência da Computação nas áreas listadas abaixo e afins:
- Desenvolvimento de Sistemas Multi-agentes
- Desenvolvimento de Sistemas Tolerantes a Fa
