Olá JM.
Imagino que a diminuição de 1936 casos para "só" 633 configurações
seja um exercício intelectual nada trivial.
Geradores automáticos têm a tendência (não a promessa) de ir no
sentido oposto, usar a força bruta e velocidade da máquina, passar de
633 para 6.330 se isso garantir que testar "
Obrigado, Marcelo!
Estamos levando em conta os provadores de código aberto gerados pelo seu grupo,
abraços,
Walter
Em 25 de abril de 2017 21:55, Marcelo Finger escreveu:
> Walter, JM e demais.
>
> Sobre provas geradas automaticamente, em especial para o caso da
> 4-coloração, avento a possibil
Colegas:
(copio aqui o jornalista, filósofo e lógico honorário Maurício Tuffani,
do site 'Direto da Ciência'
http://www.diretodaciencia.com/about/)
Não sei se vcs sabem, mas há um `scam' envolvendo o nome da FAPESP: este site
http://fapesp.org não é a nossa FAPESP, e atua malandramente
`registra
OI Walter.
Eu leio e aprecio a coluna do Mauricio Tuffani que chega no meu email
quase todo dia. Só não sei o que é um "Lógico Honorário", mesmo
apreciando a fina ironia do termo.
O que é?
[]s
2017-04-26 12:41 GMT-03:00 Walter Carnielli :
> Colegas:
> (copio aqui o jornalista, filósofo e lóg
Journal of Indian Council of Philosophical Research
Volume 34, Issue 2, May 2017
Special Issue: Pluralism in Mathematics
https://link.springer.com/journal/40961/34/2/page/1
Preface
Mihir Kumar Chakraborty Michele Indira Friend
https://link.springer.com/article/10.1007/s40961-017-0106-x
Roads to
oi Marcelo,
ocorre que Maurício Tuffani estudou Lógica na Unicamp no tempo em
que a pós-graduação em Filosofia/Lógica era sediada no CLE. Foi meu
colega ,e estudou com Jacob Zimbarg, Newton da Costa, Carlos
Lungarzo, Elias Alves, e tantos outros antes de se tornar jornalista
científico. Co
Walter.
Obrigado pelos esclarecimentos históricos!
[]s
2017-04-26 22:47 GMT-03:00 Walter Carnielli :
> oi Marcelo,
>
> ocorre que Maurício Tuffani estudou Lógica na Unicamp no tempo em
> que a pós-graduação em Filosofia/Lógica era sediada no CLE. Foi meu
> colega ,e estudou com Jacob Zimb
