Teaching the computer how to discover(!) and then prove(!!) (all by itself(!!!)) analogues of Collatz's notorious 3x + 1 conjecture.

Authors :: Zeilberger, Doron
Source :: Journal of Difference Equations & Applications; Mar2011, Vol. 17 Issue 3, p375-386, 12p
Publication Year :: 2011
Abstract: The article presents a case study on mathematics in which theorems are conjectured and proofs are verified. It is stated that the axiomatic method explains how mathematics should be done and uses computers' time inefficiently. It is mentioned that it was found in the study that computer did all the phases of mathematical research all by itself.

Subjects :: MATHEMATICAL models
MATHEMATICAL optimization
MATHEMATICAL analysis
OPERATIONS research
SIMULATION methods & models
CASE studies

Full Text Access

Tools