The discussion about the existence of sqrt(2) made me wonder: is there any object in mathematics that we know exists, but have no way of calculating it? I.e.: no algorithm has been found, even given a Very Powerful Computer.<p>I miss mathematics.
This is a duplicate post (sort of--the YC item below is a preamble to the link above):<p><a href="http://news.ycombinator.com/item?id=121956" rel="nofollow">http://news.ycombinator.com/item?id=121956</a>