"The Universal Computer: The Road from Leibniz to Turing " - читать интересную книгу автора (Martin Davis)