/sci/ - Science & Math

Incidentally, what really is a proof? Is it just common sense stemmed from the game of words invented by the human mind as a failed attempt to produce an objective definition of reality known as logic? There's no real beginning to a proof since it stems from axioms, i.e., common sense, there are no rules other than to make sure it can't be proved when creating an axiom, therefore no proof has a definitive basis or standing to rely upon, as it is now it's a complete self-deception that mathematicians use in order to keep playing their puzzles. When will a foundation be found that completely addresses this problem? Right now set theory and category theory should be seen as nothing more than failures since both rely on 'magical tricks' to build mathematics, they're as useful as an out of tune piano, no matter how good you are, you'll never be able to produce the right sound.