Augustus De Morgan

Augustus De Morgan wurde als Sohn in Indien stationierten Soldaten geboren seine Familie aber bald nach England zurück. Er fiel der Schule kaum auf interessierte sich jedoch jeher für merkwürdige Zahlenspiele. 1823 besuchte er Trinity College in Cambridge wurde dort unter anderem von George unterrichtet und schloss es als B.A. ab. kehrte 1826 nach London zurück und erhielt 1828 am neu gegründeten University College einen

De Morgan war ein Freund von Charles Babbage . Auf dessen Anregung hin unterrichtete er Lovelace in Mathematik damit diese Babbages Entwürfe Analytical Engine besser verstehen konnte. De Morgan verfasste mathematische Artikel wie Elements of Arithmetic (1830) Trigonometry and Double Algebra (1849) eine geometrische Deutung der komplexen und Formal Logic (1847) eine seiner wichtigsten Arbeiten. 1838 er als erster den Begriff "mathematische Induktion" seiner Veröffentlichung "Induction (Mathematics") in Penny Cyclopedia für die er insgesamt 712 Artikel Darin wurde ebenfalls sein berühmtes Werk The Differential and Integral Calculus gedruckt. Am bekanntesten wurde er durch nach ihm benannten Regeln:

De Morgansche Gesetze

<math>\overline{p \wedge q} = \bar{p}\vee \bar{q}</math>

<math>\overline{p \vee q} = \bar{p}\wedge \bar{q}</math>

Sie besagen dass jede Konjunktion durch eine Disjunktion ersetzt werden kann und umgekehrt. Diese wurden seither häufig bei mathematischen Beweisen und bei der Programmierung verwendet. De Morgan gilt gemeinsam mit George Boole als Begründer der formalen Logik . George Boole veröffentlichte 1847 ein kleines mit dem Namen Mathematical Analysis of Logic . Anlass es auszuarbeiten und zu veröffentlichen der heftige Prioritätenstreit zwischen William Rowan Hamilton und de Morgan über die Quantifizierung Prädikaten . 1854 erschien Booles zweites Hauptwerk zur Laws of Thought. Dazu meinte De Morgan: "Dass die Prozesse der Algebra ursprünglich zum Zweck numerischer erfunden fähig sein sollten jeden Akt des auszudrücken und Grammatik und Wörterbuch eines allumfassenden der Logik zu liefern dies hätte niemand bevor es in »Laws of Thought« bewiesen

Bücher zum Thema Augustus De Morgan

Dieser Artikel von Wikipedia unterliegt der GNU FDL.