A01=Mary Tiles
ACB
Author_Mary Tiles
axiomatic method
Category=PBB
Category=QDTL
Computational Chains
Computational Image
conservative
Consistency Proof
eq_isMigrated=1
eq_isMigrated=2
eq_nobargain
Euclidean Standard
extension
Finitary Consistency Proof
Focus Imaginarius
formal systems
Frege's Definition
Frege's System
godel's
Godel's Result
Godel's Theorem
hilbert's
Hilbert's Programme
history of mathematical reasoning
Ideal Elements
logicism debate
mathematical
mathematical foundations
Mathematical Reason
natural
Natural Numbers
non-Euclidean Geometry
nonEuclidean Geometries
number
Number System
Order Predicate Calculus
Peano Axioms
philosophy of logic
Prediction Control
Primitive Recursive
programme
rationality in mathematics
reasoning
Reflective Judgment
theorem
Universal Quantifiers
Vicious Circle Principle
Product details
- ISBN 9780415033183
- Weight: 453g
- Dimensions: 138 x 216mm
- Publication Date: 06 Jun 1991
- Publisher: Taylor & Francis Ltd
- Publication City/Country: GB
- Product Form: Hardback
Secure
checkout
Fast Shipping
Easy returns
A thorough account of the philosophy of mathematics. In a cogent account the author argues against the view that mathematics is solely logic.
