Аугустус де Морган — Вікіпедія

Аугустус де Морган
Народився 27 червня 1806(1806-06-27)[1][2][…]
Мадурай, Мадраське президенствоd, Британська Індія, Британська імперія
Помер 18 березня 1871(1871-03-18)[1][2][…] (64 роки)
Лондон, Сполучене Королівство
Країна  Сполучене Королівство
Діяльність математик, філософ, викладач університету, адвокат, логік
Alma mater Триніті-коледж (Кембридж)
Кембриджський університет[4]
Галузь математична логіка
Заклад Університетський коледж Лондона
Вчителі Джордж Пікокd
Вільям Вевелл і John Philips Higmand
Відомі учні Ада Лавлейс
У шлюбі з Софія Елізабет де Морганd[5]
Діти Джордж де Морганd[5]
Вільям де Морганd[5]
Мері де Морганd[5]
Автограф

Висловлювання у Вікіцитатах
CMNS: Аугустус де Морган у Вікісховищі

Аугустус де Морган (англ. Augustus De Morgan; 27 червня 1806 — 18 березня 1871) був британським математиком та логіком. Він сформулював закони Де Моргана і ввів термін математичної індукції.

Біографія[ред. | ред. код]

Дитинство[ред. | ред. код]

Аугустус де Морган народився в Мадурай, Мадрас, Індія в 1806 році. Його батько був полковником, який займав різні посади на службі Ост-Індської компанії. Його мати походила від Джеймса Додсона, який обчислював таблиці анти-логарифмів, тобто чисел, які відповідали точним логарифмам. Морган осліп на одне око, через місяць або два після того, як він народився. Сім'я переїхала в Англію, коли Аугустусу було сім місяців. Як його батько та дід, які обидва народилися в Індії, Де Морган говорив, що він не був ні англійцем, ні шотландцем, ні ірландцем, але вважав себе британцем «одинаком», використовуючи технічний термін, який застосовується для студентів із Оксфорда або Кембриджа, хто не перебуває ні в одному з коледжів.

Коли Де Моргану було десять років, його батько помер. Місіс де Морган проживала в різних місцях на південному заході Англії, і її син отримав початкову освіту в різних школах. Його математичні таланти залишалися непоміченими, поки йому не виповнилося чотирнадцять років, коли мати застала Аугустуса під час креслення з циркулем та лінійкою складного малюнку фігури Евкліда. Вона пояснила Аугустусу ціль Евкліда, продемонструвавши її.

Він здобув середню освіту від пана Парсонса, співробітника Oriel College, Oxford, який більше схвалював класику, ніж математику. Його мати була активним і палким членом Англіканської церкви і хотіла, щоб її син став священиком, але до цього часу де Морган почав показувати своє невідповідне розташування щодо християнства.

Вища освіта[ред. | ред. код]

У 1823 році у віці шістнадцяти років, Де Морган увійшов до Триніті-коледжу, Кембридж, де він потрапив під вплив Джорджа Пікока та Вільяма Вевелла, які стали його друзями на все життя; від першого він отримав інтерес до оновлення алгебри, а від останнього зацікавленість у реконструкції логіки — двох суб'єктів свого майбутньою трудового життя. Його наставником із Кембриджу був Джон Філіпс Хігман.

У коледжі він грав на флейті для відпочинку і займав чільне місце в музичних клубах. Його любов до знань щодо музики заважала підготовці до великої математичної гонки. Він мав право отримати ступінь бакалавра мистецтв, але для того, щоб отримати вищий ступінь магістра мистецтв і тим самим отримати право на спілкування у товаристві, було тоді необхідно пройти богословський тест. Під час написання такого тесту де Морган відчував сильне заперечення, хоча він і був вихований в Церкві Англії. 1875 року богословські тести на здобуття вчених ступенів були скасовані в університетах Оксфорда і Кембриджа.

Лондонський університет[ред. | ред. код]

У зв'язку з відсутністю кар'єри у власному університеті він вирішив піти працювати юристом і оселився в Лондоні, але він надавав перевагу викладанню математики, напротивагу викладанню права. Приблизно в цей час сформувався рух за заснування Лондонського університету (нині Університетський коледж Лондона). Два старовинних університети Оксфорда і Кембриджа були так прив'язані до богословських тестів, що жоден єврей або незгодний з віруванням англіканської церкви не міг бути студентом, а тим більше бути призначеним на будь-яку посаду. Група ліберально-налаштованих людей вирішили розв'язати ці труднощі, заснувавши в Лондоні університет за принципом релігійної нейтральності. Де Морган був призначений професором математики. Його вступна лекція «Про вивчення математики» була дискусією на розумове утворення постійного значення, а нещодавно була перевидана в Сполучених Штатах.

