Dialäkt: Schwäbisch |
Dr George Boole [ˌdʒɔːdʒ ˈbuːɫ] (* 2. November 1815 en Lincoln, England; † 8. Dezember 1864 en Ballintemple, en dr Grofschaft Cork, Irland) isch an englischer Mathematiker, Logiker ond Philosoph gwäa.
Dr George Boole hot außer dr Grondschual koine weiderfihrende Schuala bsuacht. Er hot sich selber Aldgrieachisch, Franzesisch ond Deitsch beibrocht. Mit 16 isch er Hilfslehrer worra, damit er sei Familie finanziell onderschditza hot kenna. Mit 19 hot er sei oigene Schual ufgmacht. Wega seina wissaschafdlicha Arbeida isch er no 1848 Matheprofesser worra am Queens College en Cork (Irland), obwohl er selber koi Uni bsuacht hot. Dort hot er d Mary Everest kennaglernd, sei spädere Frau. Dui war mathemadisch entressiert und hot als Bibliothekarin sich mit dr Didakdik vo dr Mathematik ausanandergsetzt. Vo ihrm Onkl George Everest hot dr hechschde Berg vo dr Welt sein Nama. George ond Mary hänt faif Dechder ghet, oine dovo isch d Autorin ond Musikerin Ethel Lilian Voynich (1864–1960) ond oine d Mathemadikerin Alicia Boole Stott (1860–1940), dui s ohne akademische Bildong gschafft hot, d reguläre Polyeder en vier Dimensiona z klassifiziera. Vo dr Royal Society isch dr Boole 1844 mit dr Royal Medal auszeichnet worra. 1847 hot er sei epochemachends Buach The Mathematical Analysis of Logic publiziert ond 1854 sei ausfihrlichers Buach An Investigation of the Laws of Thought. 1857 isch er zom Mitglied („Fellow“) von dr Royal Society gwählt worra.
George Boole isch am 8. Dezember 1864 scho mit 49 an ra fiebriga Erkäldong gschdorba. Er isch nemlich z Fuaß zwoi Meila em stremenda Rega zur Uni gloffa ond hot sei Vorlesong no en durchnässde Kloider ghalda. Dobei hot er sich erkäldet ond hohs Fieber kriagt ond sich nemme erholt. Zo ällem Ibel hat sei Frau ehn nach dr domoliga Nadurhoilkonde bhandlet ond da kranka Ma noch dr Regel „Gleiches mit Gleichem“ kibelweis mit kalt Wasser ibergossa. Als Todesursach hot mr no Pleuraerguss ageh.[1]
Boole hot en seira Schrift The Mathematical Analysis of Logic vo 1847 da erschda logischa Kalkül gschaffa ond domit d mathemadische Logik begrindet, dia sich vo dr bis do na iblicha Logik durch a konsequende Formalisierong onderscheidet. Er hot d klassische Logik ond Aussagalogik en Formla ibersetzt ond a Rechaverfahra entwiggled, mit dem mr endscheida ka, ob a Formel wohr oder falsch isch.[2][3] Weil aus dr Endscheidbarkeit d Vollschdändigkeit ond Widerspruchsfreiheit vo dr klassischa Logik folgt, hot dr Boole domit scho guat 70 Johr vor am David Hilbert seim Programm a Lesong bodda fir da wichdigschda Doil vo dr Logik. Späder hot ma em Boole sei Logik a bissle weider entwigglet zor boolescha Algebra ond zom boolescha Reng ond noch em bnannt. Dia Strukdura hent a große Bedeidong in dr Mengalehre ond dr ganza Mathematik kriagt.
Boole hot en dr ganz normala Algebra grechnet, mo jeder aus dr Schual kennt. Des hoißt auf Fachchinesisch: Er hot em a Potenzreiha-Reng überm Körper vo de reelle Zahla grechnet.[4] No isch er herganga ond hot statt am Wördle OND ganz oifach molgnomma ond ebbas Negierds vo dr Ois abzoga ond verlangd, dass ebbes mit sich molgnomma nix Neis geit em logischa Bereich; seine Formla ka mr au mit heidiga Symbol schreiba:[5]
OND |
ET |
für älle logische Term |
S isch klar, dass et älle Formla an logischa Senn hänt: zom Beispiel macht logisch koin Senn, weil 2 mol 2 et 2 isch; deswega hot dr Boole et inderpredierbar gnennt.[6] S Addiera isch also im logischen Doil vo dr Algebra bloß a partiella Operatio, drom hot er vo ausgwählta logischa Formla ond Gleichonga gsprocha.[7] Des hänt seine Nochfolger hefdich kridisiart.[8][9] Er hot aber gar koin Fehler gmacht. Mr rechnet nemlich leicht noch, dass dr logische Bereich en sich abgschlossa isch: D Ois mit sich molgnomma geit nix Neis, a Produkt vo zwei logischa Formla mit sich molgnomma geit nix Neis ond ebbes Negierds mit sich molgnomma geit au nix Neis. No geit au älles, was mr logisch mit sodde Formla definiera ka, mit sich molgnomma nix Neis. Des gilt au fir seine Formla zom ODER ond ENTWEDER-ODER:[10]
ODER |
ENTWEDER ODER |
Offasichtlich ghöret boide Definitiona zom logischa Bereich:
Wer rechna ka, ka sich au leicht iberzeiga: Sei ODER-Definitio liafret älle Axiom vo dr spädera boolescha Algebra und sei ENTWEDER-ODER-Definitio älle Axiom vom spädere boolescha Reng, ma muaß allerdengs und strigt onderscheida.
Boole hot sei Algebra in erschder Linie fir Begriff gschaffa; do isch s Universom (d Allklass) und d Buachstaba standed fir Klassa (Begriff). Domit hot er no d scholaschdische Syllogischdik analysierd[11] ond d Grondaussaga dozua als Gleichonga gfasst:[12]
Boole hot aber sein Kalkül au als Aussagalogik gnutzt. Do standed d Buachstaba fir Aussaga ond ond send Wohrheitswert:[13]
Zerscht hot er no d hypothetische Syllogisma aus dr stoische Aussagelogik analysierd.[14] No hot er au noh a semandischs Endscheidongsverfahra entwigglet, bei dem ma lauder Wohrheitswert in a Formel eisetzt ond an Wohrheitswert ausrechnet.[15] Sell entschpricht em Entscheidongsverfahra mit Wohrheitsdafla, mit dena ma Tautologia ermiddla duat.
Onder dr boolescha Algebra verschdoht ma heit nemme em Boole sei oigena Algebra, sondern dr boolescha Verband, den Boole-Nochfolger entwigglet hänt. 1864 hot dr William Stanley Jevons älle logisch sennlose Formla bei Boole ausgschieda und dr Additio da Senn vom ODER geh mit dr Regel .[16] Dr Boole hot em gschrieba, dass er et oinich sei mit dera Ominterpredatio, weil d Regla vo dr normala Algebra verletzt send, s dät nemlich aus dr Osenn folga.[17] Oinaweg hot sich dui Veränderung vo seim Kalkül durchgsetzt, hauptsächlich onderm Eifluss vom Ernst Schröder, der dazua 1877 s erschde vollschdändige Axiomasyschdem ageh hot; des hot no 1888 dr Giuseppe Peano in d modern Fassong broacht, bei dera ma s Pluszeicha nemma benitza duat, damit s koine Verwechslonga geit.[18][19]
Am Boole sei Kalkül lässt sich au so modifiziera, dass koine logisch sennlose Formla meh vorkommat ond trotzdem d ibliche Recharegla fir d Additio geldet. Dazua muass d Additio logisch abgeschlossa sei ond mendeschdens gelda, on des hoißt no oder . Offasichtlich hot no d Additio da Senn vo ENTWEDER-ODER. Ma ka no au minus en plus omwandla: . So an Kalkül hot erschd 1927 dr Iwan Iwanowitsch Schegalkin ageh.[20] Ma spricht vom a boolescha Reng, so hot dr Marshall Harvey Stone 1936 dui Algebra gnennt, in der älle aus Schual bekannde Recharegla geldet, aber koine andere Zahla als Null ond Ois vorkommad. S Entscheidongsverfahra wird do suber oifach: Ma wandlet enra Formel minus in plus om, multiplizierd no aus ond streicht älle dopplede Fakdora ond Summanda mit da Regla ond . Des geit a sognannde distributive Normalform, dera ma glei asiaht, ob se wohr oder falsch isch. Des macht ma sich am beschda an am Beispiel klar: Dr sognannde Satz vom ausgschlossena Dridda hot d Formel ; mit am Boole seine Definitiona hoißt des ond mit plus statt minus ; ausmultipliziert kriagt ma no ond noch am Streicha mit sella zusätlicha Regla bleibt ibrich, on des isch genau d Normalform vonara wohra Formel. Bei ra falscha Formel wär d Normalform ond bei ra Formel, mo et wohr ond et falsch isch, irgend ebbes anders.
Boide Kalkülmodifikationa send im Originalkalkül vom Boole emplizit enthalda, weil ma wia gsait mit seina Definitiona boide Axiomasyschdem herloida ka.
![]() |
Dä Artikel basiert uff ere fräie Übersetzig vu dere Version vum Artikel „George_Boole“ vu de dütsche Wikipedia. E Liste vu de Autore un Versione isch do z finde. |