Have a thing? Reasoning around recursion with dynamic typing in grounded arithmetic

Elliot Bobrow, Bryan Ford, and Stefan Milenković arXiv preprint 2510.25369 October 29, 2025 (first version) Abstract: Neither the classical nor intuitionistic logic traditions are perfectly-aligned with the purpose of reasoning about computation, in that neither tradition can permit unconstrained recursive definitions without inconsistency: recursive logical definitions must normally be proven…