Outlines of a formalist philosophy of mathematics
By: [edited by] Haskell B. Curry
Series: Studies in logic and the foundations of mathematics -- v. 3; Studies in logic and the foundations of mathematics -- v. 3.
Publisher: Elsevier Science
Published: 1951
Place of publication: Amsterdam
Language: eng
Format: [electronic resource] /
ISBN-13: 9780444533685
Subjects: Mathematics; Philosophy
Notes: Problem of mathematical truth-Idealistic views of mathematics-Definition and structure of a formal system-Examples of formal systems-Ontological discussion of a formal system-Reduction of a formal system-Formal systems and syntax-Metatheory-Formalist definition of mathematics-Truth and acceptability-Mathematics and logic.

Description based on print version record.