А. Х. Лайтстон - A. H. Lightstone

А.Х. Лайтстоун за шахматами

Альберт Гарольд Лайтстоун (1926–1976)[1] был канадским математиком. Он был одним из пионеров нестандартный анализ, докторант Авраам Робинсон, а позже соавтор с Робинсоном книги Неархимедовы поля и асимптотические разложения..[2]

биография

Лайтстоун получил докторскую степень в Университет Торонто в 1955 году под руководством Авраама Робинсона; его диссертация была озаглавлена Вклад в теорию количественной оценки.[3] Он был профессором математики в Карлтонский университет[4] и Королевский университет.[5]

Исследование

Десятичные гиперреальные числа

В своей статье «Бесконечно малые» в Американский математический ежемесячный журнал в 1972 г.,[6] Лайтстон описал расширенную десятичную запись для гиперреалы. Здесь цифра на каждом сверхъестественный ранг, а не просто цифра для каждого ранга, заданного натуральным числом. Такая гиперреальная десятичная дробь записывается как

Здесь цифра появляется в звании , что является типичным бесконечным сверхъестественным. Точка с запятой отделяет цифры конечных рангов от цифр бесконечных рангов. Таким образом, число 0,000 ...; ... 01 с цифрой "1" бесконечного ранга ЧАС, соответствует бесконечно малому .

Разница 1 - 0,000 ...; ... 01 равна 0,999 ...; ... 9, при бесконечном сверхъестественный цифр 9. Альтернативное обозначение последнего -

куда ЧАС это бесконечное сверхъестественное. Расширенная десятичная система счисления обеспечивает строгую математическую реализацию интуиции студента относительно бесконечно малого вида 0,000 ... 01. Такая студенческая интуиция и их полезность в изучении исчисление бесконечно малых были проанализированы в исследовании 2010 года Роберта Эли в Журнал исследований в области математического образования.[7]

Другое исследование

Основные исследования Лайтстоуна заключались в нестандартный анализ. Он также писал статьи о трисекция угла,[4] инверсия матриц,[8] и приложения теория групп к формальная логика.[9]

Книги

Лайтстоун был автором или соавтором нескольких книг по математике:

  • Аксиоматический метод: введение в математическую логику (Прентис Холл, 1964). Этот вводный учебник разделен на две части, одна из которых представляет собой неформальное введение в Логическая логика а второй - с использованием формальных методов для доказательства непротиворечивости и полноты исчисление предикатов.[10] Он предназначен для студентов, которые уже знакомы с абстрактная алгебра, и одна из его тем - алгебраический взгляд на математические доказательства в логике.[11]
  • Концепции исчисления (Харпер и Роу, 1965). Это учебник по исчисление из реальные функции одной переменной. Рецензент Д. Р. Дикинсон писал, что в нем «много нового и интересного материала»; однако он также жаловался на его педантичное избегание переменных (используя вместо них функции идентичности), на его ненужную настойчивость в рассмотрении только функций, производная которых имеет ту же область, что и сама функция, и на его «скучные и длительные обсуждения элементарных тем».[12]
    • Концепции математического анализа, т. 2 (Харпер и Роу, 1966)
    • Решения к упражнениям по концепциям исчисления (Харпер и Роу, 1966)
  • Основы линейной алгебры (Appleton-Century-Crofts, 1969, ISBN  0-390-56050-2)
  • Символьная логика и система действительных чисел: введение в основы систем счисления (Харпер и Роу, 1965). В этой книге представлен курс построение действительных чисел на основе формальная логика.[13] Его цель - показать, как действительные числа могут быть получены из более простых арифметических концепций, и продемонстрировать влияние логики на остальную математику.[14] Помимо основных тем, он также содержит длинный раздел по аксиомам для нескольких алгебраических структур: группы, кольца, поля, и Булевы алгебры.[15] Одна идиосинкразия заключается в том, что вместо аксиоматизации действительных чисел с помощью Дедекинд сокращает или же Последовательности Коши, его аксиоматизация основана на последовательностях десятичных чисел.[13][14][15]
  • Неархимедовы поля и асимптотические разложения. (совместно с Авраамом Робинсоном, Северная Голландия, 1975 г.). Переиздание ПБК 2016 г.. Это вводный учебник, в котором делается попытка сделать материал из монографии Робинсона 1966 г. Нестандартный анализ более доступный,[16] и продемонстрировать полезность нестандартный анализ в учебе асимптотические разложения.[17] Он был основан на первоначальном наброске Робинсона и посмертно завершен Лайтстоуном, который сам вскоре умер.[16][17] Он начинается с введения в неархимедовы поля с множеством полезных примеров, включает необходимые инструменты из математическая логика включая сверхдержавы, в двух главах описывается, как делать нестандартный анализ с использованием Поле Леви-Чивита, и заканчивается тремя главами об асимптотических разложениях.[16]
  • Математическая логика: введение в теорию моделей (Математические концепции и методы в науке и технике, том 9, Plenum Press, 1978, ISBN  0-306-30894-0). Эта книга была издана посмертно, под редакцией Герберт Эндертон. Он состоит из трех частей, одна на пропозициональное исчисление, вторая часть на формальная семантика и третья часть о приложениях теории моделей, включая нестандартный анализ и теория множеств.[18] Однако его критиковали за медленный темп первого раздела и общее отсутствие математической строгости.[18][19]

