[садовник]

Хенсон.

Вы всегда пишете шизофреничными тезисами? Или только когда пастыря изображаете?
Ложь и обман в каждой фразе. Я здесь чтоб получить обратную связь по МПВ. Получили уже давно, не катит ваша заявленная цель.
Ваша секта свидетелей математики оценена нами как сектанты. Какую обратную связь ещё надо?

Теорема Гёделя неприменим к теории категорий? Жги дальше, остряк! Именно в рамках разрешения парадокса теории множеств была разработана теория категорий и именно при анализе непосредственно всех этих теорий была открыта теорема Гёделя о неполноте.
Непосредственно и применительно в теориях множеств и её производных теориях категорий, систем и т.д.
Крутой математик!
Оказывается теорему нельзя применять именно в том, в чём она была разработана и доказана. А почему? А хрен его знает. А вот неучи, никогда не открывавшие ничего кроме пары процедур для игр из ООП, вот так вот мантры асанами вангуют.
Аргумент то ведь не про теорему, а про её применение... в той теории, в которой она была разработана.
Ага. Доказанную теорему нельзя считать доказанной в теории, в которой она доказана - потому что её некорректно применяют за рамками этой теории.
... Шиза, ты снова посетила меня...

Держись прощения, побуждай к добру и отстранись от невежд.
Может быть вы задумаетесь? Может быть вы примете сторону разума?