Welcome to the Alpha build of TypeGG! For the best user experience, we recommend playing
with an account. Login
Sets, Logic and Categories
by Peter Cameron
⇥ Hofstadter's choice of the form of this puzzle was not accidental; he was also teaching the distinction between a theorem and a metatheorem another way. It is a reference to one of the most famous koans of Zen Buddhism, Joshu's Mu:⏎ A monk asked Joshu, a Chinese Zen master: 'Has a dog Buddha-nature or not?'⏎ Joshu answered: 'Mu.'⏎⇥ The answer is a negative term in Chinese, but it does not mean that Joshu has answered 'No.' Rather, his answer is neither 'Yes' nor 'No', but (roughly) 'The wrong question has been asked, or it has been asked from the wrong frame of mind.' Either 'Yes' or 'No' would be an answer in the system in which the questioner is operating; Joshu is commentating on that system from a position outside.🏁
Submitted by zero - 01/21/2026
Academia Philosophy 6.20 Ranked
Global Leaderboard
| # | Player | Time | Duration | Accuracy | WPM | pp | ||
|---|---|---|---|---|---|---|---|---|
| 1 | ||||||||
| 2 | ||||||||
| 3 | ||||||||
| 4 | ||||||||
| 5 | ||||||||
| 6 | ||||||||
| 7 | ||||||||
| 8 | ||||||||
| 9 | ||||||||
| 10 |
Sets, Logic and Categories
by Peter Cameron
⇥ Hofstadter's choice of the form of this puzzle was not accidental; he was also teaching the distinction between a theorem and a metatheorem another way. It is a reference to one of the most famous koans of Zen Buddhism, Joshu's Mu:⏎ A monk asked Joshu, a Chinese Zen master: 'Has a dog Buddha-nature or not?'⏎ Joshu answered: 'Mu.'⏎⇥ The answer is a negative term in Chinese, but it does not mean that Joshu has answered 'No.' Rather, his answer is neither 'Yes' nor 'No', but (roughly) 'The wrong question has been asked, or it has been asked from the wrong frame of mind.' Either 'Yes' or 'No' would be an answer in the system in which the questioner is operating; Joshu is commentating on that system from a position outside.🏁
Submitted by zero - 01/21/2026
Academia Philosophy 6.20 Ranked