Верещагин Н.К., Шень А. - Языки и исчисления (1076783), страница 52
Текст из файла (страница 52)
287 – 212 до Р. Х. (Сиракузы) : 210Ахо А. (Alfred Vaino Aho), 09.08.1941, Timmins, Ontario (Канада) : 32Бернайс П. (Paul Isaac Bernays), 17.10.1888, London (Англия) – 18.10.1977,Zurich (Швейцария) : 134, 156Брауэр Л. Э. Я. (Luitzen Egbertus Jan Brouwer), 27.02.1881,Overschie (ныне в Роттердаме, Нидерланды) – 02.12.1966,Blaricum (Нидерланды) : 58, 60Буль Дж. (George Boole), 02.11.1815, Lincoln, Lincolnshire(Англия) – 08.12.1864, Ballintemple, County Cork (Ирландия) : 5Бурбаки Никола (Nicolas Bourbaki) : 156ван дер Варден Б.
Л. (Bartel Leendert van der Waerden), 02.02.1903,Amsterdam (Нидерланды) – 12.01.1996, Zurich (Швейцария) : 183Воот Р. (Robert Lawson Vaught), 04.04.1926, Alhambra, California(США) – 02.04.2002, Berkeley, California (США) : 175, 183Гейтинг А. (Arend Heyting), 09.05.1898,Amsterdam (Нидерланды) – 09.07.1980, Lugano (Швейцария) : 58,60Генцен Г. (Gerhard Gentzen), 24.11.1909,Greifswald (Германия) – 04.08.1945, Prague (Чехословакия) : 53, 58,162Гёдель К. (Kurt Gödel), 28.04.1906, Brünn, Австро-Венгрия (ныне Брно,Чехия) – 14.01.1978, Princeton (США) : 5, 58, 71, 84, 192Гильберт Д.
(David Hilbert), 23.01.1862, Königsberg, Prussia (нынеКалиниград, Россия) – 14.02.1943, Göttingen (Германия) : 5, 53, 60,116, 156, 162Гливенко Валерий Иванович, 02.01.1897 нов. ст., Киев (Россия, нынеУкраина) – 15.02.1940, Москва (СССР, ныне Россия) : 71Горбачёв Михаил Сергеевич, 02.03.1931, Привольное, Ставропольскийкрай, СССР (ныне Россия) : 159Де Морган А. (Augustus De Morgan), 27.06.1806, Madura, MadrasPresidency, India (ныне Madurai, Tamil Nadu, Индия) – 18.03.1871,London (Англия) : 13, 61Дэвис М. (Martin Davis), 1928, New York (США) : 210, 223Жегалкин Иван Иванович, 03.08.1869 нов. ст., Мценск (ныне Орловскаяобласть, Россия) – 28.03.1947, Москва (СССР, ныне Россия) : 18Зайденберг А.
(Abraham Seidenberg), 02.06.1916, Washington, D.C.(США) – 03.05.1988, Milan (Италия) : 101, 110, 114Кантор Г. (Georg Ferdinand Ludwig Philipp Cantor), 03.03.1845,Петербург (Россия) – 06.01.1918, Halle (Германия) : 5, 60Кейслер Г. (Howard Jerome Keisler), 03.12.1936, Seattle (США) : 176, 209238Указатель имёнКёниг Ю. (Julius König), 16.12.1849, Györ (Венгрия) – 08.04.1913,Budapest (Венгрия) : 52Клини С. К. (Stephen Cole Kleene), 05.01.1909, Hartford, Connecticut(США) – 25.01.1994, Madison, Wisconsin (США) : 60, 156, 162Колмогоров Андрей Николаевич, 25.03.1903, Тамбов(Россия) – 20.10.1987, Москва (СССР, ныне Россия) : 60Комлош (Janos Komlós, 23.05.1942, Budapest (Венгрия) : 36Кормен Т.
(Thomas H. Cormen), 1956, New York (США) : 32Коэн П. Дж. (Paul Joseph Cohen), 02.04.1934, Long Branch, NewJersey (США) – 23.03.2007, Stanford, California (США) : 60Крейг (William Craig, 13.11.1918) : 18Крипке С. (Saul Aaron Kripke), 13.11.1940, Bay Shore, New York(США) : 60, 63Курош Александр Геннадиевич, 19.01.1908, Ярцево (около Смоленска,Россия) – 18.05.1971, Москва (СССР, ныне Россия) : 196Лебег А. (Henri Léon Lebesgue), 28.06.1875, Beauvais, Oise, Picardie(Франция) – 26.07.1941, Paris (Франция) : 217Лейбниц Г.
В. (Gottfried Wilhelm von Leibniz), 01.07.1646, Leipzig, Saxony(ныне Германия) – 14.11.1716, Hannover (ныне Германия) : 209, 214Лейзерсон Ч. (Charles E. Leiserson), 10.11.1953, США : 32Лёвенгейм Л. (Leopold Löwenheim), 26.06.1878, Krefeld(Германия) – 05.05.1957, Berlin (Германия) : 95, 170Лось (Jerzy L␣ oś), 22.03.1920, Lwów (ныне Украина) – 01.06.1978, Warsaw(Польша) : 175, 183, 197, 198, 206Лукасевич Я.
(Jan L␣ ukasiewicz), 21.12.1978, Lvov. Austrian Galicia (нынеУкраина) – 13.02.1956, Dublin (Ирландия) : 15Мальцев Анатолий Иванович, 27.11.1909, Мишеронский (около Москвы,Россия) – 07.07.1967, Новосибирск (СССР, ныне Россия) : 196Марков Андрей Андреевич (младший), 22.09.1903 нов. ст., Петербург(Россия) – 11.10.1979, Москва (СССР, ныне Россия) : 60Морли (Michael Darwin Morley) 1930, Youngstown, Ohio (США) : 176, 178Моцарт В. А.
(Wolfgang Amadé Mozart), 27.01.1756, Salzburg (нынеАвстрия) – 05.12.1791, Wien (Австрия) : 65Ньютон И. (Sir Isaac Newton), 04.01.1643, Woolsthorpe,Lincolnshire (Англия) – 31.03.1727, London (Англия) : 209Пеано Дж. (Giuseppe Peano), 27.08.1858, Cuneo, Piemonte (Италия) –20.04.1932, Turin (Италия) : 5, 192Пост Э. (Emil Leon Post), 11.02.1897, Augustów, Россия (нынеПольша) – 21.04.1954, New York (США) : 20Пресбургер (Mojzesz Presburger), 1904 – 1943? : 93, 181Пушкин Александр Сергеевич, 06.06.1799, Москва (Россия) – 10.02.1837,Петербург (Россия) : 65Указатель имён239Рабин М.
O. (Michael Oser Rabin), 01.09.1931, Breslau, Germany (нынеПольша) : 186Рассел Б. (Bertrand Arthur William Russell), 18.05.1872, Ravenscroft,Trelleck, Monmouthshire (Уэльс, Великобритания) – 02.02.1970,Penrhyndeudraeth, Merioneth (Уэльс, Великобритания) : 5Ривест Р. (Ronald Linn Rivest), 1947, Schenectady, New York (США) : 32Риман Г. (Georg Friedrich Bernhard Riemann), 17.09.1826, Hanover (нынеГермания) – 20.07.1866, Selasca (Италия) : 186Робинсон А. (Abraham Robinson), 06.10.1918, Waldenburg (Германия,ныне Walbrzych, Польша) – 11.04.1974, New Haven, Connecticut(США) : 209, 210Ролль М. (Michel Rolle), 21.04.1652, Ambert, Basse-Auvergne(Франция) – 08.11.1719, Paris (Франция) : 109, 185Сальери А. (Antonio Salieri), 18.08.1950, Legnago, Venice(Италия) – 07.05.1825, Vienna (Австрия) : 65Сколем Т.
(Thoralf Skolem), 23.05.1887, Sandsvaer, Buskerud(Норвегия) – 23.03.1963, Oslo (Норвегия) : 95, 165, 170Смальян Раймонд М. [Смаллиан Рэймонд М.] (Raymond MerrillSmullyan), 25.05.1919, Far Rockaway, NY (США) : 84Субботовская Белла Абрамовна, 1938 – 23.09.1982, Москва (СССР, нынеРоссия) : 39Сушко Р. (Roman Suszko), 09.11.1919, Podobora – 03.06.1979, Warsaw(Польша) : 198Сцемереди (Endre Szemerédi), 21.08.1940, Budapest (Венгрия) : 36Тарский А.
(Alfred Tarski), 14.01.1902, Warsaw (Россия, нынеПольша) – 26.10.1983, Berkeley, California (США) : 101, 110, 114,192, 197, 199Тейлор (Brook Taylor), 18.08.1685, Edmonton, Middlesex(Англия) – 29.12.1731, Somerset House, London (Англия) : 184Тихонов Андрей Николаевич, 30.10.1906, Гжатск (ныне ГагаринСмоленской обл., Россия) – 08.11.1993, Москва (СССР, нынеРоссия) : 52Уайтхед (Alfred North Whitehead), 15.02.1861, Ramsgate, Isle of Thanet,Kent (Англия) – 30.12.1947, Cambridge, Massachusets (США) : 5Ульман Дж.
(Jeffrey D. Ullman), 22.11.1942 : 32Успенский Владимир Андреевич, 27.11.1930, Москва (Россия) : 210, 223Нейман Дж. (John von Neumann), 28.12.1903,Budapest (Венгрия) – 08.02.1957, Washington, D.C. (США) : 5Фреге (Gottlob Frege), 08.11.1848, Wismar, Mecklenburg-Schwerin (нынеГермания) – 26.08.1925, Bad Kleinen (Германия) : 5Френкель А. А. (Adolf Abraham Halevi Fraenkel), 17.02.1891,Munich (Германия) – 15.10.1965, Jerusalem (Израиль) : 5, 76Хопкрофт Дж. (John Edward Hopcroft), 1939 : 32240Указатель имёнЦермело Э. (Ernst Friedrich Ferdinand Zermelo), 27.07.1871,Berlin (Германия) – 21.05.1953, Freiburg im Breisgau (Германия) : 5,76Цорн М. (Max August Zorn), 06.06.1906, Krefeld (Германия) – 09.03.1993,Bloomington, Indiana (США) : 50, 203Чёрч А.
(Alonzo Church), 14.06.1903, Washington, D.C.(США) – 11.08.1995, Hudson, Ohio (США) : 129, 166, 191Чэн [Чжан] (Chen Chung Chang) : 176, 198Шёнфилд Дж.(Joseph Robert Shoenfield), 1927, Detroit (США)– 15.11.2000, Durham, North Carolina (США) : 162Штурм (Jacob Karl Franz Sturm), 29.09.1803, Geneva, France (нынеШвейцария) – 15.12.1855, Paris (Франция) : 109Эрбран Ж. (Jacques Herbrand), 12.02.1908, Paris (Франция) – 27.07.1931,La Bérarde, Isère (Франция) : 161, 165Эренфойхт А. (Andrzej Ehrenfeucht), 08.08.1932, Wilno (Польша, нынеЛитва) : 117.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
