George Bull | |
---|---|
Angličtina George Boole | |
Datum narození | 2. listopadu 1815 |
Místo narození | Lincoln , Lincolnshire , Anglie |
Datum úmrtí | 8. prosince 1864 (ve věku 49 let) |
Místo smrti | Ballintemple , hrabství Cork , Irsko |
Země | Velká Británie |
Vědecká sféra | matematika , logika , filozofie matematiky |
Místo výkonu práce | King's College Cork |
Ocenění a ceny | Královská medaile |
![]() | |
Mediální soubory na Wikimedia Commons |
George Boole ( Eng. George Boole ; 2. listopadu 1815 , Lincoln – 8. prosince 1864 , Ballintemple, County Cork , Irsko) – anglický matematik a logik . Profesor matematiky na King's College Cork (nyní University College Cork ) od roku 1849. Jeden ze zakladatelů matematické logiky .
George Bull se narodil a vyrůstal v rodině chudého řemeslníka Johna Bulla, který byl vášnivý pro vědu. Otec, který se zajímal o matematiku a logiku, dával první lekce svému synovi, ale nepodařilo se mu brzy objevit své vynikající nadání v exaktních vědách a klasičtí autoři se stali jeho první vášní.
Teprve ve věku sedmnácti let dosáhl Boole vyšší matematiky a pohyboval se pomalu kvůli nedostatku účinné pomoci.
Od svých šestnácti let začal Buhl pracovat jako asistent pedagoga na soukromé škole v Doncasteru a tak či onak pokračoval ve výuce na různých pozicích po celý život. Byl ženatý (od roku 1855 ) s Mary Everestovou (w. Everest Bull) , neteří slavného geografa George Everesta , zabývajícího se také vědou a vyučováním, a po smrti svého manžela věnovala mnoho úsilí popularizaci svého příspěvku k logice.
Buhl zemřel v padesátém roce svého života na zápal plic .
Booleovy čtyři dcery se proslavily jako vědkyně (geometrka Alicia , chemička Lucy ) nebo členky učených rodin ( Mary , manželka matematika a spisovatele C. G. Hintona , a Margaret, matka matematika J. I. Taylora ).
Pátá dcera je Ethel Lilian Voynich , autorka románu "The Gadfly " a manželka Michaila (Wilfreda) Voynicha , objevitele Voynichova rukopisu .
Boole byl veřejnosti znám především jako autor řady obtížně srozumitelných prací na matematická témata a tří až čtyř monografií , které se staly klasikou.
Publikace prvního článku (Theory of Mathematical Transformations, 1839) vedlo k přátelství mezi Boole a Duncan Gregory (editor Cambridge Mathematical Journal, kde byl článek publikován), které pokračovalo až do jeho smrti v roce 1844. Boole zaslal do tohoto časopisu a jeho nástupce Cambridge and Dublin Journal of Mathematics dvacet dva článků.
Šestnáct z jeho článků bylo publikováno ve Philosophical Magazine, šest memoárů ve Philosophical Transactions a řada dalších v Transactions of the Royal Society of Edinburgh a Royal Irish Academy ), v Bulletin de l'Académie de St-Pétersbourg. , pod pseudonymem G. Boldt, svazek IV. s. 198-215) a v Crelleho časopise ( Journal für die reine und angewandte Mathematik ).
Tento seznam je doplněn publikací z roku 1848 v Mechanic's Magazine o matematických základech logiky.
Celkem Boole publikoval asi padesát článků v různých publikacích a několika monografiích.
Boole byl pravděpodobně prvním matematikem po Johnu Wallisovi , který se začal zabývat logickými problémy. Myšlenky použití symbolické metody na logiku poprvé vyjádřil v článku „Mathematical Analysis of Logic“ ( 1847 ). Boole, který nebyl spokojen s výsledky v něm získanými, vyjádřil přání, aby jeho názory byly posuzovány rozsáhlým pojednáním „Vyšetřování zákonů myšlení, na nichž jsou založeny matematické teorie logiky a pravděpodobnosti“ ( 1854 ). Boole nepovažoval logiku za odvětví matematiky, ale našel hlubokou analogii mezi symbolickou metodou algebry a symbolickou metodou reprezentace logických forem a sylogismů. Boole označoval vesmír myslitelných objektů jednotkou, s abecedními symboly - výběry z ní, spojené s běžnými adjektivy a podstatnými jmény (například pokud x = "rohatý" a y = "ovce", postupný výběr x a y z jednotka dá třídu rohaté ovce). Boole ukázal, že tento druh symboliky se řídí stejnými zákony jako algebraická, z čehož vyplývá, že je lze sčítat, odečítat, násobit a dokonce dělit. V takové symbolice lze výroky zredukovat na formu rovnic a závěr ze dvou premis sylogismu lze získat odstraněním středního členu podle obvyklých algebraických pravidel. Ještě originálnější a pozoruhodnější byla část jeho systému představená v „Zákonech myšlení...“, které tvoří obecnou symbolickou metodu logického vyvozování. Boole ukázal, jak z libovolného počtu výroků, včetně libovolného počtu termínů, vyvodit jakýkoli závěr, který z těchto výroků vyplývá, čistě symbolickou manipulací. Druhá část „Zákonů myšlení...“ obsahuje podobný pokus o objevení obecné metody v počtu pravděpodobností, která umožňuje z daných pravděpodobností množiny událostí logicky určit pravděpodobnost jakékoli jiné události. s nimi spojené.
Boole během svého života vytvořil dvě systematická pojednání na matematická témata: Pojednání o diferenciálních rovnicích (1859; druhé vydání nebylo dokončeno, materiály k němu vyšly posmrtně v roce 1865) a Pojednání o konečných rozdílech, koncipované jako jeho pokračování ( 1860 ) . Tyto práce významně přispěly k příslušným odvětvím matematiky a zároveň ukázaly Booleovo hluboké porozumění filozofii svého předmětu [1] .
Spolu s matematikou se Boole vážně zabýval studiem křesťanské teologie, studoval Bibli, porovnával křesťanskou nauku o Bohu Otci, Bohu Synu a Bohu Duchu Svatém (Svatá Trojice) se třemi rozměry prostoru, dokonce se chystal stát se knězem .
Ačkoli Buhl publikoval jen málo kromě matematických a logických prací, jeho spisy odhalují širokou a hlubokou obeznámenost s literaturou. Jeho oblíbeným básníkem byl Dante a ráj se mu líbil víc než peklo.
Pravidelnými předměty studia pro Boolea byly metafyzika Aristotela , etika Spinozy , filozofické spisy Cicera a mnoho podobných děl. Úvahy o vědeckých, filozofických a náboženských otázkách jsou obsaženy ve čtyřech projevech – „Génius sira Isaaca Newtona“, „Vhodné využití volného času“, „Nároky vědy“ a „Sociální aspekt intelektuální kultury“ – přednesené a publikované ho v různých časech.
![]() | ||||
---|---|---|---|---|
Slovníky a encyklopedie |
| |||
Genealogie a nekropole | ||||
|