Augustus De Morgan
mathematician · 2 mentions across 2 readings
In this course
De Morgan's formalization of logical principles—particularly his concept of the "universe of discourse"—provides foundational vocabulary for discussing how computational systems define and constrain their operational domains. The course readings invoke De Morgan's framing to argue that AI systems, like logical propositions, operate within bounded categorical spaces rather than universal knowledge, establishing a crucial distinction for understanding both historical computing (in the context of Lovelace-Babbage collaboration) and contemporary machine learning. His work thus anchors the seminar's investigation into how machines are taught to parse meaning within artificially delimited worlds.
Background
Augustus De Morgan was a British mathematician and logician. He is best known for De Morgan's laws relating logical conjunction, disjunction, and negation, and for coining the term "mathematical induction", the underlying principles of which he formalized. De Morgan's contributions to logic are heavily used in many branches of mathematics, including set theory and probability theory, as well as other related fields such as computer science.
Wikipedia →Mentioned in 2 readings
Appears alongside
People mentioned in the same passages — sorted by co-occurrence weight.