Keywords:
Science Philosophy
;
Philosophy
;
Science Philosophy
;
Science Philosophy
;
Science ; Philosophy
;
Electronic books
;
Electronic books
Description / Table of 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
Type of Medium:
Online Resource
Pages:
Online Ressource (xxviii, 731 pages)
Edition:
Online-Ausg.
ISBN:
0444533907
,
9780444533906
Series Statement:
Studies in Logic and the Foundations of Mathematics v. 25
URL:
http://www.sciencedirect.com/science/book/9780444533906
URL:
http://www.sciencedirect.com/science/bookseries/0049237X/25
URL:
https://www.sciencedirect.com/science/bookseries/0049237X/25
DDC:
501
Language:
English
Note:
Includes bibliographical references and indexes. - Print version record
,
Prehistory of research into foundationsAristotle'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.
,
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.
Permalink