Comment by __alexs

7 hours ago

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

0 comments