最近直観主義論理ほんの少し勉強してるけど

[0001 以下、5ちゃんねるからVIPがお送りします 2022/04/22(金) 22:48:45.577 ID:FfUbeRiz0]

ハイティング代数だと真理値が単純な2値じゃないから、ここら辺から集合論のブール代数値モデルとかの発想も出たんだろうか

[0002 以下、5ちゃんねるからVIPがお送りします 2022/04/22(金) 22:49:35.887 ID:P/U1dZQY0]

対偶とかクソだろ！みたいなやつだっけ？

[0003 以下、5ちゃんねるからVIPがお送りします 2022/04/22(金) 22:54:37.853 ID:FfUbeRiz0]

>>2
排中律や対偶や選択公理をカントールに対するクロネッカーのごとく忌み嫌う
でもλ計算とかも直観主義論理ってことを今更知った

[0004 以下、5ちゃんねるからVIPがお送りします 2022/04/22(金) 22:59:13.560 ID:FfUbeRiz0]

もしかしてと思ってググったら出てきたんだけど、集合論のハイティング代数値モデルなんてのも最近あるみたいだな