free ebooks review rapidshare, megaupload |
|
|
Ebook home > science > mathematics >
Outlines of a Formalist Philosophy of Mathematics (Studies in Logic and the Foundations of Mathematics 3)
Outlines of a Formalist Philosophy of Mathematics (Studies in Logic and the Foundations of Mathematics 3) Summary:By Haskell B. Curry
Contents: Preface I Introduction II The Problem of Mathematical Truth III Idealistic Views of Mathematics IV Definition and Structure of a Formal System V Examples of Formal Systems VI Ontological Discussion of a Formal System VII Reduction of a Formal System VIII Formal Systems and Syntax IX Metatheory X The Formalist Definition of Mathematics XI Truth and Acceptability XII Mathematics and Logic Appendix A Reformulation of Example 9 NEWER EBOOKSSponsored LinksOutlines of a Formalist Philosophy of Mathematics (Studies in Logic and the Foundations of Mathematics 3) Keywordsmathematics formal truth definition logic formalist systems vii discussion ontological vi reduction ix xii appendix reformulation acceptability xi syntax examples metatheory viii iv curry contents idealistic views mathematical truth contents preface mathematics studies formalist philosophyBookmark Outlines of a Formalist Philosophy of Mathematics (Studies in Logic and the Foundations of Mathematics 3)Hyperlink code:
|
|
Architecture
Audiobooks
Business
