翻訳と辞書
Words near each other
・ Finite wing
・ Finite-difference frequency-domain method
・ Finite-difference time-domain method
・ Finite-dimensional distribution
・ Finite-dimensional von Neumann algebra
・ Finite-rank operator
・ Finite-state machine
・ Finitely generated
・ Finitely generated abelian group
・ Finitely generated algebra
・ Finitely generated group
・ Finitely generated module
・ Finitely generated object
・ Finitely presented
・ Finiteness theorem
Finitism
・ Finito
・ Finitribe
・ Finity's End
・ Finix Comics
・ Finiș
・ Finiș River
・ Finișel River
・ Finja
・ Finjan
・ Finjan, Inc. v. Secure Computing Corp.
・ Fink
・ Fink (album)
・ Fink (disambiguation)
・ Fink (singer)


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Finitism : ウィキペディア英語版
Finitism
Finitism is a philosophy of mathematics that accepts the existence only of finite mathematical objects. It is best understood in comparison to the mainstream philosophy where infinite mathematical objects (e.g., infinite sets) are accepted as legitimate within the Platonic universe of mathematics.
== Main idea ==
The main idea of finitistic mathematics is not accepting the existence of infinite objects such as infinite sets. While all natural numbers are accepted as existing, the set of all natural numbers is not considered to exist as a mathematical object. Therefore quantification over infinite domains is not considered meaningful. The mathematical theory often associated with finitism is Thoralf Skolem's primitive recursive arithmetic.

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Finitism」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.