orthonormal comments on Formulas of arithmetic that behave like decision agents

orthonormal 16 Mar 2012 3:24 UTC
3 points
Did it work out?
- Nisan 16 Mar 2012 3:40 UTC
  4 points
  Parent
  I still intend to write up an answer to that question.
  - orthonormal 16 Mar 2012 3:41 UTC
    0 points
    Parent
    Great!
    - Nisan 6 Apr 2012 3:29 UTC
      7 points
      Parent
      I finally did it, and I believe it works.