All Questions
1 question
0
votes
2
answers
2k
views
Gödel, Escher, Bach: b is a power of 10. [closed]
I’d like to verify if my formula correctly expresses that a number is a power of $ 10 $, using the $ \sf{TNT} $ language provided by Hofstadter in his famous book Gödel, Escher, Bach: An Eternal ...
- 9