I wonder what other mathematical axiom sets can be pretty much directly translat... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

3rd3 on June 20, 2014 | parent | context | favorite | on: Euclid: The Game

I wonder what other mathematical axiom sets can be pretty much directly translated in a game like that. Maybe something from calculus, topology or knot theory.

seanstickle on June 20, 2014 | [–]

Deontic logic! "Prove that killing Mr. A is incompatible with the categorical imperative. Also supports undo and redo."

manveru on June 21, 2014 | | [–]

For algebra there is http://dragonboxapp.com/ - my 5yo son loves it.

danohuiginn on June 21, 2014 | [–]

RollerCoaster Tycoon: Trolley Problem Edition

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact