20/05/16 12:57:48 I/5uqoYj.net
>>837
>だといいんだけど何だか怖いね
>初等的な証明ができないからと命題を疑いもしない感じがして
それは、一般論としては いままであったし、これからもあるでしょうね
IUTとは、ちょっと切り離した方がいいですね
(参考)
URLリンク(en.wikipedia.org)
List of incomplete proofs
・Fundamental theorem of algebra (see History). Many incomplete or incorrect attempts were made at proving this theorem in the 18th century, including by d'Alembert (1746), Euler (1749), de Foncenex (1759), Lagrange (1772), Laplace (1795), Wood (1798), and Gauss (1799). The first rigorous proof was published by Argand in 1806.
・Dirichlet's principle. This was used by Riemann in 1851, but Weierstrass found a counterexample to one version of this principle in 1870, and Hilbert stated and proved a correct version in 1900.
・The proofs of the Kronecker?Weber theorem by Kronecker (1853) and Weber (1886) both had gaps. The first complete proof was given by Hilbert in 1896.
・In 1905 Lebesgu