- •Предисловие
- •1. Множества и мощности
- •1.1. Множества
- •1.2. Число элементов
- •1.3. Равномощные множества
- •1.4. Счётные множества
- •1.6. Теорема Кантора
- •1.7. Функции
- •1.8. Операции над мощностями
- •2. Упорядоченные множества
- •2.2. Изоморфизмы
- •2.3. Фундированные множества
- •2.4. Вполне упорядоченные множества
- •2.5. Трансфинитная индукция
- •2.6. Теорема Цермело
- •2.7. Трансфинитная индукция и базис Гамеля
- •2.8. Лемма Цорна и её применения
- •2.9. Свойства операций над мощностями
- •2.10. Ординалы
- •2.11. Арифметика ординалов
- •2.12. Индуктивные определения и степени
- •2.13. Приложения ординалов
- •Литература
- •Предметный указатель
- •Указатель имён
Указатель имён
Банах С. (Stefan Banach), 30.03.1892 (Krak´ov, ныне в Польше) – 31.08.1945 (Львiв, ныне в Украине) : 75
Бернштейн Ф. (Felix Bernstein), 24.02.1878, Halle (Германия) – 03.12.1956, Zurich (Швейцария) : 19, 23
´ ´
Борель Э. (F´elix Edouard Justin Emile Borel), 07.01.1871, Saint Affrique, Aveyron, Midi-Pyr´en´ees (Франция) – 03.02.1956, Paris (Франция) : 97
Брауэр Л. Э. Я. (Luitzen Egbertus Jan Brouwer), 27.02.1881, Overschie (ныне в Роттердаме, Нидерланды) – 02.12.1966, Blaricum (Нидерланды) : 18
Бурали-Форти (Cesare Burali-Forti), 13.08.1861,
Arezzo (Италия) – 21.01.1931, Turin (Италия) : 85 Винер Н. (Norbert Wiener), 26.11.1894, Columbia,
Missouri (США) – 18.03.1964, Stockholm (Швеция) : 37
Галилей Г. (Galileo Galilei), 15.02.1564, Pisa (ныне в Италии) – 08.01.1642, Arcetri, рядом с Флоренцией (Италия) : 19
Гамель (Georg Karl Wilhelm Hamel), 12.09.1877, D¨uren,
Rheinland (Германия) – 04.10.1954, Landshut (Германия) : 68, 69 Гёдель К. (Kurt G¨odel), 28.04.1906, Br¨unn, Австро-Венгрия (ныне Брно,
Чехия) – 14.01.1978, Princeton (США) : 14
Гильберт Д. (David Hilbert), 23.01.1862, K¨onigsberg, Prussia (ныне Калиниград, Россия) – 14.02.1943, G¨ottingen (Германия) : 71
Дедекинд Р. (Julius Wilhelm Richard Dedekind), 06.10.1831, Braunschweig (ныне Германия) – 12.02.1916, Braunschweig (Германия) : 17, 18
Евклид Александрийский, около 325 (?) до Р. Х. – около 265 (?) до Р. Х., Александрия (ныне Египет) : 30
Кантор Г. (Georg Ferdinand Ludwig Philipp Cantor), 03.03.1845, Петербург (Россия) – 06.01.1918, Halle (Германия) : 7, 18, 19, 23, 26–28, 30, 31, 68
Кёниг Ю. (Julius K¨onig), 16.12.1849, Gy¨or (Венгрия) – 08.04.1913, Budapest (Венгрия) : 41
Коэн П. Дж. (Paul Joseph Cohen), 02.04.1934, Long Branch, New Jersey (США) – 23.03.2007, Stanford, California (США) : 15
Куратовский К. (Kazimierz Kuratowski), 02.02.1896, Warsaw, Польша (Россия) – 18.06.1980, Warsaw (Польша) : 36
Линдеман Ф. (Carl Louis Ferdinand von Lindemann), 12.04.1852, Hannover (ныне Германия) – 06.03.1939, Munich (Германия) : 27
Лиувилль Ж. (Joseph Liouville), 24.03.1809,
Saint-Omer (Франция) – 08.09.1882, Paris (Франция) : 27 Лобачевский Николай Иванович, 01.12.1792, Нижний
Новгород (Россия) – 24.02.1856, Казань (Россия) : 30
112 Указатель имён
Нейман Дж. (John von Neumann), 28.12.1903,
Budapest (Венгрия) – 08.02.1957, Washington, D.C. (США) : 85 Ньютон И. (Sir Isaac Newton), 04.01.1643, Woolsthorpe,
Lincolnshire (Англия) – 31.03.1727, London (Англия) : 11 Пеано Дж. (Giuseppe Peano), 27.08.1858, Cuneo, Piemonte (Италия) –
20.04.1932, Turin (Италия) : 19
Рамсей Ф. (Frank Plumpton Ramsey), 22.02.1903, Cambridge, Cambridgeshire (Англия) – 19.01.1930, London (Англия) : 43
Рассел Б. (Bertrand Arthur William Russell), 18.05.1872, Ravenscroft, Trelleck, Monmouthshire (Уэльс, Великобритания) – 02.02.1970, Penrhyndeudraeth, Merioneth (Уэльс, Великобритания) : 29
Тарский А. (Alfred Tarski), 14.01.1902, Warsaw (Россия, ныне Польша) – 26.10.1983, Berkeley, California (США) : 75
Френкель А. А. (Adolf Abraham Halevi Fraenkel), 17.02.1891, Munich (Германия) – 15.10.1965, Jerusalem (Израиль) : 31, 85
Фубини Г. (Guido Fubini), 19.01.1879, Venice (Италия) – 06.06.1943, New York (США) : 104
Цермело Э. (Ernst Friedrich Ferdinand Zermelo), 27.07.1871, Berlin (Германия) – 21.05.1953, Freiburg im
Breisgau (Германия) : 31, 65, 68, 85
Цорн М. (Max August Zorn), 06.06.1906, Krefeld (Германия) – 09.03.1993, Bloomington, Indiana (США) : 75
Шрёдер Э. (Friedrich Wilhelm Karl Ernst Schr¨oder), 25.11.1841, Mannheim (Германия) – 16.06.1902, Karlsruhe (Германия) : 23
Эрмит Ш. (Charles Hermite), 24.12.1822, Dieuze,
Lorraine (Франция) – 14.01.1901, Paris (Франция) : 27