Similar to 直観主義型理論
直観主義 (数学の哲学)
Intuitionism
ZFCから独立な命題の一覧
List of statements independent of ZFC
Ω無矛盾
Ω-consistent theory
0
0
1
1
2
2
3
3
4
4▼-1 trends
5
5
6
6▼-1 trends
7
7
8
8
9
9
12345679
直観論理
スティーヴン・コール・クリーネ
Stephen Cole Kleene
マイケル・ダメット
Michael Dummett
直観主義論理
Intuitionistic logic
二重否定翻訳
Double-negation translation
パースの法則
Peirce's law
アレン・ハイティング
Arend Heyting
ライツェン・エヒベルトゥス・ヤン・ブラウワー
L. E. J. Brouwer
Guarded Horn Clauses
Prolog
Prolog
後者関数
Successor function
順序回路
Sequential logic
線形論理
Linear logic
反ユニフィケーション
Anti-unification