Why is it worth spending time on type theory? (2013)(math.stackexchange.com)70 points by mindcrime 1 year ago | 34 comments
Peano arithmetic is enough, because Peano arithmetic encodes computation(math.stackexchange.com)227 points by btilly 1 year ago | 116 comments
Indian native rediscovers Department of Defense 1963 Algorithm(math.stackexchange.com)4 points by muragekibicho 1 year ago | 1 comments
Why is the volume of a cone one third of the volume of a cylinder? (2010)(math.stackexchange.com)206 points by eigenvalue 3 years ago | 109 comments
Is infinity an odd or even number? (2011)(math.stackexchange.com)192 points by layer8 3 years ago | 333 comments
Why don't we define “imaginary” numbers for every “impossibility”? (2012)(math.stackexchange.com)98 points by curling_grad 3 years ago | 74 comments
