Re: а чтобы бунтовать-2
1.
нет Вы не правы. я постоянно доказываю теоремы о непротиворечивости своих алгоритмов.
последняя была -- "о необходимости и достаточности "программной конструкции Х" для построения многогранников определенного вида Y".
в детстве у меня был физмат-класс в гимназии, где училось много русских немцев и были неплохие учителя. нас научили широкому спектру методов доказательств с детства. Сейчас, в зрелом возрасте, часто перечитываю "Основания Математики" Гильберта-Бернайса. Немного знаком с философией.

к-алгебры?! и все?! не надо меня выгонять из математики - я уже туда пролез и читаю!
нравится! математика никому не принадлежит. она гуляет сама по себе.
вообще, до этого я лет 10 читал не те книги. т.е. тоже сложные, но именно не знал, какие авторы гениальные,
а какие -- пишут уже с чужих слов или просто неизвестные в науке.
хотя, например Курс современного анализа Уайтхеда -- вполне повезло мне.
и прогресс есть с тех пор, что Вы говорите, что бессмысленно -- это не в моем случае. у меня до сих пор по-моему мозг немного растет.