Workshop

II Workshop on the Philosophy of Formal Sciences

Descrição:

Participantes:

Exibir +

  • Oswaldo CHATEAUBRIAND (Pontifícia Universidade Católica do Rio de Janeiro)
  • Abel LASSALLE CASANAVE (Universidade Federal da Bahia)
  • John MUMMA ()
  • Luiz Carlos PEREIRA (Universidade do Estado do Rio de Janeiro)
  • Gisele SECCO (Universidade Federal de Santa Maria)
  • Paulo VELOSO (Universidade Federal do Rio de Janeiro)

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:

  • Pontifícia Universidade Católica do Rio de Janeiro (PUC-Rio)

Instituições Associadas:

  • Universidade Federal da Bahia (UFBA)
  • Universidade Federal de Santa Maria (UFSM)
  • Universidade Federal do Rio de Janeiro (UFRJ)

Agências Financiadoras:

  • Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)
  • Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Cartaz:

Local e data:

Rio de Janeiro, RJ, Brasil
25 de junho de 2019

Comissão Organizadora:

  • Luiz Carlos PEREIRA (Presidente)
  • Gisele SECCO

Comissão Científica:

  • Luiz Carlos PEREIRA (Presidente)
  • Gisele SECCO