Bull, George

Den aktuelle version af siden er endnu ikke blevet gennemgået af erfarne bidragydere og kan afvige væsentligt fra den version , der blev gennemgået den 14. august 2022; checks kræver 2 redigeringer .

George Bull
engelsk George Boole

Fødselsdato	2. november 1815( 02-11-1815 )
Fødselssted	Lincoln , Lincolnshire , England
Dødsdato	8. december 1864 (49 år)( 1864-12-08 )
Et dødssted	Ballintemple , County Cork , Irland
Land	Storbritanien
Videnskabelig sfære	matematik , logik , matematikkens filosofi
Arbejdsplads	King's College Cork
Priser og præmier	Kongelig medalje
Arbejder hos Wikisource
Mediefiler på Wikimedia Commons

George Boole ( eng. George Boole ; 2. november 1815 , Lincoln - 8. december 1864 , Ballintemple, County Cork , Irland) - engelsk matematiker og logiker . Professor i matematik ved King's College Cork (nu University College Cork ) fra 1849. En af grundlæggerne af matematisk logik .

Biografi

George Bull er født og opvokset i familien til en fattig håndværker John Bull, som brændte for videnskab. Faderen, der var interesseret i matematik og logik, gav de første lektioner til sin søn, men han formåede ikke at opdage sine fremragende talenter inden for de eksakte videnskaber tidligt , og klassiske forfattere blev hans første passion.

Først i en alder af sytten nåede Boole højere matematik og bevægede sig langsomt på grund af manglen på effektiv hjælp.

Fra en alder af seksten begyndte Buhl at arbejde som lærerassistent på en privatskole i Doncaster og fortsatte på den ene eller anden måde med at undervise i forskellige stillinger gennem hele sit liv. Han var gift (siden 1855 ) med Mary Everest (w. Everest Bull) , niece af den berømte geograf George Everest , også engageret i videnskab og undervisning, og efter hendes mands død, viede en stor indsats for at popularisere hans bidrag til logik.

Buhl døde i det halvtredsindstyvende år af sit liv af lungebetændelse .

Familie

Booles fire døtre opnåede berømmelse som videnskabsmænd (geometret Alicia , kemikeren Lucy ) eller medlemmer af lærde familier ( Mary , hustru til matematikeren og forfatteren C. G. Hinton , og Margaret, mor til matematikeren J. I. Taylor ).

Den femte datter er Ethel Lilian Voynich , forfatteren til romanen "The Gadfly " og hustru til Mikhail (Wilfred) Voynich , opdageren af Voynich-manuskriptet .

Videnskabelig aktivitet

Boole var kendt i offentligheden hovedsageligt som forfatter til en række svære at forstå artikler om matematiske emner og tre eller fire monografier , der er blevet klassikere.

Udgivelsen af den første artikel (Theory of Mathematical Transformations, 1839) førte til et venskab mellem Boole og Duncan Gregory (redaktør af Cambridge Mathematical Journal, hvor artiklen blev publiceret), som fortsatte indtil sidstnævntes død i 1844. Boole indsendte toogtyve artikler til dette tidsskrift og dets efterfølger, Cambridge og Dublin Journal of Mathematics.

Seksten af hans artikler blev publiceret i Philosophical Magazine, seks memoirer i Philosophical Transactions og en række andre i Transactions of the Royal Society of Edinburgh og Royal Irish Academy ) i Bulletin de l'Académie de St-Pétersbourg , under pseudonymet G. Boldt, bind IV. s. 198-215) og i Crelles journal ( Journal für die reine und angewandte Mathematik ).

Denne liste er suppleret med en publikation fra 1848 i Mechanic's Magazine om logikkens matematiske grundlag.

I alt publicerede Boole omkring halvtreds artikler i forskellige publikationer og flere monografier.

Matematisk logik

