Из тредов - естественно-научное ышление:
Вова П. и ко обсуждают "что такое вектор".

По-моему - вектор - это массив из чисел одинарной или двойной дочности, по умолчанию - из трех (см. HAL/S Language Specification, стр. 4-15) :)

Если серьезно - Вова доставил мне в su.general немало незабываемых минут, когда я троллил его теоремой Левенгейма-Сколема (о наличии счетной модели у любой формальной теории - включая ZF и матан) и указанием на то, что аксиома подстановки в ZF не является независимой и вполне прекрасно доказывается.

Он обвинял меня в фоменковщине и конспирологии и напрочь игнорировал все ссылки на стандартные учебники логики, где эти факты - одни из базовых.

оператор наведения - pargentum@lj (кстати чтобы два раза не ходить - разбор его произведения в партените - цитата дня - Авторская индивидуальность:

О да! Сделать из художественного романа сплошной научно-технический справочник — это еще ого-го, как постараться надо! Пока что на нашей памяти, кроме автора «Самосогласованного решения», в такой степени это еще не удавалось никому. - по-моему это прекрасно удавалось еще Жюлю Верну и Эдгару По, но ..., ну в общем - в компании великих :) )