Full threaddoc4t·Relevant discussion at mathoverflow.net http://mathoverflow.net/questions/106560/philosophy-behind-m...View on HN