Поскольку в матлогике нет времени, а сам матаппарат представляет собой структурно статическую многомерную таблицу из всех возможных функций и их значений, то очевидно, что математическое решение брадобрея 2: бреется и не бреется. Вас же не удивляет наличие 2-х корней у квадратного уравнения одновременно (причина та же), привыкните и к этому.
В формальной логике, в которой время есть, решение задачи брадобрея в последовательности во времени: бреется, не бреется, бреется, не бреется ограниченной физической возможностью брадобрея держать в руках бритву... Т.е. ответ - зуммер со скважностью 1/2
|