Статьи по математике

Аксиомой мы называем утверждение, которое в определённых рамках принимаем за истину без доказательств. Именно на таких утверждениях и строится современная геометрия. Вернее сказать, строилась, ведь начала геометрии были заложены уже давно: метод аксиом впервые начинает работать в геометрических Началах Евклида в 3 веке до н.э.

Вначале задаются первичные неопределяемые понятия. Из школьной геометрии вы наверняка помните, что в качестве таких понятий выступают точки, прямые и расстояния от одной точки до другой. Затем формулируются аксиомы – недоказуемые утверждения, которые связывают свойства первичных понятий. К примеру: через любые две точки проходит прямая линия и притом только одна. Таким образом, аксиомы неявно определяют основные понятия. И уже потом следуют теоремы, которые доказываются по правилам логики на основании принятых аксиом.

На основе всего этого может сложиться ошибочное мнение, что геометрия – оторванная от жизни математическая теория, построенная на каких-то условных соглашениях между математиками. Конечно же, это не так.

Квином (куином, квайном или куайном, по-английски - quine) в программировании называется программа, выводящая свой исходный код. Подобные программы несложно пишутся на многих современных языках программирования и, как правило, используют один и тот же прием.
Но речь не об этом. Существует математический квин - уравнение, часть графика которого представляет собой это самое уравнение.