transhumanity.net

the future of humanity now

Tag

turing

Got Risk? Debating Eliezer Yudkowsky About “AIs that prove changes correct”

Rice’s Theorem (in a nutshell): Unless everything is specified, anything non-trivial (not directly provable from the partial specification you have) can’t be proved AI Implications (in a nutshell): You can have either unbounded learning (Turing-completeness) or provability – but never… Continue Reading →

© 2019 transhumanity.net

by The Foundation