翻訳と辞書 Words near each other ・ constant mapping ・ constantine/yourdon ・ constraint ・ constraint functional programming ・ constraint handling in prolog ・ constraint logic programming ・ constraint satisfaction ・ constraintlisp ・ constraints ・ constructed type ・ constructive ・ constructive cost model ・ constructive solid geometry ・ constructor ・ consul ・ consultant ・ container class ・ content addressable memory ・ content data model ・ content-based information retrieval Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク constructive ： FOLDOC constructive A proof that something exists is "constructive" if it provides a method for actually constructing it. Cantor's proof that the real numbers are uncountable can be thought of as a *non-constructive* proof that irrational numbers exist. (There are easy constructive proofs, too; but there are existence theorems with no known constructive proof). Obviously, all else being equal, constructive proofs are better than non-constructive proofs. A few mathematicians actually reject *all* non-constructive arguments as invalid; this means, for instance, that the law of the {excluded middle} (either P or not-P must hold, whatever P is) has to go; this makes proof by contradiction invalid. See intuitionistic logic for more information on this. Most mathematicians are perfectly happy with non-constructive proofs; however, the constructive approach is popular in theoretical computer science, both because computer scientists are less given to abstraction than mathema スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.