Американский математик и логик, предложивший абстрактную вычислительную машину, названную его именем, 4 буквы

Вопрос с кроссворда: «американский математик и логик, предложивший абстрактную вычислительную машину, названную его именем», по вертикали 4 буквы, что за слово?

Подсказка:

Первая буква «п».

Вторая буква «о».

Третья буква «с».

Четвертая буква «т».

Правильным ответом является слово: пост

пост

Источник: Словарь кроссвордиста «6 букв.ру»