Archive
Sequences
About
Search
Log In
Questions
Events
Shortform
Alignment Forum
AF Comments
Home
Featured
All
Tags
Recent
Comments
Cyan comments on
Robust Cooperation in the Prisoner’s Dilemma
Cyan
9 Jun 2013 1:23 UTC
5
points
More concretely, “PA is consistent” can be as expressed “PA does not prove 1 = 2″.
Back to top
More concretely, “PA is consistent” can be as expressed “PA does not prove 1 = 2″.