George Boole

De la Wikipedia, enciclopedia liberă.
Salt la navigare Salt la căutare
George Boole

George Boole ( Lincoln , 2 noiembrie 1815 [1] - Ballintemple , 8 decembrie 1864 [1] ) a fost un matematician și logician britanic , considerat fondatorul logicii matematice [1] . Opera sa a influențat și sectoarele filozofiei și a dat naștere școlii algebrice de logică .

Viață și gând

Din cauza sărăciei familiei sale, a fost autodidact; a studiat greacă, latină, franceză, germană, italiană și, de la o vârstă fragedă, matematică pe textele lui Laplace și Lagrange . Încurajat și regizat de Duncan Gregory , editor al Cambridge Mathematical Journal , Boole s-a dedicat studiului metodelor algebrice pentru rezolvarea ecuațiilor diferențiale și publicarea rezultatelor sale în jurnal i-a adus medalia Royal Society și în 1849 , nominalizarea la catedră de matematică la Queen's College din Cork , unde a predat pentru tot restul vieții sale. [1] La 24 noiembrie 1864, în timp ce se îndrepta spre facultate, a fost lovit de o furtună bruscă. Când a ajuns la destinație pentru a nu întârzia la lecția pe care trebuia să o dea, în loc să se schimbe, a fost îmbibat. Acest lucru a provocat o răceală care a degenerat în pneumonie . Pentru a agrava situația, a fost soția sa care l-a vindecat doar prin metode homeopate. A murit la 8 decembrie 1864, la doar 49 de ani.

Cu lucrarea The Mathematical Analysis of Logic ( 1847 ), scrisă în urma controversei apărute între Augustus De Morgan și William Sterling Hamilton (de confundat cu matematicianul și fizicianul William Rowan Hamilton ) despre cuantificarea predicatului, el a propus o interpretare a relației dintre matematică , logică și filozofie care prevedea asocierea dintre logică și matematică în locul celei dintre logică și metafizică ; Boole a considerat logica drept știința legilor simbolurilor prin care sunt exprimate gândurile și a aplicat o parte a filosofiei algebrice Cantabrigense în sectorul neexplorat al logicii formale. [2]

În 1854 și-a publicat cea mai importantă lucrare, O investigație a legilor gândirii , adresată legilor gândirii, cu care a propus o nouă abordare a logicii: scopul lucrării a fost studierea legilor operațiilor mentale la baza a raționamentului., exprimându-le în limbajul simbolic al calculului și instituind în consecință o disciplină științifică a logicii susținută de o metodă; după ce a notat analogiile dintre obiectele algebrice și obiectele logice, a readus compozițiile propozițiilor la operații algebrice simple. Cu această lucrare a fondat teoria algebrelor booleene (sau, pur și simplu, „algebra booleană”). În timp ce păstra operațiunile separate, știința logicii în formă algebrică, de la algebră ca sector al matematicii și legile logice din sectoarele științelor naturii, Boole a dat logicii un obicei matematic algebric. [2]

Ulterior s-a dedicat ecuațiilor diferențiale , subiect căruia i-a dedicat un text care a avut o mare importanță în 1859 . De asemenea, a studiat calculul diferențelor finite, publicând în 1860 tratatul privind calculul diferențelor finite și problemele generale ale calculului probabilităților . [1] El a fost, de asemenea, printre primii care au examinat proprietățile fundamentale ale numerelor , cum ar fi proprietatea distributivă , ca proprietate capabilă să caracterizeze unele teorii algebrice la bază.

Fără note de subsol
Acest articol sau secțiune pe subiect matematica lipsesc sau sunt deficitare în note și referințe bibliografice precise .
Deși există o bibliografie și / sau legături externe , nu există o contextualizare a surselor cu note de subsol sau alte referințe precise care indică cu exactitate originea informațiilor. Puteți îmbunătăți această intrare citând mai precis sursele . Urmați sfaturile de proiectare de referință .

Lucrările sale matematice i-au adus multe premii. De asemenea, a cultivat interese în literatură și filozofie : Aristotel , Cicero , Dante și Spinoza au fost autorii săi preferați.

Influențe

