Marcelo, caro, é por essas e outras que crianças e velhinhas, especialmente as inteligentes, se dão tão bem!
Em 24 de outubro de 2017 20:59, Marcelo Finger <[email protected]> escreveu: > Andreia. > > Demorou um pouquinho mas acho que entendi seus jogos de palavras. É o tipo > de trocadilho que meu filho de 12 anos faz :) > > Pequins > > Marcelo > > 2017-10-24 20:48 GMT-02:00 Andrea Loparic <[email protected]>: > >> Caros, >> >> Aproveitando o trend legal sobre o intuicionismo, venho lembrar, >> para os mais novos especialmente, que, com base em semânticas >> de valorações bivalentes corretas e completas que obtive outrora, >> para os cálculos proposicionais minimal (Johanssen-Kolmogoroff) >> e intucionista (Heyting), meu filho computeiro Marko Loparic e eu >> fizemos juntos um programinha em Python que constroi e exibe >> tabelas de verdade generalizadas para testar a validade de >> fórmulas em cada um desses dois cálculos. O artigo com a semântica >> foi publicado pelo Décio, a quem peço a gentileza de me mandar >> novamente a referência, pois, aos 76, acho-me somezeimerada ( por >> enquanto, pelo menos, não é All) . O programinha, desde 2009, está >> disponivel para uso de quem quiser na URL >> >> http://www.paralogics.net/tableaux/minimal_intuitionism/ >> >> Obs: O programa só reconhece como fórmulas as que vêm na notação >> especificada na introdução, a saber, aquelas cujo vocabulário é composto >> por minúsculas, ~, &, | , > = e parêntesis (para os conectivos binários). >> >> No mais, reitero o convite para saborearem meu bolo de rolo, >> garantindo que, nessa modalidade, estou ainda nozeimerada. >> >> Beijins ( ou seriam pequins?) >> >> Andrea >> >> -- >> Você recebeu essa mensagem porque está inscrito 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 [email protected]. >> Para postar nesse grupo, envie um e-mail para [email protected]. >> Acesse esse grupo em https://groups.google.com/a/di >> map.ufrn.br/group/logica-l/. >> Para ver essa discussão na Web, acesse https://groups.google.com/a/di >> map.ufrn.br/d/msgid/logica-l/CACHAqBmf%2BtauDjypWfOL%2B5jg0 >> Eg%3D%3D9F5oFHZ2HHbmxJRJ9Xkqw%40mail.gmail.com >> <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CACHAqBmf%2BtauDjypWfOL%2B5jg0Eg%3D%3D9F5oFHZ2HHbmxJRJ9Xkqw%40mail.gmail.com?utm_medium=email&utm_source=footer> >> . >> > > > > -- > Marcelo Finger > Departament of Computer Science, IME > University of Sao Paulo > http://www.ime.usp.br/~mfinger > > -- > Você recebeu essa mensagem porque está inscrito 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 [email protected]. > Para postar nesse grupo, envie um e-mail para [email protected]. > Acesse esse grupo em https://groups.google.com/a/ > dimap.ufrn.br/group/logica-l/. > Para ver essa discussão na Web, acesse https://groups.google.com/a/ > dimap.ufrn.br/d/msgid/logica-l/CABqmzx0agJUPdhoUH8gb3qyTb0CHU > FZqq6VD%2BPA6MBGLBnnt_g%40mail.gmail.com > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CABqmzx0agJUPdhoUH8gb3qyTb0CHUFZqq6VD%2BPA6MBGLBnnt_g%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- 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 [email protected]. Para postar neste grupo, envie um e-mail para [email protected]. 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/CACHAqBmsn3kz_z%3DRS1S%2BVhPm6Mf_bcUzUpJ13yMJ%2BNon4oC%3DBA%40mail.gmail.com.
