Biografia | |
---|---|
Naixement | 27 juny 1806 Madurai (Índia) |
Mort | 18 març 1871 (64 anys) Londres |
Sepultura | Cementiri de Kensal Green (Londres) 51° 31′ 42″ N, 0° 13′ 02″ O / 51.528232°N,0.217146°O |
Formació | Trinity College (Cambridge) |
Tesi acadèmica | No la va llegir, en negar-se a fer el test de teologia. (1826) |
Director de tesi | George Peacock; William Whewell |
Es coneix per | Lleis de De Morgan |
Activitat | |
Camp de treball | Lògica matemàtica |
Ocupació | Matemàtiques Lògica |
Organització | University College de Londres |
Professors | George Peacock, William Whewell i John Philips Higman (en) |
Alumnes | James Joseph Sylvester Isaac Todhunter |
Influències | |
Família | |
Cònjuge | Sophia Elizabeth Frend |
Fills | William Frend De Morgan, George De Morgan, Mary De Morgan |
Pares | John De Morgan |
Augustus De Morgan (Madurai, 27 de juny de 1806 - Londres, 18 de març de 1871) fou un matemàtic i lògic britànic.
Tot i haver nascut a l'actual Índia, fill d'un coronel de l'exèrcit britànic i d'una descendent de James Dodson, la família es va traslladar a Anglaterra quan ell tenia només set mesos i havent perdut la vista de l'ull dret. La família es va instal·lar a Worcester, tot i que el pare va retornar a la India tot sol el 1808.[1] El pare va morir el 1816, durant el seu viatge de retorn a Anglaterra.[2]
Després dels seus estudis secundaris en diverses escoles,[3] el 1823 va ingressar al Trinity College (Cambridge) on va ser deixeble de George Peacock,[4] de William Whewell i de George Biddell Airy[5] i on es va graduar el 1827 com quart wrangler.[6] Les seves intencions eren de començar una carrera jurídica i, per això, va ingressar a l'Honorable Societat del Lincoln's Inn; però poc després va ser designat catedràtic de matemàtiques aplicades a la recentment creada University College de Londres,[7] amb la qual mantindrà una llarga relació.
El 1831 va dimitir del seu càrrec en protesta per l'acomiadament del anatomista Pattison, però va retornar a la institució el 1837. Durant aquest cinc anys va escriure nombrosos articles per la Society for the Diffusion of Useful Knowledge i també va treballar con actuari per la Rock Life Assurance Office fundada per William Frend, qui era el seu sogre. També va tenir com estudiant Ada Lovelace, la filla de lord Byron.[8]
De 1837 a 1866 va ser catedràtic de matemàtiques al University College. El 1866 va tornar a dimitir pel, segons ell, tractament injust que la universitat va donar al filòsof James Martineau.[9] De Morgan, que ja tenia seixanta anys, no va tornar a la docència. Durant aquest període, va promoure l'obra del matemàtic indi aficionat Yesudas Ramchundra, que ha estat anomenat el Ramanujan de De Morgan; va supervisar la traducció i edició anglesa del llibre de Ramchundra Treatise on Problems of Maxima and Minima el 1859. A la introducció agraïa haver conegut la tradició índia de lògica, tot i que no és clar que tingués influència en la seva obra.[10]
El octubre de 1867 va morir el seu fill George, també professor de matemàtiques en qui tenia posades moltes esperances i amb qui havia fundat la London Mathematical Society. Això va significar un fort cop en la vida de De Morgan.[11] Els últims anys de la seva vida els va passar estudiant les sagrades escriptures i comparant les seves diferents versions i traduccions del grec.[12]
A part dels més de sis-cents articles que va escriure per la Penny Cyclopedia (de l'Associació per a la Difusió del Coneixement Útil), De Morgan va escriure diversos llibres de text de matemàtiques i unes guies per al estudi d'aquesta disciplina. En totes elles intentava defensar el seu concepte de coneixement matemàtic i el seu paper en la vida intel·lectual. En aquest sentit sempre va estar al costat dels membres de la Societat Analítica (Babbage, Peacok i Herschel).[13]
Va escriure diverses obres de lògica en les quals es troba la idea d'aplicar en aquest camp els mètodes matemàtics, així com els primers resultats de la seva aplicació. En la lògica matemàtica moderna, porten el nom de De Morgan les següents lleis fonamentals de l'àlgebra de la lògica: la negació de la conjunció és equivalent a la disjunció de les negacions i la negació de la disjunció és equivalent a la conjunció de les negacions.
Formalment, les lleis de De Morgan s'expressen com segueix: