Ngôn ngữ
Không có dữ liệu
Thông báo
Không có thông báo mới
直観主義(ちょっかんしゅぎ、英: intuitionism)。なお、直感主義と書くのは誤り。 直覚説。直覚主義。認識は経験や推論ではなく直観によるという考え。 数学の哲学としての直観主義。排中律を使わないで数学を構築すべきだという考え。 倫理的直観主義。道徳的判断は直観によるという考え。
とは,シグナリングゲームにおける均衡の精緻化の手法のひとつである. 経済学においてシグナリングゲームは,私的情報をもっているプレーヤーがさきに行動するゲームである.私的情報は,ふつう,このプレーヤーの隠された観測できないタイプについてのものである.シグナリングゲームは典型的には多くの完全ベイズ均衡をもつ.均衡の精緻化
間に人を入れないで, 直接, 本人が行うさま。 じか。
〔「なお(直)」を重ねて意味を強めた語〕
直観主義論理(ちょっかんしゅぎろんり、英: intuitionistic logic)または直観論理(ちょっかんろんり)、あるいは構成的論理(こうせいてきろんり、英: constructive logic)とは、ある種の論理体系であり、伝統的な真理値の概念が構成的証明の概念に置き換わっている点で古典論理
(1)目に映った印象。 物事の様子・状態。
〔「あたい(価)」と同源〕
直観主義型理論は3つの有限型を持つ。その有限型は5つの異なる型構築子(type constructor)を組み合わせたものである。集合論とは異なり、型理論は第一階述語論理のような論理学をベースに構築されてはいない。だから、それぞれの型理論の特徴は、数学と論理学両方の特徴としての役割を果たす。