gRR comments on Open Thread, May 16-31, 2012 - Less Wrong

4 Post author: OpenThreadGuy 16 May 2012 07:36AM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Article Navigation

Comments (121)
Tags: open thread open_thread

Comments (121)

You are viewing a single comment's thread. Show more comments above.

Comment author: gRR 16 May 2012 10:46:51PM *  0 points [-]

2) Can we write a version of this program that would reject at least some spurious proofs?

It's trivial to do at least some:

def A(P): if P is a valid proof that A(P)==a implies U()==u, and A(P)!=a implies U()<=u and P does not contain a proof step "A(P)=x" or "A(P)!=x" for any x: return a else: do whatever
Comment author: cousin_it 17 May 2012 12:29:32AM *  0 points [-]

Sure, but that's too trivial for my taste :-( You understand the intent of the question, right? It doesn't call for "an answer", it calls for ideas that might lead toward "the answer".

Comment author: gRR 17 May 2012 01:09:18AM 1 point [-]

To tell the truth, I just wanted to write something, to generate some activity. The original post seems important and useful, in that it states several well-defined and interesting problems. Seeing it staying alone in a relative obscurity of an Open Thread even for a day was a little disheartening :)

Powered by Reddit Powered by Reddit