(Turing, Alan Mathison) (1912-1954), английский математик, логик. Внес значительный вклад в символическую логику и основания математики, введя понятие абстрактной (воображаемой) "вычислительной машины" (называемой ныне машиной Тьюринга), способной доказывать утверждения механическим путем. Машина Тьюринга послужила основой для создан