orangecrumbs
Loading the deck
Could not load the deck. Check the connection and reload.
Saved
orangecrumbs
✉ Weekly Wikipedia digest

Get new Wikipedia articles popular on Hacker News - one email per week.

No spam. Unsubscribe anytime. · Privacy

✓
You're on the list.A welcome note should arrive in a minute.Check Promotions or Spam if you do not see it.
Full article HN thread
MU puzzle

MU puzzle

▲ 83 💬 45

The MU puzzle is a puzzle stated by Douglas Hofstadter and found in Gödel, Escher, Bach involving a simple formal system called "MIU". Hofstadter's motivation is to contrast reasoning within a formal system (i.e., deriving theorems) against reasoning about the formal system…

No items match this view.
Try Shuffle or New.
HN ↗
Loading comments…
List Mode
Watch on YouTube

MU puzzle

↑↓to move·?shortcuts
▲ 83💬 45

The MU puzzle is a puzzle stated by Douglas Hofstadter and found in Gödel, Escher, Bach involving a simple formal system called "MIU". Hofstadter's motivation is to contrast reasoning within a formal system (i.e., deriving theorems) against reasoning about the formal system…

Full article HN thread
Open on HN ↗
Loading comments…
✉ Weekly Wikipedia digest

Get new Wikipedia articles popular on Hacker News - one email per week.

No spam. Unsubscribe anytime. · Privacy

✓
You're on the list.A welcome note should arrive in a minute.Check Promotions or Spam if you do not see it.

Sort & filter

Sort
🔀 Shuffle
🕑 New
Upvotes
20+
50+
100+
200+
Type
All
Article
List