y. is a user on mathtod.online. You can follow them or interact with them if you have an account anywhere in the fediverse. If you don't, you can sign up here.
y. @waidotto

Gödelの不完全性定理の説明で一番好きなのはE. Postの以下のものです:
"The conclusion is unescapable [sic] that even for such a fixed, well defined body of mathematical propositions, mathematical thinking is, and must remain, essentially creative."
(Gödelの定理の結論は,たとえこのように数学的命題の厳密に定義された本体[形式体系のこと]を固定したとしても,数学的思考は本質的に創造的であり続けることから逃れられない,ということである)

以下の論文の295頁にあります:
Emil L. Post, "Recursively enumerable sets of positive integers and their decision problems", Bull. Am. Math. Soc., vol. 50 (1944), pp. 284--316.

· Web · 0 · 1