finitism

名词 n.

英文释义

名词 n.
  1. An extreme form of constructivism, according to which a mathematical object does not exist unless it can be constructed from natural numbers in a finite number of steps. uncountable
    — As a result, some logical principles no longer apply, including Aristotle’s theorem of the excluded middle, according to which a mathematical statement is always either true or false. In finitism, a statement can be indeterminate at a certain point in time if the value of a number has not yet been determined. For example, with statements that revolve around numbers such as 0.999..., if you carry out the full period and consider an infinite number of 9’s, the answer becomes 1. But if there is no infinity, this statement is simply wrong.

词源

From finite + -ism.
0 次浏览 数据来源: Wiktionary