“石倉徹也”記者。今回も良記事。
旅館に置かれてたら温泉とかそっちのけでやっちまうパズルだ
まだプレプリントの段階かー。それじゃまだ様子見かな、私は専門家じゃないし
“位相幾何学（トポロジー）。コーヒーカップとドーナツは「同じもの」とするように、図形をぐにゃぐにゃと連続的に変形しても変わらない性質を探る分野だ。” 素敵で端的な説明
悪魔の証明と言えば、フェルマーの最終定理
かっこいい三大証明。悪魔の証明、神の存在証明、あと一つは？
たぶんブルーバックスになるかな？
いわゆる「悪魔の証明」ではなくない？ 数学で「〜の条件を満たす◯◯が存在しないことを証明せよ」みたいなのは珍しくないし…。「雪男がいないことを証明せよ」みたいな、どう証拠を集めても証明困難なことでは
"証明したのは「正三角形を3ピースに分解して、裏返さずに並べ直して正方形を作ることは不可能」という定理"
四色問題みたいに理解しやすくていい
直角が4つ必要で…中で90°切るか30°切って60と足すかで…うーん？
一方立体では有限個数である限り立方体を正四面体にすら変形できないのであった。（ヒルベルトの第3問題）3Dの時の証明、論理を追えても全然理解した気にならない、これはどうだろうか？
うん、わからん
これは「悪魔の証明」ではない。現に証明できている。悪魔の証明という言葉は、その証明を実証的証拠に頼るしかない事に対して使うもの。数学的に証明できる（ことが予測される）なら、それは悪魔の証明ではない。
背理法は強力だ
こんなん審査する方も大変やろ
「（一見すると）悪魔の証明（に思える命題）」という意味合いに受け取れば、まあ、って感じ。それってあなたの感想ですよね、ではあるのでモヤっとはするが言いたいことはわかるよ
「無いことの証明は難しい」くらい雑な認識だから悪魔の証明などと書くのだな。「悪魔の不在を局所的に確認しても網羅性がないので非実在の証明は成立しない」なのに。数学はというか机上では網羅できるのよ
ちょうど子供の科学4月号に4分割のパズルが載ってるのは偶然？ https://www.seibundo-shinkosha.net/magazine/kids/92617/
裁ち合わせパズルの３ピース以下に関する証明。
カギカッコ付きの悪魔の証明。／四色問題を連想します。
「裁ち合わせ」というネーミングの中に「裏返せない」というルールが含意されているものと思われる。パズルそのものは難しくて全然わかんないけどおしゃれだ。
元論文の結論部分を読むとまた面白いかも
サムネの図を見て感心してるレベルの俺などには伺いしれない世界ではある。証明が可能なら悪魔の証明とは言わない。
うーむ
"裁ち合わせ""「ないことの証明」に成功""裁ち合わせパズルは非常に巧妙にできていて、美しいメカニズムを持っている。この魅力をより深く知りたいと思うことが、研究の動機だった"
120年謎の難問パズル解明 「悪魔の証明」に日米の数学者が挑んだ：朝日新聞
“石倉徹也”記者。今回も良記事。
旅館に置かれてたら温泉とかそっちのけでやっちまうパズルだ
まだプレプリントの段階かー。それじゃまだ様子見かな、私は専門家じゃないし
“位相幾何学（トポロジー）。コーヒーカップとドーナツは「同じもの」とするように、図形をぐにゃぐにゃと連続的に変形しても変わらない性質を探る分野だ。” 素敵で端的な説明
悪魔の証明と言えば、フェルマーの最終定理
かっこいい三大証明。悪魔の証明、神の存在証明、あと一つは？
たぶんブルーバックスになるかな？
いわゆる「悪魔の証明」ではなくない？ 数学で「〜の条件を満たす◯◯が存在しないことを証明せよ」みたいなのは珍しくないし…。「雪男がいないことを証明せよ」みたいな、どう証拠を集めても証明困難なことでは
"証明したのは「正三角形を3ピースに分解して、裏返さずに並べ直して正方形を作ることは不可能」という定理"
四色問題みたいに理解しやすくていい
直角が4つ必要で…中で90°切るか30°切って60と足すかで…うーん？
一方立体では有限個数である限り立方体を正四面体にすら変形できないのであった。（ヒルベルトの第3問題）3Dの時の証明、論理を追えても全然理解した気にならない、これはどうだろうか？
うん、わからん
これは「悪魔の証明」ではない。現に証明できている。悪魔の証明という言葉は、その証明を実証的証拠に頼るしかない事に対して使うもの。数学的に証明できる（ことが予測される）なら、それは悪魔の証明ではない。
背理法は強力だ
こんなん審査する方も大変やろ
「（一見すると）悪魔の証明（に思える命題）」という意味合いに受け取れば、まあ、って感じ。それってあなたの感想ですよね、ではあるのでモヤっとはするが言いたいことはわかるよ
「無いことの証明は難しい」くらい雑な認識だから悪魔の証明などと書くのだな。「悪魔の不在を局所的に確認しても網羅性がないので非実在の証明は成立しない」なのに。数学はというか机上では網羅できるのよ
ちょうど子供の科学4月号に4分割のパズルが載ってるのは偶然？ https://www.seibundo-shinkosha.net/magazine/kids/92617/
裁ち合わせパズルの３ピース以下に関する証明。
カギカッコ付きの悪魔の証明。／四色問題を連想します。
「裁ち合わせ」というネーミングの中に「裏返せない」というルールが含意されているものと思われる。パズルそのものは難しくて全然わかんないけどおしゃれだ。
元論文の結論部分を読むとまた面白いかも
サムネの図を見て感心してるレベルの俺などには伺いしれない世界ではある。証明が可能なら悪魔の証明とは言わない。
うーむ
"裁ち合わせ""「ないことの証明」に成功""裁ち合わせパズルは非常に巧妙にできていて、美しいメカニズムを持っている。この魅力をより深く知りたいと思うことが、研究の動機だった"