language-icon Old Web
English
Sign In

Truth in mathematics

1998 
1. Truth and the foundations of mathematics. An introduction 2. Truth and obvjectivity from a verificationist point of view 3. Constructive truth in practice 4. On founding the theory of algorithms 5. Truth and knowability: on the principles of C and K of Michael Dummett 6. Logical completeness, truth, and proofs 7. Mathematics as a language 8. Truth, rigour, and common sense 9. How to be a naturalist about mathematics 10. The mathematician as a formalist 11. A credo of sorts 12. Mathematical evidence 13. Mathematical definability 14. True to the pattern 15. Foundations of set theory 16. Which undecidable mathematical sentences have determinate truth values? 17. Two conceptions of natural number 18. The tower of Hanoi
    • Correction
    • Source
    • Cite
    • Save
    • Machine Reading By IdeaReader
    0
    References
    69
    Citations
    NaN
    KQI
    []