I think in the book, Hardy mentions that Mathematics is one big tautology. Intia...

		nthingtohide 11 months ago \| parent \| context \| favorite \| on: “A Course of Pure Mathematics” – G. H. Hardy (1921... I think in the book, Hardy mentions that Mathematics is one big tautology. Intial axioms setup a graph structure of theorems and the task of mathematicians is to find shortcuts in that graph.