Outlines of a Formalist Philosophy of Mathematics, Հատոր 10North-Holland Publishing Company, 1951 - 75 էջ This book deals with the philosophy of mathematics, not from the point of view of the philosopher, but from that of a mathematician who has had occasion to reflect on the nature of his science. |
Այլ խմբագրություններ - View all
Outlines of a Formalist Philosophy of Mathematics, Հատոր 10 Haskell Brooks Curry Հատվածի դիտում - 1951 |
Common terms and phrases
acceptability arithmetic autonymous axiom schemes axı axı beweisbar binary operation binary predicate Carnap Chapter character classical analysis consider considerations consistency proof constructive criterion defined definition of mathematics discussion elementary propositions elementary theorems essentially Example 9 expressions fact finite formal system formalist definition Gödel green cheese Hilbert idealistic intuitionism intuitionist intuitive evidence involved kind L. E. J. BROUWER let us call linguistic mathe mathematical induction mathematical truth mathematicians matics meaning metaphysical metaproposition metatheoretic mode of speech Moreover morphological notions noun number of arguments O-expressions O-language O-sentence O-symbols object language occurs free ordinary P₁ P₁₁ paper parentheses philosophical PHILOSOPHY OF MATHEMATICS point of view polynomials postulates primitive frame priori quasi-quotes recursive definitions reduction reference regard relation representation rules of procedure sense sentence specifications subject matter Subst symbols syntactical system of logic t₁ t₂ theory tokens true unary variables