(July 3, 2019 at 2:52 am)A Toy Windmill Wrote:(July 2, 2019 at 11:29 pm)Jehanne Wrote: Then "intuitionistic mathematics" is not finitism.I wrote:
Quote:It's not clear to me what anxieties are soothed by finitism that are not adequately soothed by intuitionism, which agrees that mathematical constructions are finiteI am not saying that intuitionistic mathematics is finitism (no need for quotes: these are the proper terms). Finitism does not permit universal quantification over infinite domains in anything other than
a schematic form. Intuitionistic mathematics does. Both, however, assume that mathematical constructions are finite, and I'm not sure what anxiety finitism alleviates that intuitionism does not.
What mathematical constructions are infinite?