Screen LibraryA study in the philosophy of science /
Saved in:
| Corporate Authors: | |
|---|---|
| Group Author: | |
| Published: |
Elsevier Science,
|
| Publisher Address: | Dodrecht : |
| Publication Dates: | 1959. |
| Literature type: | eBook |
| Language: | English |
| Series: |
Studies in Logic and the Foundations of Mathematics ;
v. 25 |
| Subjects: | |
| Online Access: |
http://www.sciencedirect.com/science/bookseries/0049237X/25 |
| Carrier Form: | 1 online resource (xxviii, 731 pages). |
| Bibliography: | Includes bibliographical references and indexes. |
| ISBN: |
9780444533906 0444533907 |
| Index Number: | Q175 |
| CLC: | N02 |
| Contents: | Prehistory of research into foundations -- Aristotle's theory of science -- Historical development of symbolic logic and formalised axiomatics -- Introduction -- Extension of the system of natural numbers -- Theory of natural numbers -- Axiomatics of fundamental theories of modern mathematics -- Introduction -- Survey of symbolic logic -- Finitary theory of proof -- Syntax -- Semantics -- Logicism -- Cantorism -- Intuitionism -- Nominalism -- Paradoxes of logic and set theory and their solution -- Completeness theorems for logical systems -- Calculus of systems and models -- Further applications of topological methods -- Theory of recursive functions and the negative results concerning the decision problem -- Metamathematics, philosophy of mathematics and general philosophy. |