Comment on Translating mathematics into codeparentComments−dvanduzer14yMathematicians just tend to talk about this as "constructible" instead of "computable" though. My favorite illustration of this is here: http://www.scottaaronson.com/blog/?p=103−bane14yInteresting distinction that rings really quite true.Interesting but recent thread on it http://news.ycombinator.com/item?id=3227620
Comments
Mathematicians just tend to talk about this as "constructible" instead of "computable" though. My favorite illustration of this is here: http://www.scottaaronson.com/blog/?p=103
Interesting distinction that rings really quite true.
Interesting but recent thread on it http://news.ycombinator.com/item?id=3227620