Лондонський університет був новою установою і відносини між радою управління, Сенатом, професорами і студентами не були чітко визначені. Виникла суперечка між професором анатомії і його учнями, і в результаті заходів, прийнятих Радою, кілька професорів подали у відставку, на чолі з Де Морганом. Інший професор математики, який був призначений, утримався на посаді декілька років. Де Морган показав себе князем вчителів: він був запрошений, щоб повернутися в своє крісло, яке згодом стало безперервним центром його праць протягом тридцяти років.

Де Морган був одним з найбільш об'ємних і ефективних письменників. Він написав велику роботу по диференціальному й інтегральному численні, яка була опублікована в суспільстві, і він написав одну шосту статей в Penny енциклопедії, виданій Товариством, а також випущених у Penny Cyclopedia. Коли Де Морган приїхав оселитися в Лондоні, він познайомився з Віл'ємом Френдом. Обидва були арифметиками, а їхні релігійні погляди були трохи схожі. Френд жив в тогочасному передмісті Лондона, в заміському будинку, який раніше займали Даніель Дефо і Ісаак Воттс. Де Морган зі своєю флейтою був бажаним гостем.

Де Морган був дуже успішним вчителем математики. У нього був свій план проведення годинної лекцій: в кінці кожної лекції, щоб дати ряд завдань та прикладів ілюструючих тему лекції, його учні мали отримати завдання і принести йому результати, які він продивлявся і повертав переглянутими до наступної лекції. На думку Де Моргана, ретельне осмислення і розумове засвоєння великих принципів набагато важливіші за значущість будь-якого аналітичного на половину зрозумілого принципу у застосуванні в конкретних випадках.

Родина[ред. | ред. код]

Восени 1837 року він одружився з Софією Елізабет, яка була старшою дочкою Вільяма Френда (соціальний реформатор) і його дружини, внучки Френсіса Блекборна. Де Морган мав трьох синів і чотирьох дочок, у тому числі казкарка Марія де Морган. Його старший син Вільям Де Морган був гончарем. Його другий син Джордж мав велике розходження в області математики Університетського коледжу і Університету Лондона. Він і ще деякі однодумці-випускники мали ідею створення математичного товариства в Лондоні, де математичні роботи не тільки приймалися (як у Королівському товаристві), але насправді читались й обговорювались. Перша зустріч пройшла в університетському коледжі; де Морган був першим президентом, його син першим секретарем. Це стало початком Лондонського математичного товариства.

Вихід на пенсію та смерть[ред. | ред. код]

У 1866 році місце професора на кафедрі філософії в Університетському коледжі залишалося вакантним. Джеймс Мартіно, як унітарний священик і професор філософії, був рекомендований формально сенатом в Раду, але в Раді були ті, хто виступав проти унітарнаного священика, і ті, хто виступав проти теїстичної філософії. Мирянин школи Bain Герберт Спенсер був призначений на це місце. Де Морган вважав, що старий стандарт релігійного нейтралітету був недійсний, і негайно подав у відставку. Тепер він був у віці 60 років. Його учні забезпечили йому пенсію в 500 фунтів стерлінгів на рік, але потім трапилось нещастя. Два роки опісля, його син Георгій — «молодший Бернуллі», як Аугустус любив чути, коли його сина так називали, помер. Після цього удару померла дочка. П'ять років потому, після його відставки з Університетського коледжу де Морган помер 18 березня 1871 року від нервової прострації.

Цікаві моменти[ред. | ред. код]

