Feasible constructivism
Dummett's argument for intuitionism is well known. There is a concern that the argument proves too much, specifically, that it supports the extreme and apparently incoherent position of strict finitism. The central question is how to explicate the notion that it is possible in practice to construct an arithmetical term or verify a statement. The strict finitist answer is plagued by the sorites paradox. We propose and develop feasibilism as a more plausible view, where computational feasibility, as captured by the class of polynomial-time problems, yields a robust and expedient explication of…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2602.06802
curl -X POST /api/v1/records/arxiv/2602.06802/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2602.06802/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'