[anonymous]5y1

I've finally gotten to reading a bunch of MIRI papers. I don't pretend to understand as they are meant to be understood. Can it be predicted whether a maths problem is solved, solvable, unsolved or unsolvable? I feel really...dismayed and discouraged reading through MIRI's work. I feel as though they are trying to solve questions that cannot be solved. Though, many famous maths problem go from unsolved to solved, and I struggled with high school maths so I certainly would prefer to defer to some impressive reasoning from you, my peers at LessWrong before I abandon my support for MIRI.

Can it be predicted whether a maths problem is solved, solvable, unsolved or unsolvable?

Eh, not really. Rice's theorem.

6IlyaShpitser5yYou should worry more about whether MIRI's way of doing problems is a good way of solving hard problems, not how hard the problems are. Problem difficulty is a constant you cannot affect, social structure is a variable.

Open thread, Oct. 19 - Oct. 25, 2015

by MrMind 1 min read19th Oct 2015198 comments

3


If it's worth saying, but not worth its own post (even in Discussion), then it goes here.


Notes for future OT posters:

1. Please add the 'open_thread' tag.

2. Check if there is an active Open Thread before posting a new one. (Immediately before; refresh the list-of-threads page before posting.)

3. Open Threads should be posted in Discussion, and not Main.

4. Open Threads should start on Monday, and end on Sunday.