Почему P?

[cyb12]

Возник такой вопрос. Очень часто, по крайней мере в нашей литературе, множество всех булевых функций обозначается $P_2.$ Ну или даже множество $k$-значных функций $P_k.$ Почему $P$? Есть предположение, что, быть может, в честь Поста... Хотя, вроде как, его заслуги больше не в теории булевых функций (хотя, решетка Поста и все такое... ), а в теории алгоритмов.

[mihailm]

(Оффтоп)

Ладно пусть P в честь Поста, а k то в чью честь назвали??

[cyb12]

(Оффтоп)

mihailm в сообщении #413429 писал(а):

Ладно пусть P в честь Поста, а k то в чью честь назвали??

Адмирал, Иван Фёдорович Крузенштерн, человек и пароход?

[gris]

Может быть от слова "proposition"?

[cyb12]

gris в сообщении #413542 писал(а):

Может быть от слова "proposition"?

А, кстати, да... Хорошая идея!