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 <mfin...@ime.usp.br> escreveu: > 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. -- ----------------------------------------------- Walter Carnielli Centre for Logic, Epistemology and the History of Science and Department of Philosophy State University of Campinas –UNICAMP 13083-859 Campinas -SP, Brazil Phone: (+55) (19) 3521-6517 Institutional e-mail: walter.carnie...@cle.unicamp.br Website: http://www.cle.unicamp.br/prof/carnielli -- 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/CA%2Bob58M6RFswhe%2B_%3D80M9fXDhuxbgbpKPSUBK_nRMHc6Y3bMNg%40mail.gmail.com.