Читать «Евклидово окно» онлайн - страница 149

Мы только что доказали, что если с можно записать как с = m/n, то m есть нечетное, а n — четное. Получается противоречие, а значит, исходное допущение, что с можно записать как с = m/n, — ложное. Такого рода доказательства, когда мы допускаем отрицание того, что стремимся доказать, а потом показываем, что отрицание ведет к противоречию, называется reductio ad absurdum. Это одно из изобретений пифагорейцев, и поныне полезное для математики.

42

Muir, стр. 12–13.

43

Kramer, стр. 577.

44

Gorman, стр 192–193.

45

Спиноза, знаковый философ XVII века, писал «Этику» — свой главный труд — в стиле евклидовых «Начал», вплоть до определений и аксиом, с помощью которых, как он считал, строго доказывал теоремы. См. также «Историю западной философии» Бертрана Расселла: Bertand Russell, A History of Western Philosophy (New York: Simon & Schuster, 1945), стр. 572. Авраам Линкольн, еще будучи никому не известным юристом, изучал «Начала» с целью улучшить свои навыки логики, см.: Hooper, стр. 44. Кант читал евклидову геометрию неотъемлемой частью человеческого мозга, см. Расселл. (На рус. яз.: Бенедикт Спиноза, «Этика», М., СПб, Азбука, Азбука-Аттикус, 2012, пер. Я. Боровского, Н. Иванцова; Бертран Рассел, «История западной философии», М.: Академический проект, 2009, пер. В. Целищева. — Прим. пер.)

46

Heath, стр. 354–355.

47

Heath, стр. 354–355.

48

49

«Мальтийский сокол» (1930) — детектив-нуар американского писателя Сэмюэла Дэшилла Хэммета (1894–1961). — Прим. пер.

50

Kline, стр. 1205.

51

«Let’s Make A Deal» — американская телевикторина телеканала «Эн-би-си», транслировавшаяся с 1963 по 1968 гг. — Прим. пер.

52

Трудный выбор, на котором основана программа «Поспорим», часто называют задачей Монти Холла, по имени ведущего программы. Проще всего разобраться в решении, нарисовав диаграмму-дерево, последовательно иллюстрирующую возможные варианты выбора. Этот метод применяется для наглядного описания теоремы Байеса в: John Freund, Mathematical Statistics (Englewood, Cliffs, NJ: Prentice-Hall, 1971), стр. 57–63. (Здесь и далее по тексту в квадратных скобках имена собственные даются в соответствии с произносительной нормой в тех случаях, когда она расходится с привычным написанием. — Прим. пер.)

53

Martin Gardner, Entertaining Mathematical Puzzles (New York: Dover Publications, 1961), стр. 43. (На рус. яз.: Гарднер М., «Математические досуги», М: «Мир», 1972, пер. Ю. Данилова. — Прим. пер.)

54

История про трудности с перигелием Меркурия изложена в: John Earman, Michael Janssen, and John D. Norton, eds., The Attraction of Gravitation: New Studies in the History of General Relativity (Boston: The Center for Einstein Studies, 1993), стр. 129–149. А еще есть хорошее, хоть и краткое, изложение этой же темы в: Abraham Pais, Subtle Is The Lord (Oxford: Oxford University Press, 1982), стр. 22, 253–255; цитата Леверье дана на стр. 254; «высшая точка» — на стр. 22. Геометрия всей этой истории изложена в: Resnikoff and Wells, стр. 334–336.