応援コメント

異世界に行ったら背理法がなかった」への応援コメント

  • 直観主義論理のみでも、上記問題に関する証明を構成することって出来たりしませんかね?(この辺は私も数学専門じゃないので自信ないですが)。というどうでも良いツッコミはおいておき、楽しかったです。

    作者からの返信

    コメントありがとうございます! 魔王の問題ですかね?
    どうなんでしょう、こんな話を書いておいて私自身もあまり詳しくないので分かりませんが、証明できるんじゃないかな……?
    楽しんでもらえたなら幸いです!

    編集済
  • 背理法は人狼ゲームでも使います。
    でも、あのゲームは証明ではなく説得だから。

    作者からの返信

    コメントありがとうございます!
    この世界での人狼ゲームをやったらどうなるか、気にはなりますねw

  • こんな形のスッキリもあるのですね
    青空が見えました
    ありがとうございました

    作者からの返信

    コメントありがとうございます!
    異世界転生ものとしては一風変わったものになったかもしれません。