Can ’ t Decide ? Undecide !
Can ’ t Decide ? Undecide !
复制标题
无法决定？
DOI：
--
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
C. Goodman
中科院分区：
文献类型：
--
作者：
C. Goodman
在我的数学青年时代，当我第一次了解Gödel定理和计算的不可判定性时，我立刻被迷住了，并奇怪地确定了我们在大宇宙中的有限位置：令人难以置信的是，数学本身为数学知识建立了限制。与此同时，当人们深入研究形式主义时，这个领域似乎与大多数数学领域很遥远，与大多数普通数学家的努力无关。但事实并非如此！无法确定的问题围绕着我们，无处不在，甚至在娱乐数学中也是如此！
I n my mathematical youth, when I first learned of Gödel’s Theorem and computational undecidability, I was at once fascinated and strangely reassured of our limited place in the grand universe: incredibly, mathematics itself establishes limits on mathematical knowledge. At the same time, as one digs into the formalisms, this area can seem remote from most areas of mathematics and irrelevant to the efforts of most workaday mathematicians. But that’s just not so! Undecidable problems surround us, everywhere, even in recreational mathematics!