Some algorithmic aspects of AGI 2016-07-28T16:33:43.000Z

Analysis of Algorithms and Partial Algorithms 2016-02-04T00:15:55.000Z

Comment by IAFF-User-131 (Imported-IAFF-User-131) on Analysis of Algorithms and Partial Algorithms · 2016-04-17T15:43:53.000Z · LW · GW

I just read Jim Babcock's post https://agentfoundations.org/item?id=374 and realized how similar math oracles are to 0' algorithms and strengths are to scores.

Comment by IAFF-User-131 (Imported-IAFF-User-131) on An Idea For Corrigible, Recursively Improving Math Oracles · 2016-04-17T15:40:50.000Z · LW · GW

Ah, this is essentially the same as some ideas in https://agentfoundations.org/item?id=622

Comment by IAFF-User-131 (Imported-IAFF-User-131) on Analysis of Algorithms and Partial Algorithms · 2016-02-25T00:15:09.000Z · LW · GW

Thanks for that info! Uniform distributions are, however, generally used in analysis of algorithms, which is a different field from complexity theory.