On Saturday, July 6, 2019 at 8:48:42 AM UTC-5, John Clark wrote: > > ... the "Löbian machine" idea can not help anyone understand anything. > >> >> "Löbian machines" (or "theorem provers") are a key technology at MIRI [ http://intelligence.org ]:
http://intelligence.org/files/lob-notes-IAFF.pdf https://intelligence.org/files/TilingAgentsDraft.pdf ... I believe in technology, not theology. :) @philipthrift -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/everything-list/0cc4c471-5ce6-4e5e-808c-31d24e076f27%40googlegroups.com.
