Сенектутем, скорее, нужен философ и математик, что само по себе редкое сочетание. Однако, среди метаматематиков таких должно быть достаточно.
Экспекто Дементум, вот поэтому и нужна цитата.
Кэп Муркотовский, логика первого порядка применима к высказываниям, если они связаны упомянутыми в этой логике символами. Причём она ещё и полна, теорема Гёделя о неполноте может удалиться нафиг. Например. Я не помню, является ли троичная (а нам нужна скорее она) логика (точнее, её формализация) полной по Гёделю, но в любом случае, крайне маловароятно, что необходимые нам связки окажутся в числе истинных-недоказыемых или ложных, но не инверсий доказуемых.
Соседа сегодня выписывают. За полтора месяца в больнице я полежал уже в 4 палатах с 4 соседями и ещё пара человек пробегали мимо, задержавшись менее чем на сутки. Посмотрим, кого теперь подселят. Если всё пойдёт по плану, где-то 12 сентября меня самого должны выписать на недельку.
Отбывающий сосед - тридцатилетний таджик, улыбчивый, вежливый, приятный. Лечится от лимфомы, болеет с 2019, лечили по всякому, в том числе было всё очень плохо, а сейчас пятый этап химии, лишился половины зубов, но бодрячком, почти ничего не болит, говорит, ходит, бегает, ест, улыбается, учит английский, молится на коврике раз по 5-7 в день. Обычно на разговоры не особо склонен был, а вчера на радости от выписки разговорился, до этого я думал, что ему скорее 40 :/