kkyamasita https://blog.hatena.ne.jp/kkyamasita/ kkyamasita's blog https://kkyamasita.hatenadiary.jp/ 科学 サイモン・シン著「フェルマーの最終定理」から。 典型的な数学的証明は、一連の公理から出発する。公理とは、真であると仮定された命題、あるいは真であることが自明な命題のことである。そこから一歩一歩論理的な議論を積み重ねていって結論にたどり着く。公理が正しく、論理が完全であれば、結果として得られた結論を否定することはできない。こうして得られた結論が定理である。 数学の定理は、この論理的なプロセスの上に成り立っており、一度証明された定理は永遠に真である。数学における証明は絶対なのだ。 数学的証明は、公理からスタートする。この公理は、真であると仮定された命題、もしくは真であることが自明な命題だという。こ… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkkyamasita.hatenadiary.jp%2Fentry%2F20060609%2F1149806819" title="数学的証明と科学的証明 - kkyamasita&#39;s blog" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2006-06-09 07:46:59 rich https://kkyamasita.hatenadiary.jp/entry/20060609/1149806819 1.0 100%