Have a personal or library account? Click to login

On Mathematical Proving

Journal of Artificial General Intelligence
Volume 6 (2015): Issue 1 (December 2015)
By:
Open Access
|Dec 2015

References

  1. Aczel, Amir D. 1997. Fermat’s Last Theorem: Unlocking the Secret of an Ancient Mathematical Problem. Delta (first published 1996).
    Search in Google Scholar
  2. Bashmakova, Izabella and Smirnova Galina. 2000. The Beginnings and Evolution of Algebra. Translated from the Russian by Abe Shenitzer with the editorial assistance of David A. Cox. The Mathematical Association of America.
    Search in Google Scholar
  3. Bazhanov, Valentin A. 2011. “Mathematical Proof as a Form of Appeal to a Scientific Community,” Russian Studies in Philosophy, vol. 50, no. 4 (Spring 2012), pp. 52–72.
    Search in Google Scholar
  4. Davidson, Donald. 1967b, “Causal Relations”, Journal of Philosophy, 64, pp. 691–703; reprinted in: Casati, R., and Varzi, A.C. (eds.), Events, Dartmouth, Aldershot, 1996, pp. 401–13, and in” Davidson, D., Essays on Actions and Events, Oxford: Clarendon Press, 1980, pp. 149–62.
    Search in Google Scholar
  5. Demidov, Sergei S. (Демидов С. С.). 1966. «К истории проблем Гильберта» [On the history of Hilbert’s problems], Историко-математические исследования, 17, pp. 91-122 (in Russian).
    Search in Google Scholar
  6. Demidov, Sergei S. (Демидов С. С.). 2001. ««Математические проблемы» Гильберта и математика XX века» [“Hilbert’s mathematical problems” and mathematics of the 20th century], Историко-математические исследования, 41 (6), pp. 84-99 (in Russian).
    Search in Google Scholar
  7. Fauconnier, Gilles and Mark Turner. 2008. The way we think: Conceptual blending and the mind’s hidden complexities. Basic Books.
    Search in Google Scholar
  8. Goguen, Joseph A. 1999a. “An introduction to algebraic semiotics, with applications to user interface design”. In Nehaniv, C. (ed.), Computation for Metaphors, Analogy and Agents. Springer, pp. 242-291.
    Search in Google Scholar
  9. Goguen, Joseph A. 1999b. “Social and Semiotic Analyses for Theorem Prover User Interface Design”, Formal Aspects of Computing11, pp. 272–301. (Special Issue on User Interfaces for Theorem Provers.)10.1007/s001650050051
    Search in Google Scholar
  10. Goguen, Joseph A. 2001. “What is a proof”, http://cseweb.ucsd.edu/~goguen/papers/proof.html
    Search in Google Scholar
  11. Goguen, Joseph A. 2003. “Semiotic morphisms, representations, and blending for interface design”. Proceedings, AMAST Workshop on Algebraic Methods in Language Processing. AMAST Press. 1–15. Conference held in Verona, Italy, 25-27 August.
    Search in Google Scholar
  12. Goguen, Joseph A. and Harell, D. Fox. 2004a. “Style as a choice of blending principles”. Shlomo Argamon, Shlomo Dubnov, and Julie Jupp (Eds), Style and Meaning in Language, Art Music and Design, AAAI Press, pp. 49-56.
    Search in Google Scholar
  13. Goguen, Joseph A. and Harell, D. Fox. 2004b. “Information Visualization and Semiotic Morphisms,” in Multidisciplinary Approaches to Visual Representations and Interpretations, Grant Malcolm (Ed.) Oxford: Elsevier, pp. 83-98.
    Search in Google Scholar
  14. Goguen, Joseph A. and Harell, D. Fox. 2010. “Style: A Computational and Conceptual Blending-Based Approach”, Shlomo Argamon, Kevin Burns, Shlomo Dubnov (Eds), The Structure of Style. Algorithmic Approaches to Understanding Manner and Meaning. Springer, pp. 291-316.
    Search in Google Scholar
  15. Hales, Alfred, and Robert Jewett. 1963. “Regularity and Positional Games.” Transactions of the American Mathematical Society106, pp. 222–29.
    Search in Google Scholar
  16. Henkin, L. Monk, J.D. and Tarski, A. 1971. Cylindric Algebras, Part I, North-Holland.
    Search in Google Scholar
  17. Heyting, A. (1931) “The intuitionist foundations of mathematics,” reprinted in: P. Benacerraf and H. Putnam (eds) Philosophy of Mathematics: Selected Readings, 2nd ed, Cambridge: Cambridge University Press, 1983, pp. 52–61.
    Search in Google Scholar
  18. Heyting, A. 1955. Les Fondements des Mathématiques. Intuitionnisme. Théorie de la Démonstration. Paris : Gauthier-Villars. Title of the original: Mathematische Grundlagenforschung. Intuitionismus. Beweistheorie. Springer-Verlag, Berlin, 1934.
    Search in Google Scholar
  19. Heyting, A. 1956. Intuitionism: An Introduction, Amsterdam: North-Holland Publishing, 3rd revised edition, 1971.
    Search in Google Scholar
  20. Heyting, A. 1958. “Intuitionism in mathematics”, in: R. Klibansky (ed.), Philosophy in the Mid-Century. A survey (La Nuova Italia Editrice, Firenze) 101-115.
    Search in Google Scholar
  21. Huntington, E.V. 1933a. “New sets of independent postulates for the algebra of logic”, Transactions of American Mathematical Society35, pp. 274-304.
    Search in Google Scholar
  22. Huntington, E.V. 1933b. “Boolean algebra: A correction”, Transactions of American Mathematical Society35, pp. 557-558.
    Search in Google Scholar
  23. Kauffman, Louis H. 1990. “Robbins Algebra”. Proceedings of the Twentieth International Symposium on Multiple Valued Logic. IEE Computer Society Press, pp. 54-60.
    Search in Google Scholar
  24. Kauffman, Louis H. 2001. “The Robbins Problem: computer proofs and human proofs” Kybernetes - The International Journal of Systems and Cybernetics, Gordon Pask Remembered and Celebrated: Part I, Bernard Scott and Ranulph Glanville (eds), 30 (5/6), pp.726-752.
    Search in Google Scholar
  25. Kleene, Stephen Cole. 1945. “On the interpretation of intuitionistic number theory”, Journal of Symbolic Logic, 10, 109-124.
    Search in Google Scholar
  26. Klein, Jacob. 1968. Greek Mathematical Thought and the Origin of Algebra. Translated by Eva Brann from the German original Griechische Logistik und die Entstehung der Algebra. Reprinted by Dover, 1992.
    Search in Google Scholar
  27. Kleiner Israel. 2000. “From Fermat to Wiles: Fermat’s Last Theorem Becomes a Theorem”. Elemente der Mathematik55, pp. 19-37.
    Search in Google Scholar
  28. Kolmogorov, Andrei N. 1932. „Zur Deutung der intuitionistischen Logik“, Mathematische Zeitschrift35, pp. 58–65. English translation in V.M. Tikhomirov (ed.) Selected Works of A.N. Kolmogorov. Vol. I: Mathematics and Mechanics, 151-158. Kluwer, Dordrecht, 1991.
    Search in Google Scholar
  29. Kolmogorov, Andrei N. 1988. “Letters of A. N. Kolmogorov to A. Heyting”, Успехи математических наук (Uspekhi Matematicheskikh Nauk), 43 (6), pp. 75-77; English translation, Russian Mathematical Surveys, 43 (6), pp. 89-93.
    Search in Google Scholar
  30. Kowalski, Robert. 1992. “Database updates in the event calculus”, Journal of Logic Programming, 12, 121-146.
    Search in Google Scholar
  31. Kowalski, Robert and Sergot Marek. 1986 “A Logic-Based Calculus of Events”, New Generation Computing4, pp. 67–95.10.1007/BF03037383
    Search in Google Scholar
  32. McCune, William. 1997. “Solution of the Robbins Problem”, Journal of Automated Reasoning19(3), pp. 263-76.
    Search in Google Scholar
  33. Mac Lane, Saunders. 1997. “Despite Physicists, Proof is Essential in Mathematics”, Synthese111, pp. 147–154.
    Search in Google Scholar
  34. Martin-Löf, Per. 1984. Intuitionistic type theory. (Notes by Giovanni Sambin of a series of lectures given in Padua, June 1980). Napoli, Bibliopolis.
    Search in Google Scholar
  35. Medvedev, Yu. 1962. “Finite problems”, Soviet Mathematics Doklady, 3, 227-230.
    Search in Google Scholar
  36. Polymath. 2009. A New Proof of the Density Hales-Jewett Theorem. At http://arxiv.org/abs/0910.3926, arXiv:0910.3926v2 [math.CO], accessed April 2, 2012.
    Search in Google Scholar
  37. Polymath. 2010a. Deterministic Methods to Find Primes. At http://arxiv.org/abs/1009.3956, arXiv:1009.3956v3 [math.NT], accessed April 2, 2012.
    Search in Google Scholar
  38. Polymath. 2010b. Density Hales-Jewett and Moser Numbers. At http://arxiv.org/abs/1002.0374, arXiv:1002.0374v2 [math.CO], accessed April 2, 2012.
    Search in Google Scholar
  39. Rudin, Walter. 1953. Principles of Mathematical Analysis, New York: McGraw-Hill.
    Search in Google Scholar
  40. Miller, Rob and Shanahan Murray. 1999. “The event-calculus in classical logic — alternative axiomatizations”, Electronic Transactions on Artificial Intelligence3(1), pp. 77-105.
    Search in Google Scholar
  41. Singh, Simon. 1998. Fermat’s Enigma. New York: Anchor Books.
    Search in Google Scholar
  42. Stefaneas, Petros and Vandoulakis, Ioannis. 2012. “The Web as a Tool for Proving” Metaphilosophy. Special Issue: Philoweb: Toward a Philosophy of the Web: Guest Editors: Harry Halpin and Alexandre Monnin. Volume 43, Issue 4, pp. 480–498. Reprinted in: Harry Halpin and Alexandre Monnin (Eds) Philosophical Engineering: Toward a Philosophy of the Web. Wiley-Blackwell, 2014, pp. 149-167.
    Search in Google Scholar
  43. Stefaneas, Petros and Vandoulakis, Ioannis. 2014. Proofs as spatio-temporal processes”, Pierre Edouard Bour, Gerhard Heinzmann, Wilfrid Hodges and Peter Schroeder-Heister (Eds) “Selected Contributed Papers from the 14th International Congress of Logic, Methodology and Philosophy of Science”, Philosophia Scientiæ, 18(3), pp. 111-125.
    Search in Google Scholar
  44. Stefaneas Petros, Vandoulakis Ioannis, Martínez Maricarmen and Foundalis Harry. 2012. “Web-Based Mathematical Problem-Solving with Codelets”, Computational Creativity, Concept Invention, and General Intelligence Tarek R. Besold, Kai-Uwe Kuehnberger, Marco Schorlemmer, Alan Smaill (Eds.), pp. 38–41.
    Search in Google Scholar
  45. Stefaneas Petros, Vandoulakis Ioannis, Martínez Maricarmen and Foundalis Harry. 2015. “Collective Discovery Events: Web-based Mathematical Problem-solving with Codelets”. In: Tarek R. Besold, Marco Schorlemmer, Alan Smaill (Eds) Computational Creativity Research: Towards Creative Machines. Atlantis Thinking Machines (Book 7) Atlantis/Springer, pp. 371-392.
    Search in Google Scholar
  46. Tieszen, R. L. 1989. Mathematical Intuition: Phenomenology and Mathematical Knowledge, Dordrecht: Kluwer.10.1007/978-94-009-2293-8
    Search in Google Scholar
  47. Tieszen, R. L. 1992. “What is a Proof?” In: Detlefsen, M. (ed.) Proof, Logic and Formalization, London: Routledge. pp. 57–76.
    Search in Google Scholar
  48. Tieszen, R. L. 2000. “Intuitionism, Meaning Theory and Cognition”, History and Philosophy of Logic21, pp. 179–194.
    Search in Google Scholar
  49. Tieszen, R. L. 2005. Phenomenology, Logic, and the Philosophy of Mathematics. Cambridge: Cambridge University Press.10.1017/CBO9780511498589
    Search in Google Scholar
  50. Vandoulakis, Ioannis. 1998. “Was Euclid’s Approach to Arithmetic Axiomatic?” Oriens–Occidens Cahiers du Centre d’histoire des Sciences et des philosophies arabes et Médiévales, 2 (1998), pp. 141-181.
    Search in Google Scholar
  51. Vandoulakis, Ioannis. 2009. “Styles of Greek arithmetic reasoning,” 数学史の研究 Study of the History of Mathematics RIMS 研究集会報告集 Kôkyûroku No 1625, pp. 12-22.
    Search in Google Scholar
  52. Vandoulakis, Ioannis. 2010. “A Genetic Interpretation of Neo-Pythagorean Arithmetic,” Oriens–Occidens Cahiers du Centre d’histoire des Sciences et des philosophies arabes et Médiévales, 7 (2010), pp. 113-154.
    Search in Google Scholar
  53. Vandoulakis, Ioannis. 2015. “On A.A. Markov’s attitude towards Brouwer’s intuitionism”, Pierre Edouard Bour, Gerhard Heinzmann, Wilfrid Hodges and Peter Schroeder-Heister (Eds) “Proceedings of the 14th Congress of Logic, Methodology and Philosophy of Science”, Philosophia Scientiæ, 19(1), pp. 143-158.
    Search in Google Scholar
  54. Vandoulakis, Ioannis & Stefaneas, Petros. 2013a. “Conceptions of proof in mathematics”, В.А. Бажанов А.Н. Кричевец, В.А. Шапошников (ред.) Доказательство. Очевидность, достоверность и убедительность в математике. [Proof. Evidence, reliability and convincingness]. Труды Московского семинара по философии математики, pp. 256-281.
    Search in Google Scholar
  55. Vandoulakis, Ioannis & Stefaneas, Petros. 2013b. “Proof-events in History of Mathematics”, Gaņita Bhāratī, 35 (1-4), 2013, 257-295.
    Search in Google Scholar
  56. Vandoulakis, Ioannis & Stefaneas, Petros. 2014. “On the semantics of proof-events”, Труды XII Международных Колмогоровских Чтений (Proceedings of the 12th International Kolmogorov Conference), 20-23 May 2014, Yaroslavl’, Russia, pp. 137-144.
    Search in Google Scholar
  57. Winker, Steven K. 1990. “Robbins Algebra: Conditions That Make a Near-Boolean Algebra Boolean”, Journal of Automated Reasoning6(4), pp. 465-489.
    Search in Google Scholar
  58. Winker, Steven K. 1992. “Absorption and idempotency criteria for a problem in near-Boolean algebras”, Journal of Algebra153 (2), pp. 414-423.
    Search in Google Scholar
DOI: https://doi.org/10.1515/jagi-2015-0007 | Journal eISSN: 1946-0163
Journal RSS Feed
Language: English
Page range: 130 - 149
Submitted on: May 18, 2015
Accepted on: Nov 19, 2015
Published on: Dec 30, 2015
Published by: Artificial General Intelligence Society
In partnership with: Paradigm Publishing Services
Publication frequency: 2 times per year
Keywords:
mathematical proof,
proof-event,
problem solving,
agents,
calculus of events,
Kolmogorov’s calculus of problems,
Polymath project,
T. Gowers,
J. Goguen,
R. Kowalski,
A.N. Kolmogorov
Related subjects:
Computer sciences,
Artificial intelligence

© 2015 Petros Stefaneas, Ioannis M. Vandoulakis, published by Artificial General Intelligence Society
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.

Previous articleVolume 6 (2015): Issue 1 (December 2015)