George Boole: verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
k |{{Largethumb}}| is redundant, gebruik voortaan |thumb| |
|||
Regel 29:
In 1834, op negentienjarige leeftijd, richtte hij een school op in [[Lincoln (Lincolnshire)|Lincoln]]. In 1838 verhuisde hij met zijn ouders en zijn broer en zus naar [[Waddington (Lincolnshire)|Waddington]] om daar – in een dienstbetrekking – de school van een vroegere, overleden werkgever voort te zetten. Een paar jaar later keerde de familie terug naar Lincoln, waar Boole zijn eigen kostschool begon. In 1849 werd hij aangesteld als eerste hoogleraar wiskunde aan het toenmalige [[University_College_Cork|Queen’s College in Cork]] in [[Ierland (land)|Ierland]], waar de bibliotheek, het ondergrondse collegezalencomplex en het Boole Centrum voor Informatica-onderzoek<ref>[http://www.bcri.ucc.ie Boole Centre for Research in Informatics]</ref> naar hem zijn vernoemd. In 1855 huwde hij [[Mary Everest Boole|Mary Everest]] (een nicht van [[George Everest]]), die later verschillende opvoedkundige boeken schreef.
[[
Boole had vijf dochters:
* Mary, die huwde met de wiskundige en schrijver [[Charles Hinton|Charles Howard Hinton]] en drie kinderen (Howard, William en Joan) had.
Regel 40:
== Werk ==
[[
Voor het bredere publiek was Boole slechts bekend als de schrijver van talrijke artikelen over wiskundige onderwerpen en drie of vier overzichtelijke publicaties die maatgevend zijn geworden. Zijn eerste gepubliceerde verhandeling was de "Researches in the theory of analytical transformations, with a special application to the reduction of the general equation of the second order.” (Onderzoek naar de theorie van analytische transformaties, met een speciale toepassing op de reductie van de algemene vergelijking van de tweede orde) verscheen in februari 1840 in het pas opgerichte [[wiskundig tijdschrift]] ''[[The Cambridge Mathematical Journal]]'' (Band 2, nr. 8, p. 64-73). Deze publicatie leidde tot een vriendschap tussen Boole en [[Duncan Gregory]], de hoofdredacteur van dit tijdschrift. Deze vriendschap duurde tot 1844, het jaar dat Duncan Gregory op jeugdige leeftijd overleed. Zijn artikel 'Exposition of a General Theory of Linear Transformations' (november 1841) gaf de aanzet tot de [[invariantentheorie]].
Tijdens zijn leven zijn door Boole maar twee systematische verhandelingen over wiskundige onderwerpen voltooid. Het bekende ''Treatise on Differential Equations (Verhandeling over Differentiaalvergelijkingen'') verscheen in 1859, en werd het jaar daarop gevolgd door een ''Treatise on the [[Analyse (wiskunde)|Calculus]] of Finite Differences (Verhandeling over de [[Analyse (wiskunde)|Analyse]] van [[eindigheid|eindige]] verschillen''), bedoeld als een vervolg op het eerste werk. Deze verhandelingen vormen waardevolle bijdragen aan de belangrijke desbetreffende takken van wiskunde. Tot op zekere hoogte geven deze verhandelingen uitdrukking aan de meer belangwekkende ontdekkingen van hun schrijver. In het zestiende en zeventiende hoofdstuk van de ''Differential Equations'' vinden we bijvoorbeeld een verslag van de algemene symbolische methode, de stoutmoedige en knappe werkwijze, die leidde tot de belangrijkste ontdekkingen van Boole, en van een algemene analysemethode, die aanvankelijk was beschreven in zijn befaamde verhandeling, die gepubliceerd was in de ''Philosophical Transactions'' van 1844. Boole was een van de belangrijkste mensen, die opmerkte dat de werkingssymbolen gescheiden konden worden van de kwantitatieve symbolen en behandeld konden worden als afzonderlijke berekeningsobjecten. Zijn belangrijkste kenmerk was een volmaakt vertrouwen in elk resultaat, dat werd verkregen door de behandeling van symbolen overeenkomstig hun basiswetten en -voorwaarden en een bijna ongeëvenaarde vaardigheid en vermogen om deze resultaten uit te tekenen.
Regel 47:
Tijdens de laatste paar jaar van zijn leven was Boole onafgebroken bezig met het uitbreiden van zijn onderzoek, met de bedoeling om een tweede editie te voltooien van zijn Differential Equations, die veel afgeronder zou zijn dan de eerste uitgave. Daarvoor bracht hij een deel van zijn vakantie door in de bibliotheken van de Royal Society en het [[Brits Museum]]; maar deze nieuwe uitgave is nooit tot stand gekomen. Na zijn overlijden bleken de manuscripten zo onvolledig dat Todhunter, die ze in handen kreeg, het onmogelijk vond om ze te gebruiken voor de publicatie van een tweede editie van de oorspronkelijke verhandeling en ze daarom in 1865 uitgaf in een aanvullend boekdeel.
[[
Met uitzondering van [[Augustus De Morgan]], was Boole waarschijnlijk de eerste Engelse wiskundige sinds de tijd van [[John Wallis]], die ook over [[logica]] had geschreven.<ref>De correspondentie tussen Boole en De Morgan is uitgegeven: G.C. Smith, ''The Boole-De Morgan Correspondence 1842-1864'' (Oxford, Clarendon Press, 1982).</ref> Zijn nieuwe ideeën over de logische methode waren te danken aan hetzelfde grote vertrouwen in het [[symbool|symbolische]] redeneren, waarin hij met succes bij zijn wiskundige onderzoek zijn vertrouwen had gesteld. In gedachten was Boole bezig geweest met beschouwingen betreffende een analyse van de manier van redeneren in verschillende perioden, maar pas in het voorjaar van 1847 stelde hij zijn ideeën op schrift in het pamflet met de titel ''[[Mathematical Analysis of Logic]]''. Achteraf beschouwde Boole dat als een overhaaste en onvolmaakte weergave van zijn logische systeem en wilde hij dat alleen zijn veel uitgebreidere werk ''An Investigation of the Laws of Thought, on Which are Founded the Mathematical Theories of Logic and Probabilities'' (1854), gezien zou worden als een uitgewerkte weergave van zijn ideeën. Desondanks bezit zijn vroegere werk betreffende de logica de charme van oorspronkelijkheid, die eenvoudig naar waarde te schatten is.
Hij beschouwde logica niet als een tak van wiskunde, zoals dat door de titel van zijn eerdere pamflet zou kunnen lijken, maar hij wees op een zodanig vergaande [[Analogiebewijs|analogie]] tussen de symbolen van de [[algebra]] en de symbolen die volgens hem tot stand konden worden gebracht om logische vormen en [[syllogisme]] weer te geven, dat we nauwelijks tot een andere conclusie kunnen komen dan dat (speciaal zijn) [[formele logica]] wiskundig beperkt is tot de twee eenheden, 0 en 1. Als eenheid duidde Boole het [[universum]] van alle denkbare [[wiskundig object|objecten]] aan; [[letterlijke]] symbolen, zoals x, y, z, v, u, enz., werden gebruikt om de facultatieve betekenis aan gewone [[adjectief|adjectieven]] en substantieven te hechten. Dus als x = gehoornd en y = schaap, geven de daaropvolgende keuzebewerkingen weergegeven door x en y, als zij worden toegepast op de eenheid, het geheel weer van de gehoornde schapen. Boole liet zien dat dit soort facultatieve symbolen gehoorzamen aan dezelfde primaire [[Combinatie (wiskunde)|combinatie]]-wetten als [[algebraïsche symbolen]], waaruit volgde dat ze vrijwel op dezelfde manier als getallen opgeteld, afgetrokken, vermenigvuldigd en zelfs gedeeld konden worden. Dus (1 - x) zou de handeling weergeven van het selecteren van alle dingen ter wereld, behalve gehoornde dingen, en (1 - x) (1 - y) zou ons alle dingen opleveren die niet gehoornd en schaap waren. Door het gebruik van dergelijke symbolen zouden [[propositie]]s teruggebracht kunnen worden tot de vorm van [[vergelijking (wiskunde)|vergelijkingen]] en de syllogistische conclusie uit twee [[Premisse (logica)|premissen]] werd dan verkregen door het elimineren van de middelste term volgens de gewone algebraïsche regels.
[[
Nog origineler en opmerkelijker was echter dat gedeelte van zijn systeem – volledig uiteengezet in zijn ''Laws of Thought'' – dat een algemene symbolische methode voor een logische [[gevolgtrekking]] vormde. Boole liet zien hoe, bij elke [[propositie]] met betrekking tot elk getal, door de zuiver symbolische behandeling van de premissen, elke conclusie getrokken kon worden die logisch in die premissen besloten lag. Het tweede gedeelte van de ''Laws of Thought'' bevat een soortgelijke poging om een algemene methode te ontdekken bij waarschijnlijkheden, die ons in staat zou stellen om vanuit de gegeven waarschijnlijkheden van elk systeem van gebeurtenissen, de daaruit volgende waarschijnlijkheid te bepalen van elke andere gebeurtenis, die logisch verbonden is met de gegeven gebeurtenissen.
Regel 61:
== Nalatenschap ==
[[
Het werk van Boole is voortgezet en verfijnd door [[William Stanley Jevons]], [[Augustus De Morgan]], [[Charles Sanders Peirce]], en [[William Ernest Johnson]]. Dat werk werd weer samengevat door [[Ernst Schröder]], [[Louis Couturat]], en [[Clarence Irving Lewis]].
In 1921 publiceerde de econoom [[John Maynard Keynes]] een boek dat sindsdien wordt beschouwd als een klassieker over de [[waarschijnlijkheid]]stheorie: "A Treatise of Probability." De opmerkingen van Keynes over Boole’s waarschijnlijkheidstheorie werden over het algemeen beschouwd als de definitieve uiteenzetting over het onderwerp. Keynes vond dat Boole een fundamentele vergissing had begaan, die zijn analyse veel schade had berokkend. In een onlangs verschenen boek, "The Last Challenge Problem," verschaft David Miller een algemene methode, die in overeenstemming is met het systeem van Boole en die de problemen probeert op te lossen, die eerder door Keynes en anderen waren onderkend.<ref name="Miller">[http://zeteticgleanings.com/boole.html http://zeteticgleanings.com/boole.html]</ref>
Booles werk (net als dat van zijn intellectuele volgelingen) was betrekkelijk onbekend, behalve bij logici. Ten tijde dat het verscheen leek het geen praktisch belang te hebben. Ongeveer zeventig jaar na het overlijden van Boole, woonde [[Claude Shannon]] echter een filosofiecollege bij op de [[Universiteit van Michigan]], dat hem liet kennismaken met het werk van Boole. Shannon zag dat het werk van Boole de grondslag kon vormen voor mechanismen en processen in de echte wereld en daarom uiterst relevant was. Shannon schreef op het [[Massachusetts Institute of Technology]] (MIT) vervolgens een [[dissertatie]], waarin hij liet zien hoe de Booleaanse algebra het ontwerp kon optimaliseren van elektromagnetische relaissystemen, die destijds werden gebruikt bij stuurschakelingen bij de telefonie. Hij toonde vervolgens aan dat dergelijke relaiscircuits kunnen worden gebruikt om alle problemen op te lossen die de booleaanse algebra kan oplossen. Het gebruikmaken van de eigenschappen van elektrische schakelingen is het basisidee dat ten grondslag ligt aan alle huidige elektronische digitale computers. Volgens de Sovjetlogici en -wiskundigen S.A. [[Yanovskaya]], Gaaze-Rapoport, [[Dobrushin]], Lupanov, Medvedev en Uspensky, stelde [[Victor Shestakov]] van de Staatuniversiteit van Moskou (1907-1987) nog eerder dan [[Claude Shannon]], namelijk in 1935, een theorie op over elektrische schakelingen, gebaseerd op de booleaanse logica, hoewel zij die datzelfde jaar (1938) pas verdedigden. De eerste publicatie van het resultaat van Shestakov vond echter pas plaats in 1941 (in het Russisch). In elk geval vormt de booleaanse algebra de grondslag voor het feitelijke ontwerp van het [[digitale circuit]], en zo verschafte Boole via Shannon en Shestakov, de basis voor het [[digitale tijdperk]].<ref>"That dissertation has since been hailed as one of the most significant master's theses of the 20th century. To all intents and purposes, its use of binary code and Boolean algebra paved the way for the digital circuitry that is crucial to the operation of modern computers and telecommunications equipment."{{
== Bibliografie ==
[[
Er bevindt zich een lange lijst van verhandelingen en afzonderlijke artikelen, allemaal over logische en wiskundige onderwerpen in de ''Catalogue of Scientific Memoirs'' gepubliceerd door de [[Royal Society]], en in het aanvullende deel over ''[[differentiaalvergelijking]]en'', uitgegeven door Isaac Todhunter. Aan het ''Cambridge Mathematical Journal'' en de opvolger daarvan, het ''[[Cambridge (Engeland)|Cambridge]] en [[Dublin]] Mathematical Journal'', droeg Boole in totaal tweeëntwintig artikelen bij. In de derde en vierde jaargang van het ''Philosophical Magazine'' worden zestien artikelen van zijn hand aangetroffen. De Royal Society publiceerde zes belangrijke verhandelingen in de ''Philosophical Transactions'', en een paar andere artikelen staan in de ''Transactions'' van de ''[[Royal Society of Edinburgh]]'' en van de ''[[Royal Irish Academy]]'', in het ''Bulletin de l'Académie de St-Pétersbourg'' van 1862 (onder de naam G. Boldt, deel iv. p. 198-215), en in ''[[Journal für die reine und angewandte Mathematik|Crelle’s Journal]]''. In het ''[[Mechanic's Magazine]]'' van 1848 is ook een artikel van hem gepubliceerd over de wiskundige grondslagen van de logica. Het werk van Boole omvat in totaal ongeveer vijftig verspreide artikelen, in een paar afzonderlijke publicaties.
| |||