= 27d567bc2d48d9f40e9ccc20ea370b15)
cousin_it comments on Meanings of Mathematical Truths - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
= 783df68a0f980790206b9ea87794c5b6)
Loading…= b715d02e85f7b3b4ae65ca3d3e450868)
Subscribe to RSS Feed
Powered by Reddit
= f037147d6e6c911a85753b9abdedda8d)
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (47)
What do you mean by computable or uncomputable math? In one sense, all math is computable (you can enumerate all valid proofs in a formal system, even if it talks about something mind-bogglingly huge like Grothendieck universes). In another sense, all math is uncomputable (you can't enumerate all true facts about the integers, never mind more complex stuff). Is there some well-defined third way of cashing out the concept?
I don't have an answer for that, since I'm not proposing to make a distinction based on computable vs uncomputable math. But I think Juergen Schmidhuber has defended some version of "only computable math exists" on the everything-list, so you can try searching the archives there.