nyan_sandwich comments on Second-Order Logic: The Controversy - Less Wrong

24 Post author: Eliezer_Yudkowsky 04 January 2013 07:51PM

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

Article Navigation

Comments (188)
Tags: seq_epistemology meaning numbers logic proofs math

Comments (188)

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

Comment author: [deleted] 05 January 2013 06:31:45AM 5 points [-]

I confess that I lost track of the reasoning about which-order-logic-can-do-what-and-why somewhere in the last post or so.

Me too.

I'm also not clear how and why it is important in understanding this "Highly Advanced Epistemology 101 for Beginners".

It's the buildup to the "open problems in FAI". Large parts of the internals of an AI look like systems for reasoning in rigorous ways about math, models, etc.

Comment author: [deleted] 21 October 2013 08:04:22AM 0 points [-]

It's the buildup to the "open problems in FAI". Large parts of the internals of an AI look like systems for reasoning in rigorous ways about math, models, etc.

If that were the reasoning, it'd be nice if he came out and explained why he believes that to be the case. Becuase just about any A(G)I researcher would take issue with that statement...

Comment author: ESRogs 10 January 2013 06:38:50AM 0 points [-]

Maybe we need a handy summary table of the which's, what's, and why's...

Powered by Reddit Powered by Reddit