コンピューターによる定理の自動証明
at MATH
[
2ch
|
▼Menu
]
■コピペモード
□
スレを通常表示
□
オプションモード
□このｽﾚｯﾄﾞの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
次ページ
最新レス表示
スレッドの検索
類似スレ一覧
話題のニュース
おまかせリスト
▼オプションを表示
レスジャンプ
mixiチェック！
Twitterに投稿
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch
5385日前に更新/151 KB
担当:undef