3 ms·
Solving arbitrary logical problems seems to be equivalent to solving the halting problem so you are probably wise not to make that bet.
by __alexs 6mo ago
Solving arbitrary logical problems seems to be equivalent to solving the halting problem so you are probably wise not to make that bet.