検索内容:
直観主義は古典数学の証明における排中律の使用に異議を唱える。
学会で、直観主義者たちは数学的真理が発見されるのか創造されるのかについて議論した。
彼女はデータがそれを確認する前に、直感的にそのパターンを理解した。
学部院生たちは論理のゼミに備えて、直観主義論理の諸体系を幅広く学んだ。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★