The algebra of logic (X² = X)

From Oxford Mathematics

Robin Wilson's seventh talk on the equations that make mathematics brings us to the algebra of logic, starting with the laws of arithmetic, moving to the foundations of logic and set theory and finishing with the beginnings of computers. You can watch other episodes in the series here: https://www.youtube.com/playlist?list=PL4d5ZtfQonW0yqeFK__FirrjjmcQFpyye Robin's book 'Sum Stories: Equations and their origins' is available here: https://www.amazon.co.uk/Sum-Stories-Equations-Their-Origins/d...