Vanilla 1.1.9 is a product of Lussumo. More Information: Documentation, Community Support.
Posted By: AngusAnyway it points toward a resolution of the old argument about mathematics being invented or discovered.
Posted By: pcstruPosted By: AngusAnyway it points toward a resolution of the old argument about mathematics being invented or discovered.
Can it be both? We 'invent' the axioms, everything that follows is discovered as a consequence of those irreducible truths.
Posted By: AngusAnd consistency is just about the definition of mathematics.
Posted By: pcstruwithin the idea of mathematics that you invented.
Posted By: AngusPosted By: pcstruwithin the idea of mathematics that you invented.
But that's the rub. ALL mathematics has to be consistent.
Posted By: pcstruYes, that is theidea.