[過去ﾛｸﾞ] ○●囲碁 雑談・雑学・質問スレッド 第29局○● (1001ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
991(3): 2011/06/23(木)08:02 ID:ZVOMq+tP(1) AAS
>>989
>存在する条項がないと仮定して
数学の場合は、ごく少数の「公理」を認めて、そこからすべての「定理」が
証明によって導き出される。 公理の数は可能な限り最小限に留めている。
それが「美しい」とされるゆえん。
囲碁の場合、大原則である「公理」と言えるものは
１： 打ち上げのルール
２： 同形反復禁止ルール（スーパーコウルール）
３： 勝敗の決定ルール（日本は「地」 中国は「石」の数）
（他に、交互に打つとか、碁盤の交点に打つ、などもあるがルールの言うほどのものではない）
中国ルール＋スーパーコウルールなら、「隅の曲がり４目」も「両コウに仮生ひとつ」も
この３つのルールだけで簡単に「死に」が導き出される（証明される）のだが、
日本ルール（旧来の）だと、どちらも「死に」が証明できない。
そこで「死活確認においては、・・コウは取り返せない」という
もう一つの「公理」を追加せざるを得ないので、その条項を取って付けた。
それだけでも、エレガントでない劣ったシステムだな。
外部ﾘﾝｸ:sowhat.ifdef.jp
上下前次1-新書関写板覧索設栞歴
あと 10 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.009s