О теореме Гэделя и проверке аксиом геометрии

Отсылаю к алгебре сигнатур (Алсигна)

Внимание, будьте бдительны
Леваки портят формальные науки

А потом Тьюринг перестал ходить на эти лекции по большевистским угрозам

Нет, ну если дать символизм Фреге, то вполне можно рассчитать неправильно).

Просто напоминаю https://news.1rj.ru/str/syntaxdush/240

Переобулся, сучки

Арифметика предложений о языке русской философии

Хотел бы напомнить о своём давнем открытии

Кстати о Расселе, когда там уже на философском будут Principia преподавать?

Правильно, нужно не принимать официальную софистику на веру, а дедуцировать её из чистой логики

Витгенштейн о трудностях преподавания логики

Логики о парах и моде говорения

Научно по понятиям

Справа логик Зайцев. Своих в обиду не даёт

А вы так делаете? Или это удел только аналитиков

Кто тоже так стал гегельянцем?}

После этого поста от меня отписался человек с Расселом на аватарке. Думайте

Мы с Речесуществом Арсенящим не рассчитали силу, когда осуществляли разбор)

Кстати, не все угадывали, так что скажу, что это вновь Берти Рассел

(Формально авторы Рассел и Уайтхед, но мы знаем, кто так обычно высказывается (ну и факты таковы, что все эти вещи в предисловиях к переизданиям писал Рассел))