Finitism

Pronunciation: /ˈfaɪˈnɪtˈɪzəm/

Finitism (noun)

  1. A view in logic or mathematics that accepts only arguments that can be carried out using a limited number of steps.
  2. The belief that statements should be justified without using infinite processes, because they cannot be completed in practice.

Examples

  • Finitism sets finite proof limits for what counts as a valid proof.
  • The approach uses finitism to keep proofs within finite proof limits.