Mathematical Logic Finds Unexpected Application on Wall Street | Hacker News Reader