Вы видите математическую запись известной дилеммы. Назовите того, кто эту дилемму сформулировал.