logoalt Hacker News

__alexstoday at 4:51 PM0 repliesview on HN

Solving arbitrary logical problems seems to be equivalent to solving the halting problem so you are probably wise not to make that bet.