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

Download Article

Download the full article as a PDF file.

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)