Котофеич недавно высказал собеседнику утверждение, что ZFC противоречива. Пытаясь найти подтверждение своих догадок о родословной нашего любимого очаровательного котика с иногда скверным характером, я, совершенно случайно, наткнулся на свидетельства того, что это очень громкое утверждение принадлежит на самом деле математику из близкого круга Котофеича. Возникает интересный вопрос: действительно ли некто, скрывающийся под именем Яков Фукзон доказал противоречивость ZFC?
http://dxdy.ru/topic1361.html
Хотелось бы в этом всем, неторопясь, разобраться. Так что возникает ряд вопросов. Может быть кто-нибудь подскажет на них правильные ответы?
Первые два вопросов следующие.
1) кто из известных математиков, кроме Котофеича, проверил доказательство и подтвердил его корректность? Или, может быть, сказал, что это на самом деле чушь?
2) Котофеич в форуме по приведенной мною ссылке три года назад обещал закончить детальное изложение доказательства. Может быть, кто-нибудь видел выложенный где-нибудь законченный текст?
-------------------------------------------------------------------
В общем, как и можно было подозревать, доказательство противоречивости ZFC от Котофеича оказалось "очевидным" но совершенно не строгим. Не думаю, что подобный уровень строгости допустим для попыток разрушения основ математики.
-------------------------------------------------------------------
Кроме того, длительные попытки понять "доказательство" показали, что Котофеич, строя свое опровержение, при этом на самом деле не понимает элементарных свойств предиката доказуемости, доказанных еще во второй теореме Геделя о неполноте. Ожидать исправления доказательства в такой ситуации не приходится.