Де Морган був блискучий і дотепний письменник, незалежно від того, як полеміст або як кореспондент. У нього було повно різних особливостей та у багатьох випадках дивна поведінка. З нагоди прзначення його друга, лорда Брума, як ректора Едінбурзького університету, сенат запропонував подарувати Де Моргану почесний ступінь професора університету, на що той відмовився, пояснюючи це помилкою сенату. Одного разу він друкував свої назви: Аугустус де Морган H — O - M — O - P — A - U — C - A — R - U — M - L — I - T — E - R — A - R — U - M (лат. «людина з кількох літер»

Він не любив провінцій за межами Лондона і, в той час як його родина відпочивала на морі і діячі науки проводили гарно час на засіданнях Британської асоціації за містом, він залишався в жарких і запилених бібліотеках столиці. Де Морган казав, що він відчував себе, як Сократ, який заявляв, що, чим далі він був від Афін, тим далі він був від щастя. Він ніколи не прагнув стати членом Королівського товариства і він ніколи не був присутній на засіданні Товариства; він казав, що у нього не було нічого спільного, або навіть симпатії до справжніх філософів. Його ставлення було, можливо, пов'язано з його фізичною неміччю, яка заважала йому бути або спостерігачем, або експериментатором. Він ніколи не голосував на виборах і він ніколи не бував у Палаті громад, або в Лондонському Тауері, або Вестмінстерському абатстві.

Математика[ред. | ред. код]

Де Морган продовжує давати інвентаризації фундаментальних символів алгебри, а також перелік законів алгебри. Тільки ці символи та літери є основними 0, 1, +, -, ×, ÷, () (), а всі інші є похідними. Його інвентаризації основних законів виражаються у чотирнадцяти пунктах, але деякі з них є просто визначеннями. Закони належності можна звести до наступних, які, як він зізнається, не всі незалежні один від одного:

  1. Закон знаків. + + = +, + − = −, − + = −, − − = +, × × = ×, × ÷ = ÷, ÷ × = ÷, ÷ ÷ = ×.
  2. Комутативний закон. a+b = b+a, ab=ba.
  3. Дистрибутивний(розподільний закон). a(b+c) = ab+ac.
  4. Індексний закон. ab×ac=ab+c, (ab)c=abc, (ab)d= ad×bd.
  5. aa=0, a÷a=1.

Два останніх закони можна назвати законами скорочення. Де Морган сподівається дати повний перелік законів, які повинні коритися символам алгебри, бо він говорить: «Будь-яка система символів, яка підкоряється цим законам, а не іншим, крім того випадку, коли вона не буде сформована шляхом поєднання цих законів, і яка використовує попередні символи і ніякі інші, крім того випадку, що вони будуть винайдені як нові символи в абревіатурі поєднання цих символів, є алгеброю символів». З його точки зору, жоден з вище перелічених принципів не є правилом, вони є формальними законами. Він не згадує закон, який вже був зазначений Григорієм, а саме: , і який згодом отримав назву асоціативний закон. Якщо комутативний закон не працює, асоціативний закон може бути використаний, але не навпаки. Це біда для символіста або формаліста, що в універсальних арифметичних виразах не дорівнює ; , бо тоді комутативний закон мав би повну перевагу. Чому не надати йому повної переваги? Тому що основи алгебри, врешті-решт, реальні, не формальні, матеріал не символічний. Для формалістів індекс операції надзвичайно вогнетривкий, внаслідок чого деякі не враховують їх, але відносять їх до прикладної математики. Щоб дати перелік законів, яким повинні коритися символи алгебри, необхідно виконати нездійсненні завдання.

Аугустус Де Морган першим помітив, що в класичній логіці справедливі наступні відношення:

not (P and Q) = (not P) or (not Q): not (P or Q) = (not P) and (not Q)

Звичайний запис цих законів у формальній логіці:

або

в теорії множин:

або: Якщо існує операція логічного множення двох чи більше елементів, операція «та» — (A&B), то для того, щоб знайти зворотне від всього твердження ~(A&B), необхідно знайти зворотне від кожного елемента та об'єднати їх операції логічним складенням, операцією «або» — (~A+~B). Закон працює аналогічно у зворотному напрямі: ~(A+B) = (~A&~B)

Спадщина[ред. | ред. код]

За свої великі математичні досягнення, штаб-квартира Лондонського математичного товариства була названа на честь Де Моргана як De Morgan House, і студентське суспільство Математичного факультету Університетського коледжу в Лондоні називають Аугустус Де Морганським суспільством.

Кратер Морган на Місяці названий на його честь.

Вибрані твори[ред. | ред. код]

Примітки[ред. | ред. код]

  1. а б Архів історії математики Мактьютор — 1994.
  2. а б SNAC — 2010.
  3. а б Internet Speculative Fiction Database — 1995.
  4. Математичний генеалогічний проєкт — 1997.
  5. а б в г Oxford Dictionary of National Biography / C. MatthewOxford: OUP, 2004.
  6. Karpinski, Louis (1916). Review: Бюджет парадокси (2nd edn.), by Augustus De Morgan. Bull. Amer. Math. Soc. 22 (9): 468–471. Архів оригіналу за 30 травня 2013. Процитовано 3 грудня 2012. 

Література[ред. | ред. код]