Bull, George

Den aktuella versionen av sidan har ännu inte granskats av erfarna bidragsgivare och kan skilja sig väsentligt från versionen som granskades den 14 augusti 2022; kontroller kräver 2 redigeringar .
George Bull
engelsk  George Boole
Födelsedatum 2 november 1815( 1815-11-02 )
Födelseort Lincoln , Lincolnshire , England
Dödsdatum 8 december 1864 (49 år)( 1864-12-08 )
En plats för döden Ballintemple , County Cork , Irland
Land  Storbritannien
Vetenskaplig sfär matematik , logik , matematikens filosofi
Arbetsplats King's College Cork
Utmärkelser och priser Kunglig medalj
Wikisources logotyp Jobbar på Wikisource
 Mediafiler på Wikimedia Commons

George Boole ( eng.  George Boole ; 2 november 1815 , Lincoln  - 8 december 1864 , Ballintemple, County Cork , Irland) - engelsk matematiker och logiker . Professor i matematik vid King's College Cork (numera University College Cork ) från 1849. En av grundarna av matematisk logik .

Biografi

George Bull föddes och växte upp i familjen till en fattig hantverkare John Bull, som var passionerad för vetenskap. Fadern, intresserad av matematik och logik, gav de första lektionerna till sin son, men han misslyckades med att upptäcka sina enastående talanger inom de exakta vetenskaperna tidigt , och klassiska författare blev hans första passion.

Först vid sjutton års ålder nådde Boole högre matematik och rörde sig långsamt på grund av bristen på effektiv hjälp.

Från sexton års ålder började Buhl arbeta som lärarassistent på en privat skola i Doncaster och fortsatte på ett eller annat sätt att undervisa i olika befattningar under hela sitt liv. Han var gift (sedan 1855  ) med Mary Everest (w. Everest Bull) , systerdotter till den berömda geografen George Everest , också engagerad i vetenskap och undervisning, och efter hennes makes död ägnade han mycket ansträngning åt att popularisera hans bidrag till logiken.

Buhl dog på det femtionde året av sitt liv av lunginflammation .

Familj

Booles fyra döttrar blev berömmelse som vetenskapsmän (geometern Alicia , kemisten Lucy ), eller medlemmar av lärda familjer ( Mary , hustru till matematikern och författaren C. G. Hinton , och Margaret, mamman till matematikern J. I. Taylor ).

Den femte dottern är Ethel Lilian Voynich , författaren till romanen "The Gadfly " och hustru till Mikhail (Wilfred) Voynich , upptäckaren av Voynich-manuskriptet .

Vetenskaplig verksamhet

Boole var känd för allmänheten främst som författare till ett antal svårförståeliga artiklar om matematiska ämnen och tre eller fyra monografier som blivit klassiker.

Publiceringen av den första artikeln (Theory of Mathematical Transformations, 1839) ledde till en vänskap mellan Boole och Duncan Gregory (redaktör för Cambridge Mathematical Journal, där artikeln publicerades), som fortsatte fram till den senares död 1844. Boole skickade in tjugotvå uppsatser till denna tidskrift och dess efterträdare, Cambridge and Dublin Journal of Mathematics.

Sexton av hans artiklar publicerades i Philosophical Magazine, sex memoarer i Philosophical Transactions och ett antal andra i Transactions of the Royal Society of Edinburgh och Royal Irish Academy ), i Bulletin de l'Académie de St-Pétersbourg , under pseudonymen G. Boldt, Vol. IV. s. 198-215) och i Crelles journal ( Journal für die reine und angewandte Mathematik ).

Denna lista kompletteras med en publikation från 1848 i Mechanic's Magazine om logikens matematiska grunder.

Totalt publicerade Boole ett femtiotal artiklar i olika publikationer och flera monografier.

Matematisk logik

