2006-06-09から1日間の記事一覧
サイモン・シン著「フェルマーの最終定理」から。 典型的な数学的証明は、一連の公理から出発する。公理とは、真であると仮定された命題、あるいは真であることが自明な命題のことである。そこから一歩一歩論理的な議論を積み重ねていって結論にたどり着く。…
サイモン・シン著「フェルマーの最終定理」から。 典型的な数学的証明は、一連の公理から出発する。公理とは、真であると仮定された命題、あるいは真であることが自明な命題のことである。そこから一歩一歩論理的な議論を積み重ねていって結論にたどり着く。…
