15 Чёрч А. Введение в математическую логику. М., «Издательство иностранной литературы», 1960, стр. 48 — 49.
16 Когда А. А. Фридман получил свои решения уравнений Эйнштейна в виде модели расширяющейся Вселенной, то Эйнштейн эти решения не принял: он был убежден, что Вселенная стационарна.
17 Здесь и далее я следую изложению классика деонтической логики Георга Хенрика фон Вригта в его работе «О логике норм и действий» (Вригт Г.-Х. фон. Логико-философские исследования. Избранные труды. Перевод с английского. М., «Прогресс», 1986, стр. 246 — 247).
18 Здесь речь, вероятно, идет о максимальном треугольнике на плоскости Лобачевского. В зависимости от кривизны (плоскость Лобачевского имеет постоянную отрицательную кривизну, она подобна поверхности однополосного гиперболоида) максимальный треугольник имеет различную площадь, но такой треугольник всегда существует. На евклидовой плоскости максимального треугольника, естественно, быть не может — всегда можно построить треугольник все большей и большей площади. На плоскости Лобачевского максимальный треугольник одна из самых неожиданных фигур — вершины этого треугольника удалены на бесконечность. Его стороны — параллельны (они пересекаются только в бесконечности) и все углы равны нулю.
19 Достоевский Ф. М. Из записных тетрадей. — Полн. собр. соч. в 30-ти томах, т. 27, стр. 43.
20 Катасонов В. Н. Лестница на небо (Генезис теории множеств Г. Кантора и проблема границ науки). — В кн.: «Границы науки». М., ИФРАН, 2000, стр. 45.
21 Пенроуз Р. Новый ум короля. М., УРСС, 2003, стр. 87, 88.
Сказка о колобке
