II Workshop on the Philosophy of Formal SciencesDescrição:Participantes:
Exibir +
Programação:
Exibir +
II Workshop on the Philosophy of Formal Sciences
Two issues with the E formalization of Euclid John Mumma (CSUSB/USA)
Proofs and representations Oswaldo Chateaubriand (PUC-Rio)
The Four-Color Theorem revisited: a note on identity of proofs Gisele Secco (UFSM)
Discussants: Abel Lassalle Casanave (UFBA) Luiz Carlos Pereira (PUC-Rio) Paulo Veloso (UFRJ) Tiago Castro Alves (Tübingen) 25 de junho Sala 501/08 (Cátedra) 15:30 Instituição Promotora:
Instituições Associadas:
Agências Financiadoras:
Cartaz: |
Local e data:
Rio de Janeiro, RJ, Brasil
25 de junho de 2019 Comissão Organizadora:
Comissão Científica:
|