Награды и награды

Королевский университет ежегодно присуждает стипендию Альберта Гарольда Лайтстоуна, названную в честь Лайтстоуна, студентам четвертого курса бакалавриата, специализирующимся в области математики или статистики.[20][21] Стипендия была учреждена женой Лайтстоуна после его смерти.[22]

Рекомендации

  1. ^ "Математические концепции и методы в науке и технике". www.faqs.org: Пленум. Получено 31 марта, 2011.
  2. ^ Неархимедовы поля и асимптотические разложения. Лайтстоун, А. Х. и Робинсон, Абрахам. Паб Северная Голландия. Co. (Амстердам и Нью-Йорк), 1975 год.
  3. ^ Альберт Гарольд Лайтстоун на Проект "Математическая генеалогия"
  4. ^ а б Лайтстоун, А. Х. (1962), "Конструкция для трисекции угла", Математический журнал, 35 (2): 99–102, Дои:10.1080 / 0025570X.1962.11975312, JSTOR  2688331, МИСТЕР  1571175
  5. ^ Академический календарь, математика и статистика Королевского университета В архиве 27 марта 2010 г. Wayback Machine, получено 31 марта 2011.
  6. ^ Лайтстоун, А. Х. (март 1972 г.), "Бесконечно малые", Американский математический ежемесячный журнал, 79 (3): 242–251, Дои:10.2307/2316619, JSTOR  2316619, МИСТЕР  0300889
  7. ^ Эли, Роберт (2010), «Нестандартные представления студентов о бесконечно малых» (PDF), Журнал исследований в области математического образования, 41 (2): 117–146. Эта статья представляет собой полевое исследование с участием студентки, которая разработала теорию бесконечно малых в стиле Лейбница, чтобы помочь ей понять исчисление и, в частности, объяснить "0.999..." меньше единицы на бесконечно малую 0.000...1.
  8. ^ Лайтстоун, А. Х. (1968), "Два метода обращения матриц", Дельта, Университет Висконсина, 41 (1): 1–7, Дои:10.2307/2687951, JSTOR  2687951, МИСТЕР  0231832
  9. ^ Лайтстон, А. Х. (1968), "Теория групп и принцип двойственности", Канадский математический бюллетень, 11: 43–50, Дои:10.4153 / cmb-1968-006-9, МИСТЕР  0229507
  10. ^ Обзор Аксиоматический метод к Р. Л. Гудштейн, Математические обзоры, МИСТЕР0163834.
  11. ^ Обзор Аксиоматический метод к Питер Эндрюс (1966), Журнал символической логики 31 (1): 106–108, JSTOR  2270630.
  12. ^ Обзор Концепции исчисления Д. Р. Дикинсона (1966), Математический вестник 50 (373): 329–330, JSTOR  3614713.
  13. ^ а б Хант, Берроуз (1969). «Символьная логика и система действительных чисел». Американский математический ежемесячник. 76 (6): 716. Дои:10.2307/2316722. JSTOR  2316722..
  14. ^ а б Уэббер, Дж. Катберт (1966). "Обзор Символическая логика". Наука. 153 (3735): 519. Bibcode:1966Научный ... 153..519Л. Дои:10.1126 / science.153.3735.519. JSTOR  1719891.
  15. ^ а б Гудштейн, Р. Л. (1967). "Обзор Символическая логика". Математический вестник. 51 (375): 78. Дои:10.2307/3613659. JSTOR  3613660.
  16. ^ а б c Обзор Неархимедовы поля И. Феньо, Математические обзоры, МИСТЕР0414354.
  17. ^ а б Лоеб, Питер А. (1977). "Обзор Неархимедовы поля". Бюллетень Американского математического общества. 83 (2): 231–235. Дои:10.1090 / S0002-9904-1977-14277-8.
  18. ^ а б Обзор Математическая логика Я. М. Плоткина (1980), Математические обзоры, МИСТЕР0497355 )
  19. ^ Кроссли, Дж. Н. (1979). "Обзор Математическая логика". Бюллетень Американского математического общества. 1 (6): 1003–1005. Дои:10.1090 / S0273-0979-1979-14718-9.
  20. ^ "Стипендия Альберта Гарольда Лайтстоуна". www.canadian-universities.net. 2010 г.. Получено 31 марта, 2011.
  21. ^ "Специальные награды по математике и статистике". www.queensu.ca: Королевский университет. Архивировано из оригинал 29 марта 2012 г.. Получено 31 марта, 2011.
  22. ^ "Стипендия Альберта Гарольда Лайтстоуна". www.queensu.ca: Королевский университет. Архивировано из оригинал 24 декабря 2010 г.. Получено 31 марта, 2011.