Vladimir_Nesov comments on Formulas of arithmetic that behave like decision agents

[Vladimir_Nesov]

“Your work is wrong” is an unfair characterization of presence of a minor technical inaccuracy.