oi Joao Marcos, eu discuti um pouquinho isso com a Andrea, e me parece que o filho dela Marko Loparic 'e a pessoa com quem voce deve conversar! quando eu conversei sobre isso com a Andrea, ela me disse que tinha ensinado os teoremas do Kleene tantas vezes que sabia as provas de cor e eu queria uma versao escrita dessas provas, pra ver diferencas e semelhancas e tentar identificar subestruturas e a gente entao comecou a fazer. mas ela nao achou os documentos que queria na casa dela, refez uns tantos, mas pra mim eles nao eram exatamente o que eu queria (eu queria sequentes, nao axiomas ou valuations) e ai deixamos pra mais tarde, pois ela tinha coisas mais importantes pra fazer. Uma grande pena!
abracos Valeria On Thu, Oct 28, 2021 at 5:42 PM Joao Marcos <botoc...@gmail.com> wrote: > A Andrea implementou isto em tempos idos, e o filho dela, me parece, > reescreveu em Python: > http://www.paralogics.net/tableaux/minimal_intuitionism/ > > Alguém por acaso teria acesso ao código, antes que ele desapareça no > vórtex da Grande Rede? > > Joao Marcos > > -- > 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 ver esta discussão na web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LhOu0KC2xuZVVet9Ak_ZN50%2BVytXESQfOe%3DsCGfquji2Q%40mail.gmail.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 ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXt%2BCAC7uwYorCVAsTTHG8k7LpVq1AiL23u_-1md-Mo%2BnQ%40mail.gmail.com.
