在道格拉斯·霍夫斯塔德（Douglas Hofstader）的《哥德尔，埃舍尔，巴赫》的第8章中，要求读者将以下2条语句翻译成TNT：
“ b是2的幂”
和
“ b是10的幂”
以下答案正确吗？：
（假设“∃”表示“存在数字”）：
∃x：（x.x = b）
即“存在一个数字'x'，使得x乘以x等于b”
如果这是正确的，那么下一个同样是微不足道的：
∃x：（x.x.x.x.x.x.x.x.x.x = b）
我很困惑，因为作者指出它们很棘手，而第二个要花几个小时才能解决。我一定错过了这里明显的东西，但我看不到！
最佳答案
您的表达式分别等效于以下语句：“ b是一个平方数”和“ b是一个数的十进制”。将“ power of”语句转换为TNT非常棘手。
关于logic - 戈德尔，埃舍尔，巴赫排印数论(TNT)难题和解决方案，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/644569/