Boolean Algebra and Set Theory: Foundations of Mathematics

After George Boole's introduction of an algebraic approach to logic, the subject morphed towards a more set theoretic formulation, with so called Boolean algebra initiated by John Venn and Charles Peirce. Venn diagrams (originally going back to Euler), give us a visual way of representing relations between subsets of a universal set. The operations of meet and join, or intersection and union, together with taking complements become replacements for the product and sum of the Algebra of Boole. In this set theoretic context, de Morgan's laws clarify how to compute complements of unions and intersections, and the two distributive laws involve 3 sets, and either a union of an intersection, or the intersection of a union. We illustrate how to verify these laws from, first of all a truth table perspective, and then with computations using the Algebra of Boole. There is a heretical message here: professors teaching circuit analysis to engineers might want to start thinking about revamping their subject, and replacing Boolean algebra with the original, more powerful and simpler Algebra of Boole! Video Content: 00:00 Introduction 3:52 Converting Boolean Algebra expressions into the algebra of Boole 6:23 Finite set theory and Venn diagrams 10:09 De Morgan's laws 13:15 Distributive laws 16:13 Proving the distributive laws Here are the Insights into Mathematics Playlists: https://www.youtube.com/playlist?list=PL55C7C83781CF4316 https://www.youtube.com/playlist?list=PL3C58498718451C47 https://www.youtube.com/playlist?list=PL5A714C94D40392AB https://www.youtube.com/playlist?list=PLIljB45xT85BhzJ-oWNug1YtUjfWp1qAp https://www.youtube.com/playlist?list=PLIljB45xT85Bfc-S4WHvTIM7E-ir3nAOf https://www.youtube.com/playlist?list=PLIljB45xT85D94vHAB8joyFTH4dmVJ_Fw https://www.youtube.com/playlist?list=PL8403C2F0C89B1333 https://www.youtube.com/playlist?list=PLIljB45xT85CcGpZpO542YLPeDIf1jqXK https://www.youtube.com/playlist?list=PLIljB45xT85Aqe2b4FBWUGJdYROT6-o4e https://www.youtube.com/playlist?list=PLIljB45xT85DB7CzoFWvA920NES3g8tJH https://www.youtube.com/playlist?list=PLIljB45xT85A-qCypcmZqRvaS1pGXpTua https://www.youtube.com/playlist?list=PLIljB45xT85DH__ZzGQWQrVRxlbKh-Nsa https://www.youtube.com/playlist?list=PLIljB45xT85CdeBmQZ2QiCEnPQn5KQ6ov https://www.youtube.com/playlist?list=PLIljB45xT85AMigTyprOuf__daeklnLse https://www.youtube.com/playlist?list=PLIljB45xT85CnIGIWb7tH1F_S2PyOC8rb https://www.youtube.com/playlist?list=PLIljB45xT85CN9oJ4gYkuSQQhAtpIucuI https://www.youtube.com/playlist?list=PLIljB45xT85DWUiFYYGqJVtfnkUFWkKtP https://www.youtube.com/playlist?list=PL6763F57A61FE6FE8 https://www.youtube.com/playlist?list=PLBF39AFBBC3FB30AF https://www.youtube.com/playlist?list=PLIljB45xT85DSrlV6NX8RMBksZhdTHtwW https://www.youtube.com/playlist?list=PLIljB45xT85Bmcc9ksBOAKgIZAl0BwPg7 Here are the Wild Egg Maths Playlists (some available only to Members!) https://www.youtube.com/playlist?list=PLzdiPTrEWyz4rKFN541wFKvKPSg5Ea6XB https://www.youtube.com/playlist?list=PLzdiPTrEWyz4VlOppC5CN0D0GjrjvBGKy https://www.youtube.com/playlist?list=PLzdiPTrEWyz5VLVr-0LPPgm4T1mtU_DG- https://www.youtube.com/playlist?list=PLzdiPTrEWyz6zpIZ4Y_RK9zyJ9OufqNJv https://www.youtube.com/playlist?list=PLzdiPTrEWyz7hk_Kzj4zDF_kUXBCtiGn6 https://www.youtube.com/playlist?list=PLzdiPTrEWyz5j1BJdXBw1MFst_nQAqzZ_ https://www.youtube.com/playlist?list=PLzdiPTrEWyz5HWgaVkhIwpGVKi6fciRxW https://www.youtube.com/playlist?list=PLzdiPTrEWyz5HBT_Yo1G4DfeqUfI9zkKM https://www.youtube.com/playlist?list=PLzdiPTrEWyz7LKbuJAHaXAhRj2ylD0OoX https://www.youtube.com/playlist?list=PLzdiPTrEWyz6VcJQ5xcuqY6g4DWjvpmjM https://www.youtube.com/playlist?list=PLzdiPTrEWyz6MwUTOHRgC0oIxVtaHGQBd https://www.youtube.com/playlist?list=PLzdiPTrEWyz4KD007Ge10dfrDVc4YwlYS https://www.youtube.com/playlist?list=PLzdiPTrEWyz4IknbwXMEVwxOWS3z1Ch3C ************************