Solving arbitrary logical problems seems to be equivalent to solving the halting...

		__alexs 20 days ago \| parent \| context \| favorite \| on: ML promises to be profoundly weird Solving arbitrary logical problems seems to be equivalent to solving the halting problem so you are probably wise not to make that bet.