O que prova uma prova (meta)matemática?

ISSN: 1413-5736

Descrição:

Este número da Revista Episteme, vol.3, n.7, 1998, contém parte dos trabalhos do evento Filosofia e História das Ciências: I Encontro do Cone Sul, realizado em 1998, em Porto Alegre, pela Universidade Federal do Rio Grande do Sul, incluindo os apresentados na mesa redonda “O que prova uma prova (meta)matemática?”.

Editores:

Attico Inácio CHASSOT (Centro Universitário Metodista - IPA)
Anna Carolina K. P. REGNER (Universidade do Vale do Rio dos Sinos)

Informações Adicionais:

Exibir +

Da mesa redonda participaram Abel Lassalle Casanave (“O Programa de Hilbert e a Origem da Teoria da Demonstração”), Javier Legris (“Paul Hertz y los Origenes de la Teoria de la Demostracion”), Jorge A. Molina (“A Noção de Prova do Ponto de Vista Intuicionista”), José Seoane (“Consecuencia Logica y Consecuencia Semantica: Una Elucidacion Tarskiana”) e Wagner de Campos Sanz (“O Conceito de Prova Finitária em Gentzen”).

Revista