Caros, Estou passando apenas para dizer que os erros tipograficos e de TeX da versao do verbete sobre intuicionismo publicado no IEP finalmente foram concertados. O link mudou permanentemente para este:
https://iep.utm.edu/intuitionism-math/ Abracos, Bruno -- Bruno Bentzen Assistant Professor School of Philosophy Zhejiang University https://www.brunobentzen.com On Tuesday, June 24, 2025 at 11:34:57 AM UTC+8 Bruno Bentzen wrote: > 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/2932ad7f-8029-404d-9334-d2bd2562ca40n%40dimap.ufrn.br.
