Lambdia

Mathematical logic

2 artículos

The Announcement That Told Nobody Anything

A stranger says out loud what every islander can already see, and ten days later ten people leave. The fact was mutual knowledge all along; what the announcement supplied was the nine levels of nested knowledge above it. An explicit count over 4096 possible worlds settles the induction without trusting it.

0