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, é provável que seja assim programado. []s Marcelo PS: Tem os provadores de código aberto gerados pelo meu grupo, disponíveis para baixar: a) Para satisfatibilidade probabilística: http://psat.sourceforge.net b) Para quantificadores de contagem sobre predicados unários: http://cqu.sourceforge.net Desculpa o atraso. 2017-04-25 12:58 GMT-03:00 Joao Marcos <botoc...@gmail.com>: > 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 (numa classe K de álgebras >> definidas por meio de equações) é um produto subdireto de álgebras >> subdiretamente irredutíveis em K. > > Por falar em generalizações de Birkhoff, ocorreu-me postar aqui uma > pergunta que fiz recentemente no StackExchange: > https://math.stackexchange.com/questions/2230920/examples-of-algebraic-structures-that-live-at-the-intersection-of-varieties-and > > Se algum dos colegas tiver exemplos a contribuir, seria ótimo! > > Abraços, > Joao Marcos > > -- > http://sequiturquodlibet.googlepages.com/ > > -- > Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos > Grupos do Google. > Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um > e-mail para logica-l+unsubscr...@dimap.ufrn.br. > Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. > Visite este grupo em > https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. > Para ver esta discussão na web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LjC3dg7ONgXwGjJf8YVdAEKrRwx9u0Mv8J5eNHKVsF8Vw%40mail.gmail.com. -- Marcelo Finger Departament of Computer Science, IME University of Sao Paulo http://www.ime.usp.br/~mfinger -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CABqmzx1JXk_bqZsjd8ONfpu3hLBZtRc4YbWUL89tcH0Q_wMdwA%40mail.gmail.com.
