"finitist" meaning in English

{
  "etymology_templates": [
    {
      "args": {
        "1": "en",
        "2": "finite",
        "3": "ist"
      },
      "expansion": "finite + -ist",
      "name": "suffix"
    }
  ],
  "etymology_text": "From finite + -ist.",
  "forms": [
    {
      "form": "finitists",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "finitist (plural finitists)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "senses": [
    {
      "categories": [
        {
          "_dis": "47 53",
          "kind": "other",
          "name": "English entries with incorrect language header",
          "parents": [
            "Entries with incorrect language header",
            "Entry maintenance"
          ],
          "source": "w+disamb"
        },
        {
          "_dis": "48 52",
          "kind": "other",
          "name": "English terms suffixed with -ist",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "47 53",
          "kind": "other",
          "name": "Pages with 1 entry",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "48 52",
          "kind": "other",
          "name": "Pages with entries",
          "parents": [],
          "source": "w+disamb"
        }
      ],
      "glosses": [
        "A proponent of finitism."
      ],
      "id": "en-finitist-en-noun-Izqh796K",
      "links": [
        [
          "proponent",
          "proponent"
        ],
        [
          "finitism",
          "finitism"
        ]
      ]
    }
  ],
  "word": "finitist"
}

{
  "etymology_templates": [
    {
      "args": {
        "1": "en",
        "2": "finite",
        "3": "ist"
      },
      "expansion": "finite + -ist",
      "name": "suffix"
    }
  ],
  "etymology_text": "From finite + -ist.",
  "forms": [
    {
      "form": "more finitist",
      "tags": [
        "comparative"
      ]
    },
    {
      "form": "most finitist",
      "tags": [
        "superlative"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "finitist (comparative more finitist, superlative most finitist)",
      "name": "en-adj"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "adj",
  "senses": [
    {
      "categories": [
        {
          "_dis": "47 53",
          "kind": "other",
          "name": "English entries with incorrect language header",
          "parents": [
            "Entries with incorrect language header",
            "Entry maintenance"
          ],
          "source": "w+disamb"
        },
        {
          "_dis": "48 52",
          "kind": "other",
          "name": "English terms suffixed with -ist",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "47 53",
          "kind": "other",
          "name": "Pages with 1 entry",
          "parents": [],
          "source": "w+disamb"
        },
        {
          "_dis": "48 52",
          "kind": "other",
          "name": "Pages with entries",
          "parents": [],
          "source": "w+disamb"
        }
      ],
      "examples": [
        {
          "text": "Primitive recursive arithmetic, or PRA, is a quantifier-free formalization of the natural numbers. It was first proposed by Skolem as a formalization of his finitist conception of the foundations of arithmetic, and it is widely agreed that all reasoning of PRA is finitist. Many also believe that all of finitism is captured by PRA, but others believe finitism can be extended to forms of recursion beyond primitive recursion, up to ε₀, which is the proof-theoretic ordinal of Peano arithmetic. PRA's proof theoretic ordinal is ω^ω, where ω is the smallest transfinite ordinal. PRA is sometimes called Skolem arithmetic.ᵂᴾ"
        }
      ],
      "glosses": [
        "Of or relating to finitism."
      ],
      "id": "en-finitist-en-adj-~~oNDzof",
      "links": [
        [
          "finitism",
          "finitism"
        ]
      ]
    }
  ],
  "word": "finitist"
}

{
  "categories": [
    "English adjectives",
    "English countable nouns",
    "English entries with incorrect language header",
    "English lemmas",
    "English nouns",
    "English terms suffixed with -ist",
    "Pages with 1 entry",
    "Pages with entries"
  ],
  "etymology_templates": [
    {
      "args": {
        "1": "en",
        "2": "finite",
        "3": "ist"
      },
      "expansion": "finite + -ist",
      "name": "suffix"
    }
  ],
  "etymology_text": "From finite + -ist.",
  "forms": [
    {
      "form": "finitists",
      "tags": [
        "plural"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "finitist (plural finitists)",
      "name": "en-noun"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "noun",
  "senses": [
    {
      "glosses": [
        "A proponent of finitism."
      ],
      "links": [
        [
          "proponent",
          "proponent"
        ],
        [
          "finitism",
          "finitism"
        ]
      ]
    }
  ],
  "word": "finitist"
}

{
  "categories": [
    "English adjectives",
    "English countable nouns",
    "English entries with incorrect language header",
    "English lemmas",
    "English nouns",
    "English terms suffixed with -ist",
    "Pages with 1 entry",
    "Pages with entries"
  ],
  "etymology_templates": [
    {
      "args": {
        "1": "en",
        "2": "finite",
        "3": "ist"
      },
      "expansion": "finite + -ist",
      "name": "suffix"
    }
  ],
  "etymology_text": "From finite + -ist.",
  "forms": [
    {
      "form": "more finitist",
      "tags": [
        "comparative"
      ]
    },
    {
      "form": "most finitist",
      "tags": [
        "superlative"
      ]
    }
  ],
  "head_templates": [
    {
      "args": {},
      "expansion": "finitist (comparative more finitist, superlative most finitist)",
      "name": "en-adj"
    }
  ],
  "lang": "English",
  "lang_code": "en",
  "pos": "adj",
  "senses": [
    {
      "examples": [
        {
          "text": "Primitive recursive arithmetic, or PRA, is a quantifier-free formalization of the natural numbers. It was first proposed by Skolem as a formalization of his finitist conception of the foundations of arithmetic, and it is widely agreed that all reasoning of PRA is finitist. Many also believe that all of finitism is captured by PRA, but others believe finitism can be extended to forms of recursion beyond primitive recursion, up to ε₀, which is the proof-theoretic ordinal of Peano arithmetic. PRA's proof theoretic ordinal is ω^ω, where ω is the smallest transfinite ordinal. PRA is sometimes called Skolem arithmetic.ᵂᴾ"
        }
      ],
      "glosses": [
        "Of or relating to finitism."
      ],
      "links": [
        [
          "finitism",
          "finitism"
        ]
      ]
    }
  ],
  "word": "finitist"
}