Re: 40 Days of Infallible Proofs
Quote:
Originally Posted by Nodrog
Its backwards to say that mathematics is true because it follows from axioms; the axioms (and formal system) were invented after the fact in order to ground results which were largely already known.
|
Perhaps it would be better to say that mathematics is true as a brute fact and that the axioms are merely manifestations of our awareness of mathematics?
That sounds rather platonic doesn't it?
__________________
Some might ask what good is life without purpose but I'm anticipating a good lunch.
|