このエピソードを読む
2021年8月2日 20:03
直観主義論理のみでも、上記問題に関する証明を構成することって出来たりしませんかね？（この辺は私も数学専門じゃないので自信ないですが）。というどうでも良いツッコミはおいておき、楽しかったです。
作者からの返信
コメントありがとうございます！ 魔王の問題ですかね？どうなんでしょう、こんな話を書いておいて私自身もあまり詳しくないので分かりませんが、証明できるんじゃないかな……？楽しんでもらえたなら幸いです！
2021年4月15日 19:42
背理法は人狼ゲームでも使います。でも、あのゲームは証明ではなく説得だから。
コメントありがとうございます！この世界での人狼ゲームをやったらどうなるか、気にはなりますねｗ
2021年4月15日 18:37
こんな形のスッキリもあるのですね青空が見えましたありがとうございました
コメントありがとうございます！異世界転生ものとしては一風変わったものになったかもしれません。
直観主義論理のみでも、上記問題に関する証明を構成することって出来たりしませんかね？（この辺は私も数学専門じゃないので自信ないですが）。というどうでも良いツッコミはおいておき、楽しかったです。
作者からの返信
コメントありがとうございます！ 魔王の問題ですかね？
どうなんでしょう、こんな話を書いておいて私自身もあまり詳しくないので分かりませんが、証明できるんじゃないかな……？
楽しんでもらえたなら幸いです！