Mathematical Logic and the Foundations of Mathematics
Kneebone, G. T.
Mathematical Logic and the Foundations of Mathematics - 1ra - New York : D. Van Nostrand Company Limited London, 1963 - 435 páginas
1.Traditional Logic. 2.Symbolic Logic I- The propositional calculus. 3.Symbolic logic II- The restricted calculus of predicates. 4.Further development of symboli logic. 5.The critical moment in mathematics in the nineteenth century. 6.The logistic identification of mathematics with logic. 7.Formalized mathematics and metamathematics. 8.Gödel theorems on the inherent limitations of formal systems. 9.Intuitionism. 10.Recursive arithmetic. 11.The axiomatic theory of sets. 12.The epistemological status of mathematics. 13.The application of mathematics to the natural world. 14.Logic and the activity of thinking.
fcnm1403
511.3I/K65
Mathematical Logic and the Foundations of Mathematics - 1ra - New York : D. Van Nostrand Company Limited London, 1963 - 435 páginas
1.Traditional Logic. 2.Symbolic Logic I- The propositional calculus. 3.Symbolic logic II- The restricted calculus of predicates. 4.Further development of symboli logic. 5.The critical moment in mathematics in the nineteenth century. 6.The logistic identification of mathematics with logic. 7.Formalized mathematics and metamathematics. 8.Gödel theorems on the inherent limitations of formal systems. 9.Intuitionism. 10.Recursive arithmetic. 11.The axiomatic theory of sets. 12.The epistemological status of mathematics. 13.The application of mathematics to the natural world. 14.Logic and the activity of thinking.
fcnm1403
511.3I/K65