- George Boole (plato.standford.edu)
George Boole (1815–1864) was an English mathematician and a founder of the algebraic tradition in logic. He worked as a schoolmaster in England and from 1849 until his death as professor of mathematics at Queen’s University, Cork, Ireland. He revolutionized logic by applying methods from the then-emerging field of symbolic algebra to logic. Where traditional (Aristotelian) logic relied on cataloging the valid syllogisms of various simple forms, Boole’s method provided general algorithms in an algebraic language which applied to an infinite variety of arguments of arbitrary complexity. These results appeared in two major works, The Mathematical Analysis of Logic (1847) and The Laws of Thought (1854).
- Ur (Wikipedia)
Ur (/ʊər/; Sumerian: 𒌶𒆠, 𒋀𒀕𒆠, or 𒋀𒀊𒆠 Urim; Akkadian: 𒋀𒀕𒆠 Uru; Arabic: أُوْر, romanized: ʾūr; Hebrew: אוּר) was an important Sumerian city-state in ancient Mesopotamia, located at the site of modern Tell el-Muqayyar (Arabic: تل ٱلْمُقَيَّر) in south Iraq’s Dhi Qar Governorate. Although Ur was once a coastal city near the mouth of the Euphrates on the Persian Gulf, the coastline has shifted and the city is now well inland, on the south bank of the Euphrates, 16 km (10 mi) from Nasiriyah in modern-day Iraq. The city dates from the Ubaid period circa 3800 BC, and is recorded in written history as a city-state from the 26th century BC, its first recorded king being Mesannepada.