eduardo dammroze

Operational vs Semantic Equality: A Machine-Checked Separation of Completion and Finite Attainment in the Gregory-Leibniz Construction of Pi

This work develops a finite-attainment framework for distinguishing mathematical completion from finite operational realization. The foundational significance is that completion is treated as an extension of the mathematical domain rather than as a hidden terminal event of the fi...