Skip to main content
Have a personal or library account? Click to login
On Mathematical Proving Cover

On Mathematical Proving

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

References

  1. Aczel, Amir D. 1997.. Delta (first published 1996).
    Search in Google Scholar
  2. Bashmakova, Izabella and Smirnova Galina. 2000.. 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,”, vol. 50, no. 4 (Spring 2012), pp. 52–72.
    Search in Google Scholar
  4. Davidson, Donald. 1967b, “Causal Relations”,,, pp. 691–703; reprinted in: Casati, R., and Varzi, A.C. (eds.),, Dartmouth, Aldershot, 1996, pp. 401–13, and in” Davidson, D.,, Oxford: Clarendon Press, 1980, pp. 149–62.
    Search in Google Scholar
  5. Demidov, Sergei S. (Демидов С. С.). 1966. «К истории проблем Гильберта» [On the history of Hilbert’s problems],,, pp. 91-122 (in Russian).
    Search in Google Scholar
  6. Demidov, Sergei S. (Демидов С. С.). 2001. ««Математические проблемы» Гильберта и математика XX века» [“Hilbert’s mathematical problems” and mathematics of the 20century],,(6), pp. 84-99 (in Russian).
    Search in Google Scholar
  7. Fauconnier, Gilles and Mark Turner. 2008.. 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.),. Springer, pp. 242-291.
    Search in Google Scholar
  9. Goguen, Joseph A. 1999b. “Social and Semiotic Analyses for Theorem Prover User Interface Design”,, pp. 272–301. (Special Issue on User Interfaces for Theorem Provers.)
    Open DOISearch in Google Scholar
  10. Goguen, Joseph A. 2001. “What is a proof”,
    Search in Google Scholar
  11. Goguen, Joseph A. 2003. “Semiotic morphisms, representations, and blending for interface design”.. 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),, AAAI Press, pp. 49-56.
    Search in Google Scholar
  13. Goguen, Joseph A. and Harell, D. Fox. 2004b. “Information Visualization and Semiotic Morphisms,” in, 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),. Springer, pp. 291-316.
    Search in Google Scholar
  15. Hales, Alfred, and Robert Jewett. 1963. “Regularity and Positional Games.”, pp. 222–29.
    Search in Google Scholar
  16. Henkin, L. Monk, J.D. and Tarski, A. 1971., 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)2ed, Cambridge: Cambridge University Press, 1983, pp. 52–61.
    Search in Google Scholar
  18. Heyting, A. 1955.Paris : Gauthier-Villars. Title of the original:. Springer-Verlag, Berlin, 1934.
    Search in Google Scholar
  19. Heyting, A. 1956., Amsterdam: North-Holland Publishing, 3revised edition, 1971.
    Search in Google Scholar
  20. Heyting, A. 1958. “Intuitionism in mathematics”, in: R. Klibansky (ed.),(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”,, pp. 274-304.
    Search in Google Scholar
  22. Huntington, E.V. 1933b. “Boolean algebra: A correction”,, pp. 557-558.
    Search in Google Scholar
  23. Kauffman, Louis H. 1990. “Robbins Algebra”.. IEE Computer Society Press, pp. 54-60.
    Search in Google Scholar
  24. Kauffman, Louis H. 2001. “The Robbins Problem: computer proofs and human proofs”, Bernard Scott and Ranulph Glanville (eds),(5/6), pp.726-752.
    Search in Google Scholar
  25. Kleene, Stephen Cole. 1945. “On the interpretation of intuitionistic number theory”,, 10, 109-124.
    Search in Google Scholar
  26. Klein, Jacob. 1968.. Translated by Eva Brann from the German original. Reprinted by Dover, 1992.
    Search in Google Scholar
  27. Kleiner Israel. 2000. “From Fermat to Wiles: Fermat’s Last Theorem Becomes a Theorem”., pp. 19-37.
    Search in Google Scholar
  28. Kolmogorov, Andrei N. 1932. „Zur Deutung der intuitionistischen Logik“,, pp. 58–65. English translation in V.M. Tikhomirov (ed.). Vol. I:, 151-158. Kluwer, Dordrecht, 1991.
    Search in Google Scholar
  29. Kolmogorov, Andrei N. 1988. “Letters of A. N. Kolmogorov to A. Heyting”,(),(6), pp. 75-77; English translation,,(6), pp. 89-93.
    Search in Google Scholar
  30. Kowalski, Robert. 1992. “Database updates in the event calculus”,,, 121-146.
    Search in Google Scholar
  31. Kowalski, Robert and Sergot Marek. 1986 “A Logic-Based Calculus of Events”,, pp. 67–95.
    Open DOISearch in Google Scholar
  32. McCune, William. 1997. “Solution of the Robbins Problem”,(3), pp. 263-76.
    Search in Google Scholar
  33. Mac Lane, Saunders. 1997. “Despite Physicists, Proof is Essential in Mathematics”,, pp. 147–154.
    Search in Google Scholar
  34. Martin-Löf, Per. 1984.. (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”,,, 227-230.
    Search in Google Scholar
  36. Polymath. 2009.. At, arXiv:0910.3926v2 [math.CO], accessed April 2, 2012.
    Search in Google Scholar
  37. Polymath. 2010a.. At, arXiv:1009.3956v3 [math.NT], accessed April 2, 2012.
    Search in Google Scholar
  38. Polymath. 2010b.. At, arXiv:1002.0374v2 [math.CO], accessed April 2, 2012.
    Search in Google Scholar
  39. Rudin, Walter. 1953.New York: McGraw-Hill.
    Search in Google Scholar
  40. Miller, Rob and Shanahan Murray. 1999. “The event-calculus in classical logic — alternative axiomatizations”,(1), pp. 77-105.
    Search in Google Scholar
  41. Singh, Simon. 1998.. New York: Anchor Books.
    Search in Google Scholar
  42. Stefaneas, Petros and Vandoulakis, Ioannis. 2012. “The Web as a Tool for Proving”. 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). 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 14International Congress of Logic, Methodology and Philosophy of Science”,,(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”,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). Atlantis Thinking Machines (Book 7) Atlantis/Springer, pp. 371-392.
    Search in Google Scholar
  46. Tieszen, R. L. 1989., Dordrecht: Kluwer.
    Open DOISearch in Google Scholar
  47. Tieszen, R. L. 1992. “What is a Proof?” In: Detlefsen, M. (ed.), London: Routledge. pp. 57–76.
    Search in Google Scholar
  48. Tieszen, R. L. 2000. “Intuitionism, Meaning Theory and Cognition”,, pp. 179–194.
    Search in Google Scholar
  49. Tieszen, R. L. 2005.. Cambridge: Cambridge University Press.
    Open DOISearch in Google Scholar
  50. Vandoulakis, Ioannis. 1998. “Was Euclid’s Approach to Arithmetic Axiomatic?”Cahiers du Centre d’histoire des Sciences et des philosophies arabes et Médiévales,(1998), pp. 141-181.
    Search in Google Scholar
  51. Vandoulakis, Ioannis. 2009. “Styles of Greek arithmetic reasoning,” 数学史の研究 Study of the History of Mathematics RIMS 研究集会報告集No 1625, pp. 12-22.
    Search in Google Scholar
  52. Vandoulakis, Ioannis. 2010. “A Genetic Interpretation of Neo-Pythagorean Arithmetic,”Cahiers du Centre d’histoire des Sciences et des philosophies arabes et Médiévales,(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 14Congress of Logic, Methodology and Philosophy of Science”,,(1), pp. 143-158.
    Search in Google Scholar
  54. Vandoulakis, Ioannis & Stefaneas, Petros. 2013a. “Conceptions of proof in mathematics”, В.А. Бажанов А.Н. Кричевец, В.А. Шапошников (ред.)Труды Московского семинара по философии математики, pp. 256-281.
    Search in Google Scholar
  55. Vandoulakis, Ioannis & Stefaneas, Petros. 2013b. “Proof-events in History of Mathematics”,,(1-4), 2013, 257-295.
    Search in Google Scholar
  56. Vandoulakis, Ioannis & Stefaneas, Petros. 2014. “On the semantics of proof-events”,(), 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”,(4), pp. 465-489.
    Search in Google Scholar
  58. Winker, Steven K. 1992. “Absorption and idempotency criteria for a problem in near-Boolean algebras”,(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 issues 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.

Volume 6 (2015): Issue 1 (December 2015)
Previous article