The Gallery
Post–Turing model
Martin Davis
1