16/06/04 19:36:52.97 CtkyGlEO.net
>>372
直観主義
URLﾘﾝｸ(ja.wikipedia.org)
数学的直観主義
ヒルベルトの形式主義は、直接的にはブラウワーからの批判的主張に対し排中律を守り、数学の無矛盾性を示すためのものと考えることができる[1]。
ブラウワーの主張は、感覚的で分かりにくかったが、その後ハイティング等によって整備され、結果的には古典論理から排中律を除いた形で形式化されたものが今日、直観主義論理として受け入れられている。
現代では直観主義論理は、数学の証明は全て構成的に為されなければならないという主張（数学的構成主義）と関連が深いと考えられている。
直観主義は単なる思想としてだけではなく、数学基礎論や計算機科学に様々な影響を与えている。