1.ª série, N.º 43-44
Novembro/Dezembro de 1966
Formalização das ciências sociais?
Lourenço, Manuel António dos Santos
Physical description
pp. 1067-1079
Summary
Demonstração matemática de um sistema formal de uma teoria.
Concepts
Teoria
Utilidade
Sistema
Aritmética
Construtivismo
Ciências sociais e humanas
Subjects
Teoria dos conjuntos
Análise matemática
Teoria da demonstração
Axiomas
Single Names Ref
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)
Works
Outlines of a formalistic philosophy of maths
,
Curry, H.
The undecidable
,
Davis
Introduction to metamathematics
,
Kleene, Stephen Cole
Introduction to Math: Logic
,
Mendelson, Elliott
,
and
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)
See More
1:1
98
/
180
