Логика настоящего мужчины.

Существуют ли настоящие мужчины? На этот вопрос разворачиваются длительные баталии в сети Интернет, на форумах, да и на кухнях тоже.

А я, по собственной традиции, взгляну на подобный вопрос с точки зрения логики.

В формальной логике действует простое правило: для того чтобы доказать существование - достаточно привести пример. А вот для доказательства несуществования уже потребуется теорема. Поэтому, строго говоря, многочисленные ссылки на "ненастоящих" мужчин и примеры их "ненастоящности" не могут служить доказательством отсутствия подобных.

Однако и редко встречающиеся примеры "да вот же он" тоже не могут подтвердить озарение. Потому что понятие "мужчины" не определенно. Это как примерно спросить "существуют ли настоящие кракозябры", а потому сказать "да у соседки вот настоящий кракозябр, не то что мой". Вы точно уверены, что у соседки не "крукубяр" чтобы сравнивать?

Правильнее будет спрашивать "возможно ли существование настоящих мужчин"? Такая постановка вопроса меняет, прежде всего, отношение к нему и логику поведения.

Пример 1:

В математике известно, что для раскраски любой карты достаточно четырёх красок. И есть доказательство, что карты, для которой нужно больше красок не существует. Не существует и всё. На этом вопрос закрыт. Ну, конечно, невротики могут попытаться найти вариант. Но не найдут, а только увеличат степень своего невротизма.

Пример 2:

Известно, что любое число можно представить в виде суммы трёх кубов. То есть существует такая сумма X + Y + Z = A где слагаемые слева - кубы некоторых чисел. Но несколько десятков лет не удавалось найти запись для чисел 33 и 42. Для 33 Букер нашел решение весной этого года, а в начале сентября 2019 года совместно с Сазерлендом рассчитал уравнение для 42. Вот оно:

42 = (-80538738812075974)³ + 80435758145817515³ + 12602123297335631³.

Пока психологи не могут точно сказать возможно ли существование настоящего мужчины. Если нет - то нет смысла его искать. А если возможно, то встаёт вопрос есть ли смысл тратить десятки лет на его поиск?