Archive
Sequences
About
Search
Log In
Questions
Events
Shortform
Alignment Forum
AF Comments
Home
Featured
All
Tags
Recent
Comments
Vladimir_Nesov comments on
AI cooperation in practice
Vladimir_Nesov
31 Jul 2010 10:24 UTC
2
points
You don’t need that to be a program for the proof to go through.
Back to top
You don’t need that to be a program for the proof to go through.