ウィトゲンシュタイン 3

889 ：考える名無しさん：2023/11/25(土) 00:48:28.71 ID:0.net

あと、Coqのような定理証明言語だとラッセルのクラス理論、型理論の概念や
数理論理学の知見も参照されているだろう。このように現代的なプログラム
理論にもラッセルは影響を与えているだろう。