Знаймо

Додати знання

приховати рекламу

Цей текст може містити помилки.

Буль, Джордж


George Boole.jpg

План:


Введення

Джордж Буль ( англ. George Boole ; 2 листопада 1815, Лінкольн - 8 грудня 1864, Баллінтемпл, графство Корк, Ірландія) - англійська математик і логік. Професор математики Королівського коледжу Корка (нині Університетський коледж Корк) з 1849. Один з предтеч математичної логіки.


1. Біографія

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

Лише до сімнадцяти років Буль дійшов до вищої математики, просуваючись повільно через відсутність дієвої допомоги.

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

Чотири їхньої дочки здобули популярність як вчені ( геометр Алісія, хімік Люсі), або члени вчених сімей (Мері, дружина математика і письменника Ч. Г. Хінтона, і Маргарет, мати математика Дж. І. Тейлора), а п'ята - Етель Ліліан Войнич - прославилася як письменник.

Буль помер на п'ятдесятому році життя від запалення легенів.


2. Наукова діяльність

Публіці Буль був відомий в основному як автор ряду важких для розуміння статей на математичні теми і трьох або чотирьох монографій, які стали класичними.

Публікація першої статті ("Теорія математичних перетворень", 1839) призвела до дружби між Булем і Д. Ф. Грегорі (редактором "Кембриджського математичного журналу", де стаття була опублікована), що тривала до самої смерті останнього в 1844 р. В цей журнал і успадкував йому "Кембріджський і дублінський математичний журнал" Буль представив двадцять дві статті.

Шістнадцять його статей були опубліковані в "Філософському журналі" (Philosophical Magazine), шість мемуарів - в " Філософські праці "(Philosophical Transactions), ряд інших - в" Працях Королівського товариства Единбурга і Королівської Ірландської академії "(Transactions of the Royal Society of Edinburgh and of the Royal Irish Academy), в" Віснику С.-Петербурзької академії "(Bulletin de l'Acadmie de St-Ptersbourg, під псевдонімом G. Boldt, Vol. IV. pp. 198-215) і в журналі Крелля (Journal fr die reine und angewandte Mathematik).

Цей список доповнює публікація 1848 в "Журналі механіка" (Mechanic's Magazine) про математичні основи логіки.

Усього Булем було опубліковано близько п'ятдесяти статей в різних виданнях і кілька монографій.


3. Математична логіка

Буль був, ймовірно, першим після Джона Валліса математиком, що звернулися до логічної проблематики. Ідеї ​​застосування символічного методу до логіки вперше висловлені ним у статті "Математичний аналіз логіки" ( 1847). Не задоволений отриманими в ній результатами, Буль висловлював побажання, щоб про його погляди судили по великому трактату "Дослідження законів мислення, на яких грунтуються математичні теорії логіки і ймовірностей" ( 1854). Буль не вважав логіку розділом математики, але знаходив глибоку аналогію між символічним методом алгебри і символічним методом представлення логічних форм і силогізмів. Одиницею Буль позначав універсум мислимих об'єктів, літерними символами - вибірки з нього, пов'язані зі звичайними прикметниками і іменниками (так, якщо x = "рогаті", а y = "вівці", послідовний вибір x і y з одиниці дасть клас рогатих овець). Буль показав, що символіка такого роду підпорядковується тим самим законам, що й алгебраїчна, з чого випливало, що їх можна складати, віднімати, множити і навіть ділити. У такій символіці висловлювання можуть бути зведені до форми рівнянь, а висновок з двох посилок силогізму - отримано шляхом виключення середнього терміна за звичайними алгебраїчним правилами. Ще більш оригінальною і примітною була частина його системи, представленої в "Законах мислення ...", що утворює загальний символічний метод логічного висновку. Буль показав, як з будь-якого числа висловлювань, що включають будь-яке число термінів, вивести будь-який висновок, що випливає з цих висловлювань, шляхом чисто символічних маніпуляцій. Друга частина "Законів мислення ..." містить аналогічну спробу виявити загальний метод в обчисленні ймовірностей, що дозволяє із заданих ймовірностей сукупності подій визначити ймовірність будь-якого іншого події, логічно пов'язаного з ними. Професор Огірко, Ігор на основі Теорія Буля створив теорію відносності в логіці.


4. Математичний аналіз

На математичні теми Булем протягом життя були створені два систематичних трактату: "Трактат про диференціальних рівняннях" ( 1859, друге видання не завершено, матеріали до нього опубліковані посмертно в 1865) і задуманий як його продовження "Трактат про кінцевих різницях" ( 1860). Ці праці внесли важливий внесок у відповідні розділи математики і в той же час продемонстрували глибоке розуміння Булем філософії свого предмета.

5. Інші праці

Хоча за винятком математичних та логічних робіт Буль публікувався мало, його праці виявляють широке і глибоке знайомство з літературою. Його улюбленим поетом був Данте, причому "Рай" подобався йому більше, ніж "Пекло".

Постійними предметами вивчення були для Буля метафізика Аристотеля, етика Спінози, філософські праці Цицерона і безліч подібних робіт. Роздуми про наукових, філософських та релігійних питаннях містяться в чотирьох промовах - "Геній сера Ісаака Ньютона", "Гідне користування дозвіллям", "Домагання науки" та "Соціальний аспект інтелектуальної культури" - виголошених і опублікованих ним у різний час.


6. Основні твори

  • "Математичний аналіз логіки" ( 1847);
  • "Логічне числення" ( 1848);
  • "Дослідження законів мислення" ( 1854).

Цей текст може містити помилки.

Схожі роботи | скачати

Схожі роботи:
Буль, П'єр
Буль, Андре-Шарль
Стаббс, Джордж
Бенсон, Джордж
Ола, Джордж
Бест, Джордж
Паладе, Джордж
Бой Джордж
Еббот, Джордж
© Усі права захищені
написати до нас
Рейтинг@Mail.ru