Boole var sandsynligvis den første matematiker efter John Wallis , der vendte sig mod logiske problemer. Ideerne om at anvende den symbolske metode til logik blev først udtrykt af ham i artiklen "Matematical Analysis of Logic" ( 1847 ). Ikke tilfreds med de opnåede resultater deri udtrykte Boole ønsket om, at hans synspunkter skulle bedømmes efter den omfattende afhandling "Undersøgelse af tankelovene, som de matematiske teorier om logik og sandsynlighed er baseret på" ( 1854 ). Boole betragtede ikke logik som en gren af matematikken, men fandt en dyb analogi mellem den symbolske metode for algebra og den symbolske metode til at repræsentere logiske former og syllogismer. Boole betegnede universet af tænkelige objekter med enheden med alfabetiske symboler - markeringer fra den, forbundet med almindelige adjektiver og substantiver (f.eks. hvis x = "hornet" og y = "får", den successive udvælgelse af x og y fra enheden vil give klassen af hornede får). Boole viste, at denne form for symbolik adlyder de samme love som algebraisk, hvoraf det fulgte, at de kan lægges til, subtraheres, ganges og endda divideres. I en sådan symbolik kan udsagn reduceres til form af ligninger, og konklusionen fra syllogismens to præmisser kan opnås ved at eliminere mellemleddet efter de sædvanlige algebraiske regler. Endnu mere original og bemærkelsesværdig var den del af hans system, der præsenteres i "Laws of Thought ...", som danner en generel symbolsk metode til logisk slutning. Boole viste, hvordan man ud fra et hvilket som helst antal udsagn, inklusive et hvilket som helst antal udtryk, kan udlede enhver konklusion, der følger af disse udsagn, ved ren symbolsk manipulation. Den anden del af "Laws of Thought ..." indeholder et lignende forsøg på at opdage en generel metode i sandsynlighedsregningen, som tillader, ud fra de givne sandsynligheder for et sæt begivenheder, at bestemme sandsynligheden for enhver anden begivenhed logisk forbundet med dem.

Matematisk analyse

I løbet af sit liv skabte Boole to systematiske afhandlinger om matematiske emner: A Treatise on Differential Equations (1859; anden udgave blev ikke afsluttet, materialer til den blev udgivet posthumt i 1865) og Treatise on Finite Differences, udtænkt som dens fortsættelse ( 1860 ) . Disse værker ydede et vigtigt bidrag til de relevante grene af matematikken og demonstrerede samtidig Booles dybe forståelse af hans fags filosofi [1] .

Andre skrifter

Sammen med matematik var Boole seriøst engageret i studiet af kristen teologi, studerede Bibelen, sammenlignede den kristne doktrin om Gud Faderen, Gud Sønnen og Gud Helligånden (Hellig Treenighed) med tre dimensioner af rummet, og skulle endda til blive præst .

Selvom Buhl kun udgav kun matematiske og logiske værker, afslører hans skrifter et bredt og dybt kendskab til litteraturen. Hans yndlingsdigter var Dante , og han kunne lide Paradiset mere end Helvede.

Regelmæssige emner for Boole var Aristoteles ' metafysik , Spinozas etik , Ciceros filosofiske skrifter og mange lignende værker. Refleksioner over videnskabelige, filosofiske og religiøse spørgsmål er indeholdt i fire taler - "The Genius of Sir Isaac Newton", "Worthy Use of Leisure", "The Claims of Science" og "The Social Aspect of Intellectual Culture" - leveret og udgivet af ham på forskellige tidspunkter.

Større værker

"Matematical Analysis of Logic" (The Mathematical Analysis of Logic, 1847 );
"Logisk Regning" ( 1848 );
En undersøgelse af tankelovene ( 1854 ).

Hukommelse

Et krater på Månen blev opkaldt efter George Boole i 1964 .
Den boolske variabeltype i programmering blev opkaldt efter ham .
I 2015 fejrede Irish National University Cork 200-året for George Booles fødsel [2] [3] .

Se også

Noter

↑ Selivanov D.F. Bul, George // Encyclopedic Dictionary of Brockhaus and Efron : i 86 bind (82 bind og 4 yderligere). - Sankt Petersborg. , 1890-1907.
↑ Boole-konferencer 2015 . Hentet 12. juni 2022. Arkiveret fra originalen 30. marts 2018. (ubestemt)
↑ George Boole 200 (ikke tilgængeligt link) . Hentet 17. januar 2020. Arkiveret fra originalen 21. september 2014. (ubestemt)

Litteratur

B.V. Biryukov. Boole // New Philosophical Encyclopedia : i 4 bind / prev. videnskabeligt udg. råd fra V. S. Stepin . — 2. udg., rettet. og yderligere - M . : Tanke , 2010. - 2816 s.