1.ª série, N.º 43-44
Novembro/Dezembro de 1966
Formalização das ciências sociais?
Lourenço, Manuel António dos Santos
Descrição física
pp. 1067-1079
Sumário
Demonstração matemática de um sistema formal de uma teoria.
Conceitos
Teoria
Utilidade
Sistema
Aritmética
Construtivismo
Ciências sociais e humanas
Assuntos
Teoria dos conjuntos
Análise matemática
Teoria da demonstração
Axiomas
Nomes Singulares Citados
Hilbert, David
(1862-1943)
Cantor, Georg Ferdinand Ludwig Philipp Cantor
(1845-1918)
Church, A.
Curry, H.
Davis
Kleene, Stephen Cole
(1909-1994)
Mendelson, Elliott
(1931)
Tarski, Alfred
(1901-1983)
Obras
Outlines of a formalistic philosophy of maths
,
Curry, H.
The undecidable
,
Davis
Introduction to metamathematics
,
Kleene, Stephen Cole
Introduction to Math: Logic
,
Mendelson, Elliott
,
e
Church, A.
Logic, semantics and metamathematics
,
Tarski, Alfred
1.ª série, N.º 43-44
Novembro/Dezembro de 1966
Formalização das ciências sociais?
Lourenço, Manuel António dos Santos
(1936-2009)
Ver Mais
1:1
89
/
180
