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
Walter, JM e demais.
Sobre provas geradas automaticamente, em especial para o caso da
4-coloração, avento a possibilidade de que uma prova automaticamente
gerada (e verificada) possa term MAIS CASOS que a atualmente
conhecida.
Aliás, isso seria o esperado. Se é fácil gerar e verificar casos, é
p
2017-04-25 16:37 GMT+02:00 Walter Carnielli:
> Xavier Caicedo provou em ''The subdirect decomposition theorem for
> classes of structures closed under direct limits'' (J. Austral. Math.
> Soc. Series 4, 30 (1980), 171-179) uma generalização de um teorema de
> Birkhoff, mostrando que toda álgebra (
