Obrigado por chamar atencao ao artigo, JM! O IEP tinha me informado que o tipografo recentemente estava com problemas com o TeX. O indice, os numeros de secao, citacoes e referencias ainda estao faltando, e algumas equacoes ainda aparecem em codigo. Por enquanto eu recomendo o PDF da versal final que pode ser baixado no PhilPapers https://philpapers.org/archive/BENIIM.pdf. Espero que essa entrada contribua para maior divulgacao da matematica intuicionista! A ideia eh ter uma versao mais diluida do contraparte da SEP que seja mais acessivel para estudantes avancados de graduacao de filosofia e matematica. Inclui tambem um apendice com teoremas notaveis da logica intuicionista e teoremas classicos que nao se pode provar.
Desculpa pelos problemas tecnicos! Abracos, Bruno -- Bruno Bentzen Assistant Professor School of Philosophy Zhejiang University https://www.brunobentzen.com On Tuesday, June 24, 2025 at 2:20:51 AM UTC+8 Joao Marcos wrote: > O Bruno Bentzen publicou recentemente um verbete interessante sobre a > matemática intuicionista na IEP: > https://iep.utm.edu/intuitionism-in-mathematics/ > > []s, Joao Marcos > > -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <[email protected]> --- 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 ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/c741ad80-3cbc-4830-87ba-20dfc666a6adn%40dimap.ufrn.br.
