Member for 9 years, 11 months
Last seen more than a month ago
I like math and stuff.
My favorite quote is from Fields Medalist, William Thurston: "The standard of correctness and completeness necessary to get a computer program to work at all is a couple of orders of magnitude higher than the mathematical community’s standard of valid proofs. Nonetheless, large computer programs, even when they have been very carefully written and very carefully tested, always seem to have bugs."