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."

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