Nisan comments on Formulas of arithmetic that behave like decision agents

Nisan 16 Mar 2012 3:40 UTC
4 points
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.