Proof vs Truth in Mathematics

1. Aschbacher, M. Highly complex proofs and implications of such proofs. Philosophical Transactions of the Royal Society (A) 363, 2005, pp. 2401–2406.10.1098/rsta.2005.1655Search in Google Scholar

2. Avigad, J. Mathematical method and proof, Synthese 153, 2006, pp. 105–159.10.1007/s11229-005-4064-5Search in Google Scholar

3. Barwise, J. An introduction to first-order logic, In J. Barwise (ed.), Handbook of Mathematical Logic, Amsterdam: North-Holland, 1977, pp. 5–46.10.1016/S0049-237X(08)71097-8Search in Google Scholar

4. CadwalladerOlsker, T. What do we mean by mathematical proof? Journal of Humanistic Mathematics 1, 2011, pp. 33–60.10.5642/jhummath.201101.04Search in Google Scholar

5. Detlefsen, M. Poincaré against the logicians, Synthese 90 (3), 1992, pp. 349–378.10.1007/BF00500033Search in Google Scholar

6. Detlefsen, M. (ed.). Proof, Logic and Formalization, London: Routledge, 1992,Search in Google Scholar

7. De Villiers, M. D. Rethinking Proof with the Geometer’s Sketchpad, Emeryville, CA: Key Curriculum Press, 1999.Search in Google Scholar

8. Gödel, K. Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme. I, Monatshefte für Mathematik und Physik 38, 1931, pp. 173-198. Reprinted with English translation: On formally undecidable propositions of Principia Mathematica and related systems, In Gödel K. Collected Works, vol. I: Publications 1929-1936, S. Feferman, J. W. Dawson, Jr., S. C. Kleene, G. H. Moore, R. M. Solovay and J. van Heijenoort eds.), New York: Oxford University Press, and Oxford: Clarendon Press, pp. 144–195.10.1007/BF01700692Search in Google Scholar

9. Gödel K. Collected Works, vol. I: Publications 1929-1936, S. Feferman, J. W. Dawson, Jr., S. C. Kleene, G. H. Moore, R. M. Solovay and J. van Heijenoort eds.), New York: Oxford University Press, and Oxford: Clarendon Press.Search in Google Scholar

10. Hamami, Y. Mathematical inference and logical inference, The Review of Symbolic Logic 11 (4), 2019, pp. 665–704.10.1017/S1755020317000326Search in Google Scholar

11. Kahle, R. Is there a “Hilbert thesis”? Studia Logica 107, 2019, pp. 145–165.10.1007/s11225-017-9776-2Search in Google Scholar

12. Kaye, R. Models of Peano Arithmetic, Oxford: Clarendon Press, 1991.Search in Google Scholar

13. Kotlarski, H., and Z. Ratajczyk. Inductive full saisfaction classes, Annals of Pure and Applied Logic 47, 1990, pp. 199-223.10.1016/0168-0072(90)90035-ZSearch in Google Scholar

14. Kotlarski, H., and Z. Ratajczyk. More on induction in the language with a full satisfaction class, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 36, 1990, pp. 441-454.10.1002/malq.19900360509Search in Google Scholar

15. Krajewski, S. Non-standard satisfaction classes, In W. Marek, M. Srebrny and A. Zarach (eds.), Set Theory and Hierarchy Theory, Proc. Bierutowice Conf. 1975, Lecture Notes in Mathematics 537, Berlin-Heidelberg-New York: Springer Verlag, 1976, pp. 121-144.Search in Google Scholar

16. Kreisel, G. The formalist-positivist doctrine of mathematical precision in the light of experience, L’Âge de la Science 3, 1970, pp. 17–46.Search in Google Scholar

17. Murawski R. Satisfaction classes – a survey, In R. Murawski and J. Pogonowski (eds.), Euphony and Logos, Amsterdam/Ątlanta, GA: Edition Rodopi, 1997, pp. 259–281.10.1163/9789004457560Search in Google Scholar

18. Murawski, R. Recursive Functions and Metamathematics. Problems of Completeness and Decidability, Gödel’s Theorems, Dordrecht/Boston/London: Kluwer Academic Publishers, 1999.10.1007/978-94-017-2866-9_4Search in Google Scholar

19. Murawski, R. Truth vs. provability – philosophical and historical remarks. Logic and Logical Philosophy 10, 2002, pp. 93–117.10.12775/LLP.2002.006Search in Google Scholar

20. Murawski, R. On the distinction proof-truth in mathematics, In P. Gärdenfors et al. (eds.), In the Scope of Logic, Methodology and Philosophy of Science, Dordrecht–Boston–London: Kluwer Academic, 2002, pp. 287–303.Search in Google Scholar

21. Murawski, R. Troubles with (the concept of) truth in mathematics, Logic and Logical Philosophy 15, 2006, pp. 285–303. Reprinted in: R. Murawski, Lógos and Máthēma. Studies in the Philosophy of Mathematics and History of Logic, Frankfurt am Main: Peter Lang International Verlag der Wissenschaften, 2011, pp. 187–201.10.12775/LLP.2006.017Search in Google Scholar

22. Murawski, R. Some historical, philosophical and methodological remarks on proof in mathematics, In D. Probst and P. Schuster (Eds.), Concepts of Proof in Mathematics, Philosophy, and Computer Science, Ontos Mathematical Logic, Berlin: Walter de Gruyter, 2016, pp. 251–268.10.1515/9781501502620-015Search in Google Scholar

23. Rota, G.–C. The phenomenology of mathematical proof, Synthese 111, 1997, pp. 183–196.10.1023/A:1004974521326Search in Google Scholar

24. Tarski, A. Pojęcie prawdy w językach nauk dedukcyjnych, Warszawa: Towarzystwo Naukowe Warszawskie, 1933, Wydział III Nauk Matematyczno–Fizycznych, vol. 34. Reprinted in: A. Tarski, Pisma logiczno-filozoficzne, vol. 1: Prawda, Warszawa: Wydawnictwo Naukowe PWN, 1995, pp. 131–172. English translation: The concept of truth in formalized languages, In A. Tarski, Logic, Semantics, Metamathematics. Papers from 1923 to 1938, Oxford: Clarendon Press, 1956, pp. 152–278 and in A. Tarski, Logic, Semantics, Metamathematics. Papers from 1923 to 1938, second edition edited and introduced by J. Corcoran, Indianapolis: Hackett Publishing Co., 1983, pp. 152–283.Search in Google Scholar

25. Tarski, A. On the concept of following logically, History and Philosophy of Logic 23, 1936/2002, pp. 155–196.10.1080/0144534021000036683Search in Google Scholar

26. Tarski, A. Logic, Semantics, Metamathematics. Papers from 1923 to 1938, Oxford: Clarendon Press, 1956.Search in Google Scholar

27. Tarski, A. Truth and proof, Scientific American 220, No. 6, 1969, pp. 63–77.10.1038/scientificamerican0669-635769563Search in Google Scholar

28. Tarski, A. Logic, Semantics, Metamathematics. Papers from 1923 to 1938, second edition edited and introduced by J. Corcoran, Indianapolis: Hackett Publishing Co., 1983.Search in Google Scholar

29. Wang, H. From Mathematics to Philosophy, London: Routledge and Kegan Paul, 1974.Search in Google Scholar

30. Wang, H. Reflections on Kurt Gödel, Cambridge, Mass: The MIT Press, 1987.Search in Google Scholar

31. Woleński, J. Semantics and Truth, Logic, Epistemology and the Unity of Science 45, Berlin: Springer Verlag, 2019.10.1007/978-3-030-24536-8Search in Google Scholar