Less Wrong is a community blog devoted to refining the art of human rationality. Please visit our About page for more information.

Comment author: kokotajlod 05 August 2016 01:07:06PM -1 points [-]

Yes, but I don't think that's relevant. Any use of complexity depends on the language you specify it in. If you object to what I've said here on those grounds, you have to throw out Solomonoff, Kolmogorov, etc.

Comment author: xrchz 05 August 2016 11:20:27PM 2 points [-]

More specifically, it seems that your c must include information about how to interpret the X bits. Right? So it seems slightly wrong to say "R is the largest number that can be specified in X bits of information" as long as c stays fixed. c might grow as the specification scheme changes.

Alternatively, you might just be wrong in thinking that 30 bits are enough to specify 3^^^^3. If c indicates that the number of additional universes is specified by a standard binary-encoded number, 30 bits only gets you about a billion.

Comment author: Sebastian_Hagen 16 September 2014 07:55:20PM *  4 points [-]

I find it particularly important because of the example of automating research, which is probably the task I care most about.

Neither math research nor programming or debugging are being taken over by AI, so far, and none of those require any of the complicated unconscious circuitry for sensory or motor interfacing. The programming application, at least, would also have immediate and major commercial relevance. I think these activities are fairly similar to research in general, which suggests that what one would classically call the "thinking" parts remain hard to implement AI.

Comment author: xrchz 03 October 2014 08:53:56PM 2 points [-]

They're not yet close to being taken over by AI, but there has been research on automating all of the above. Some possibly relevant keywords: automated theorem proving, and program synthesis.

Comment author: Sebastian_Hagen 16 September 2014 07:55:20PM *  4 points [-]

I find it particularly important because of the example of automating research, which is probably the task I care most about.

Neither math research nor programming or debugging are being taken over by AI, so far, and none of those require any of the complicated unconscious circuitry for sensory or motor interfacing. The programming application, at least, would also have immediate and major commercial relevance. I think these activities are fairly similar to research in general, which suggests that what one would classically call the "thinking" parts remain hard to implement AI.

Comment author: xrchz 03 October 2014 08:53:04PM 0 points [-]

They're not yet close to being taken over by AI, but there has been research on automating all of the above. Some possibly relevant keywords: automated theorem proving, and program synthesis.

Comment author: xrchz 25 May 2013 03:40:58PM 3 points [-]

I'd go, presuming no other important commitments on the dates.

Comment author: xrchz 10 July 2012 07:53:26AM 1 point [-]

I know someone who might be interested in doing some translations into Japanese. If you add that language we might have a go.

In response to New Singularity.org
Comment author: xrchz 06 July 2012 02:53:18PM 0 points [-]

Is the site down now? Is there a separate site to monitor its uptime status?

Comment author: xrchz 31 January 2012 03:33:47AM 0 points [-]
  • Humanity's Potential
  • Sense Trust
  • Reach
  • Brightness Released
  • Grow Beyond
  • Coherent Life
Comment author: SlyClaw 30 January 2012 09:14:16AM 1 point [-]

reasonable minds

untypicality*

rationality brigade

reason (insert word for group)

raison d'ĂȘtre

*(yes, I know, it is not technically a word)

Comment author: xrchz 31 January 2012 02:50:08AM 0 points [-]

names don't have to be words already

Comment author: xrchz 31 January 2012 02:04:33AM *  1 point [-]
  • Whatever Works
  • Dreamshine
  • Attainment
  • Veridian
  • Reasound
  • Minds' Arts
  • Melodine
  • Sunshine Army
  • Embrace Sense
Comment author: xrchz 30 January 2012 01:33:47AM 0 points [-]
  • Subliminal Processing
  • Wordless Thought
  • Ratikata
  • LessWrong Dojo
  • Think Academy

View more: Next