# Automatic Proof Generation

Edit: Proof in the context of mathematics (definite yes/no - algorithmic proof process) versus proof in the context of human understanding (agree or disagree - is it convincing)? At the base line, math is math because we say it is math. We made math, it is ours, it is perfect, and yet it only gets us close to understanding the universe, not all the way there. Math is like rational numbers while the universe is like irrational numbers..imagination somewhere in between. $Q ]i[ R-Q$