Lucrarea majoră a lui Boole a stat la baza (datorită lui Claude Shannon , care a recunoscut coincidența dintre funcționarea circuitelor de comutare și logica propozițională), a studiilor privind circuitele electronice și comutarea și a constituit un pas important către concepția computerelor moderne.

În domeniul logicii, cele mai mari merite ale sale au fost aplicarea calculului simbolic la logică și depășirea modelului aristotelic ca insuficient pentru a susține schela logicii în sine. Așa-numitele „valori booleene”, esențiale și foarte importante, sunt utilizate foarte frecvent în informatică, de la limbaje de nivel scăzut ( Asamblare ), până la limbaje de nivel înalt și tehnologii web.

Primul admirator și continuator al lucrării sale a fost Augustus De Morgan .

Bibliografie

Lucrări

  • Cercetări privind teoria transformărilor analitice, cu o aplicație specială pentru reducerea ecuației generale de ordinul doi în The Cambridge Mathematical Journal , 2: 64–73, 1841.
  • Despre anumite teoreme din calculul variațiilor din The Cambridge Mathematical Journal , 2: 97–102, 1841.
  • Despre integrarea ecuațiilor diferențiale liniare cu coeficienți constanți, în The Cambridge Mathematical Journal , 2: 114-119, 1841.
  • Analiza matematică a logicii, fiind un eseu către un calcul al raționamentului deductiv , Macmillan, Barclay și Macmillan, Cambridge, 1847.
  • Calculul logicii în Cambridge and Dublin Mathematical Journal , 3: 183–198, 1848.
  • O investigație a legilor gândirii pe care se întemeiază teoriile matematice ale logicii și probabilităților , Macmillan, 1854.
  • A Treatise on Differential Equations , Macmillan, Cambridge, 1859.
  • A Treatise on the Calculus of Finite Differences , Macmillan, Cambridge, 1860.

Traduceri în italiană

  • Investigația legilor gândirii, pe care se bazează teoriile matematice ale logicii și probabilității , Torino, Einaudi, 1976.
  • Analiza matematică a logicii , Torino, Bollati Boringhieri , 1993. ISBN 978-88-339-0736-9

Literatura secundară

  • William Calvert Kneale, Martha Kneale, Istoria logicii , Einaudi, Torino, 1972.
  • Corrado Mangione , Silvio Bozzi , Istoria logicii: de la Boole până în prezent , Garzanti, Milano, 1993. ISBN 88-11-59966-0
  • Massimo Mugnai , Introducere în G. Boole, Analiza matematică a logicii , Bollati Boringhieri, Torino, 1993, pp. VII-LVIII. ISBN 978-88-339-0736-9
  • T. Hailperin, Algebra lui Boole nu este algebră booleană , în J. Gasser, A Boole Anthology , Kluwer, Dordrecht, 2000. ISBN 0-7923-6380-9
  • V. Sanchez, Algebra of Logic , în AA.VV, Manual de istorie a logicii , Vol. 3: „Ascensiunea logicii moderne: de la Leibniz la Frege”, Elsevier, Amsterdam, 2004. ISBN 0-444-51611- 5
  • T. Hailperin, Algebraic logic , în AA.VV, Manual de istoria logicii , Vol. 3: „Ascensiunea logicii moderne: de la Leibniz la Frege”, Elsevier, Amsterdam, 2004. ISBN 0-444-51611-5

Notă

  1. ^ a b c d e Lance Day și Ian McNeil, Dicționar biografic de istorie a tehnologiei , Londra, Routledge, 1998, p. 82, Acces condiționat prin Questia.
  2. ^ a b Gândirea logică a lui George Boole , de Archimede Albertelli, publ. în Science (Scientific American) , nr.146, octombrie 1980, paginile 22-30

Alte proiecte

linkuri externe

Controlul autorității VIAF (EN) 49.282.014 · ISNI (EN) 0000 0001 1061 4506 · Europeana agent / bază / 145 373 · LCCN (EN) n83144364 · GND (DE) 118 661 655 · BNF (FR) cb122540641 (dată) · BNE (ES) XX1165696 (data) · NLA (EN) 35.704.306 · CERL cnp01335438 · NDL (EN, JA) 00.433.839 · WorldCat Identities (EN) lccn-n83144364
Adus de la „ https://it.wikipedia.org/w/index.php?title=George_Boole&oldid=120876448 ”