Choice Sequences and the Continuum.

According to L.E.J. Brouwer, there is room for non-definable real numbers within the intuitionistic ontology of mental constructions. That room is allegedly provided by freely proceeding choice sequences, i.e., sequences created by repeated free choices of elements by a creating subject in a potenti...

Descripción completa

Detalles Bibliográficos
Publicado en:Erkenntnis Vol. 87; no. 2; pp. 517 - 535
Autor principal: Hansen, Casper Storm
Formato: Artículo
Publicado: Springer Nature Apr2022
Materias:
Acceso en línea:Ver este registro en EBSCOhost
Descripción
Sumario:According to L.E.J. Brouwer, there is room for non-definable real numbers within the intuitionistic ontology of mental constructions. That room is allegedly provided by freely proceeding choice sequences, i.e., sequences created by repeated free choices of elements by a creating subject in a potentially infinite process. Through an analysis of the constitution of choice sequences, this paper argues against Brouwer's claim.