[Logica-l] Fwd: Summer course in the philosophy of mathematical practice

Pode ser de interesse para alguns membros desta lista. JM -- Forwarded message - Dear all This summer we organize highly interactive, fully online summer course in the philosophy of mathematical practice. The course will be open to graduate students. The application deadline i

[Logica-l] Biblioteca gráfica

Oi pessoas, eu tou trabalhando nessa biblioteca gráfica aqui, http://angg.twu.net/pict2e-lua.html https://github.com/edrx/pict2e-lua/#introduction http://angg.twu.net/.emacs.videos.html#2022pict2elua A minha prioridade agora é usá-la pra fazer figuras pra Cálculo 2 e Cálculo 3. A versão an

[Logica-l] Postdoctoral position in contradictory logics, Bochum (Germany), Deadline: 15 May 2022

*Ruhr University Bochum (RUB): Post-Doctoral Position (3 years)*. The Ruhr University Bochum (RUB) is one of the leading research universities in Germany. As a reform-oriented campus university, it uniquely combines the entire range of major scientific fields in one place. The dynamic coexistence