Archive
Sequences
About
Search
Log In
Questions
Events
Shortform
Alignment Forum
AF Comments
Home
Featured
All
Tags
Recent
Comments
Eliezer Yudkowsky comments on
Proofs, Implications, and Models
Eliezer Yudkowsky
29 Oct 2012 7:41 UTC
7
points
I plan to talk about this in some posts on second-order logic.
Back to top
I plan to talk about this in some posts on second-order logic.