Guest
Free choice sequences myetex Nov 16, 2018 Saul A. Kripke, “Free choice sequences: A temporal interpretation compatible with acceptance of classical mathematics” . Brouwer: 50 years later, Amsterdam, 2016 This paper presents a way of supplementing classical mathematics with a motivation for a Brouwerian theory of free choice sequences. The idea is that time is unending, so that one can never come to an end of time, but also indeterminate, so that in a branching time model only one branch represents the ‘actual’ one. This can be random or subject to various restrictions imposed by the creating subject. The fact that the underlying mathematics is classical makes such perhaps delicate issues as the fan theorem no longer problematic. On this model, only intuitionistic logic applies to the Brouwerian free choice sequences, not because of any skepticism about classical mathematics, but because there is no ‘end of time’ when everything about them can be decided. Original from here:
