{"id":"arxiv/2602.06802","url":"https://arxiv.org/abs/2602.06802","tags":["math.LO"],"score":0,"title":"Feasible constructivism","domain":"math.LO","source":"arxiv","authors":["Paul Gorbow","Øystein Linnebo"],"reviews":0,"subject":"math.LO","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-02-06","reactions":{}}