Archive
Sequences
About
Search
Log In
Questions
Events
Shortform
Alignment Forum
AF Comments
Home
Featured
All
Tags
Recent
Comments
Stuart_Armstrong comments on
Formalising cousin_it’s bounded versions of Gödel’s theorem
Stuart_Armstrong
30 Jun 2012 21:25 UTC
2
points
Cool, thanks for the links!
Back to top
Cool, thanks for the links!