|
| Español / English |
| ||
|
2002.09.01 Domino on Acid (#) "Superficially this is a colorful variant of dominoes with weird tiles, a simple matching game to play during lunch breaks. But hidden behind this facade are the inference rules of natural deduction, so that every solved level represents a proof of a tautology. This program demonstrates that logical reasoning can be done without any language or symbols, relying purely on the brain's visual capabilities." |
