computeralgebra https://blog.hatena.ne.jp/computeralgebra/ 非専門的シンギュラリティー研究所 https://computeralgebra.hatenablog.com/ ポアンカレ予想 ポアンカレ予想の説明をWikipediaに従って書いてみます。ポアンカレ予想は1904年にアンリ・ポアンカレによって提出されたもので「単連結な3次元閉多様体は3次元球面に同相である」という主張で、7つのミレニアム懸賞問題のうち唯一解決されている問題となります。グリゴリー・ペレルマンによって2002年から2003年に発表された論文で解決されたと言われています。ポアンカレ予想の一般化として「 次元ホモトピー球面は 次元球面同相である」という問題を考えることができます。この問題は の場合は古典的な事実であり、 の場合はスティーヴン・スメイルによって(1960年)、 の場合はマイケル・フリードマンによ… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fcomputeralgebra.hatenablog.com%2Fentry%2F2020%2F10%2F01%2F230608" title="論理プログラミング的ポアンカレ予想(1) - 非専門的シンギュラリティー研究所" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://chart.apis.google.com/chart?cht=tx&chl=%20n Hatena Blog https://hatena.blog 2020-10-01 23:06:08 rich https://computeralgebra.hatenablog.com/entry/2020/10/01/230608 1.0 100%