Американский математик и логик, внесший вклад в основы информатики, прославившийся разработкой те...