Boole var förmodligen den förste matematikern efter John Wallis att vända sig till logiska problem. Idéerna om att tillämpa den symboliska metoden på logik uttrycktes först av honom i artikeln "Mathematical Analysis of Logic" ( 1847 ). Inte nöjd med resultaten som erhållits däri, uttryckte Boole önskan att hans åsikter skulle bedömas av den omfattande avhandlingen "Undersökning av tankelagarna som de matematiska teorierna om logik och sannolikhet bygger på" ( 1854 ). Boole ansåg inte logiken som en gren av matematiken, men fann en djup analogi mellan den symboliska metoden för algebra och den symboliska metoden att representera logiska former och syllogismer. Boole betecknade universum av tänkbara objekt med enheten, med alfabetiska symboler - urval från den, förknippade med vanliga adjektiv och substantiv (till exempel om x = "horned" och y = "får", det successiva urvalet av x och y från enheten kommer att ge klassen av behornade får). Boole visade att denna typ av symbolik lyder samma lagar som algebraisk, varav det följde att de kan adderas, subtraheras, multipliceras och till och med divideras. I sådan symbolik kan påståenden reduceras till formen av ekvationer, och slutsatsen från syllogismens två premisser kan erhållas genom att eliminera mellantermen enligt de vanliga algebraiska reglerna. Ännu mer originell och anmärkningsvärd var den del av hans system som presenterades i "Laws of Thought ...", som bildar en allmän symbolisk metod för logisk slutledning. Boole visade hur man utifrån ett valfritt antal uttalanden, inklusive valfritt antal termer, kan dra slutsatser som följer av dessa uttalanden, genom rent symbolisk manipulation. Den andra delen av "Tankens lagar ..." innehåller ett liknande försök att upptäcka en allmän metod i sannolikhetskalkylen, som gör det möjligt att utifrån de givna sannolikheterna för en uppsättning händelser bestämma sannolikheten för någon annan händelse logiskt. kopplade till dem.

Matematisk analys

Under sitt liv skapade Boole två systematiska avhandlingar om matematiska ämnen: A Treatise on Differential Equations (1859; den andra upplagan blev inte färdig, material för den publicerades postumt 1865) och Treatise on Finite Differences, tänkt som dess fortsättning ( 1860 ) . Dessa verk gav ett viktigt bidrag till de relevanta grenarna av matematik och visade samtidigt Booles djupa förståelse av filosofin i hans ämne [1] .

Andra skrifter

Tillsammans med matematik var Boole seriöst engagerad i studiet av kristen teologi, studerade Bibeln, jämförde den kristna läran om Gud Fadern, Gud Sonen och Gud den Helige Ande (Heliga Treenigheten) med tre dimensioner av rymden, och skulle till och med bli präst .

Även om Buhl publicerade lite förutom matematiska och logiska verk, visar hans skrifter en bred och djup förtrogenhet med litteratur. Hans favoritpoet var Dante , och han gillade paradiset mer än helvetet.

Regelbundna ämnen för studier för Boole var Aristoteles metafysik , Spinozas etik , Ciceros filosofiska skrifter och många liknande verk. Reflektioner kring vetenskapliga, filosofiska och religiösa frågor finns i fyra tal - "The Genius of Sir Isaac Newton", "Worthy Use of Leisure", "The Claims of Science" och "The Social Aspect of Intellectual Culture" - levererade och publicerade av honom vid olika tidpunkter.

Stora verk

Minne

Se även

Anteckningar

  1. ↑ Selivanov D.F. Bul, George // Encyclopedic Dictionary of Brockhaus and Efron  : i 86 volymer (82 volymer och ytterligare 4). - St Petersburg. 1890-1907.
  2. ↑ Boole-konferenser 2015 . Hämtad 12 juni 2022. Arkiverad från originalet 30 mars 2018.
  3. ↑ George Boole 200 (inte tillgänglig länk) . Hämtad 17 januari 2020. Arkiverad från originalet 21 september 2014. 

Litteratur

Länkar

  Gå till Wikidata-objektet  Tematiska platser
Ordböcker och uppslagsverk
Släktforskning och nekropol