Бертран Рассел предупреждает

[janka_x]

Comments

[dahlsq]

С теорией типов это не парадокс. :) http://blog.balandin.guru/2012/01/38/

[janka_x]

Спасибо! Таким образом, можно (?) сформулировать следующую задачу:
Один из служащих в N-ском полку солдат назначен полковым цирюльником. Приказ вменяет ему в обязанность брить тех и только тех солдат-однополчан, которые не бреются сами. Цирюльник в точности выполнил этот приказ. Доказать, что цирюльник - женщина.