The vindication of intuitionism from topos theory rests not merely on open set logic being supported, but on its deep connection to constructive proof and epistemic constraints on mathematical truth.
?Rate how convincing each reason is below to see the overall strength.
No one has weighed in yet. Be the first to share reasons for or against this statement.
Sign in or register to share your perspective on this statement.
intuitionism(Mill's characterisation of a target he rejected; linked to conservative deference to inherited belief)
The view that anything a person believes deeply enough must be true, such that conviction itself is taken as justification.
open set logic(Topology and dynamical systems)
The logic of dynamically possible paths when propositions are taken to hold on open sets of spacetime points; equivalent to intuitionist logic, which supports incomplete theories