by Kevin T McEneaney
Archeologists have proven that math
has been around at least four thousand years,
and perhaps even much longer than that.
*
The Greeks invented the project of proof
back in the fifth century BC,
knew the square root of two was impossible,
π as irrational, transcendental.
Curved geometry creates challenges.
*
Gödel proved that there are maths beyond proof,
which is a blow to all of the sciences,
yet we can’t prove Gödel’s theorem as true.
The human brain is not a machine.
*
We are now told that AI machines are smarter,
yet some of us are smarter than machines….