Bostick, Devin: Identity Persistence after Brouwer and Hilbert_ Formal Admissibility, Constructive Witness, and Invariant Continuity

The Brouwer-Hilbert dispute is often treated as a conflict between classical and intuitionistic logic. This paper argues that the deeper structural distinction is between formal admissibility and constructive existence. Hilbertian formalism asks whether a symbolic transformation is lawful inside a formal system; Brouwerian intuitionism asks whether the asserted object or proposition has been constructed or witnessed. Modern foundations did not resolve this dispute by choosing one side, but by pr