コンピューターによる定理の自動証明at MATHコンピューターによる定理の自動証明 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト625:１３２人目の素数さん 09/10/16 12:19:06 >>624 Wikipediaにまとめがありました。 http://en.wikipedia.org/wiki/Knights_and_Knaves 日本語なら http://www.kai.ed.jp/math/gakusyuu/2002minami.htm というのが検索で出てきました。 よくあるパズルとか書きましたが、 スマリヤンがオリジナルなのかもしれません。 626:１３２人目の素数さん 09/11/02 13:37:58 てｓｔ 627:１３２人目の素数さん 09/11/03 05:57:33 どうも、「ＥＵＲＭＳ（∋ M_SHIRAISHI氏 ）の理論」のほうが正しいようだな。 例えば、《仮言三段論法の原理》は、従来は、 [(Ｐ⊃Ｑ)＆(Ｑ⊃Ｒ)]⊃(Ｐ⊃Ｒ) で 表わされるもののことと考えられていたのだっただが、これは、どうやら、誤りだった ようだ。 そして、ＥＵＲＭＳの言う［Ｐ(ｘ)⇒/x/Ｑ(ｘ)]＆[Ｑ(ｘ)⇒/x/Ｒ(ｘ)］⇒/p,q,r/［Ｐ(ｘ)⇒/x/Ｒ(ｘ)] 1{Ｑ」 こそが、《仮言三段論法の原理》を 正しく捉(とら)えてたものと考えられる。 ＥＵＲＭＳの主張する「論理＊大＊改革」は、恐らく、世界を席巻することとなろう。 http://www.age.ne.jp/x/eurms/RONRI-J02.html#E-Books 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch