Intuitionism in mathematics

Joao Marcos

unread,

Jun 23, 2025, 2:20:51 PM6/23/25

to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA

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

Bruno Bentzen

unread,

Jun 23, 2025, 11:34:57 PM6/23/25

to LOGICA-L, Joao Marcos

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

Bruno Bentzen

unread,

Sep 11, 2025, 12:20:29 AM9/11/25

to LOGICA-L

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

Reply all

Reply to author

Forward