lukeprog comments on Formulas of arithmetic that behave like decision agents

[lukeprog]

I’m not mathy enough to understand this post, but...

1. Thanks for going to all this trouble! Hopefully those more mathy than I can check your work and extend it.

2. Nice title.