Boolean algebra | History of algebra | Philosophers of mathematics

George Boole

George Boole (/buːl/; 2 November 1815 – 8 December 1864) was a largely self-taught English mathematician, philosopher, and logician, most of whose short career was spent as the first professor of mathematics at Queen's College, Cork in Ireland. He worked in the fields of differential equations and algebraic logic, and is best known as the author of The Laws of Thought (1854) which contains Boolean algebra. Boolean logic is credited with laying the foundations for the Information Age. (Wikipedia).

George Boole
Video thumbnail

Voice of the Beehive - i think i love you

Voice of the Beehive. I THINK I LOVE YOU

From playlist If only Jerm had played the forum

Video thumbnail

Tristram Shandy by Laurence Sterne - Radio drama starring Ralph Richardson - 1954

My Uncle Toby from Tristram Shandy by Laurence Sterne. NBC radio anthology series 'Theatre Royal'. Radio drama starring Sir Ralph Richardson. Broadcast on 30 June 1954.

From playlist Ralph Richardson - Recordings

Video thumbnail

Freeman Dyson: A ‘Rebel’ Without a Ph.D.

A wide-ranging interview with the legendary mathematical physicist Freeman Dyson in which he discusses his work with Richard Feynman, his attempts to build a spaceship propelled by nuclear bombs and his controversial views on climate change. QUANTA MAGAZINE Website: https://www.quantama

From playlist Inside the Mind of a Scientist

Video thumbnail

Lagrange Bicentenary - Cédric Villani's conference

From the stability of the Solar system to the stability of plasmas

From playlist Bicentenaire Joseph-Louis Lagrange

Video thumbnail

Kurt Gödel Centenary - Part III

John W. Dawson, Jr. Pennsylvania State University November 17, 2006 More videos on http://video.ias.edu

From playlist Kurt Gödel Centenary

Video thumbnail

James Hilton on George Orwell's '1984' - NBC Radio broadcast, 1949

An excerpt from an episode of the NBC University Theatre, 1949.

From playlist Voices of History

Video thumbnail

Live CEOing Ep 631: Language Design in Wolfram Language [CardinalDirectionString, Boole, & More]

In this episode of Live CEOing, Stephen Wolfram discusses upcoming improvements and features to the Wolfram Language. If you'd like to contribute to the discussion in future episodes, you can participate through this YouTube channel or through the official Twitch channel of Stephen Wolfram

From playlist Behind the Scenes in Real-Life Software Design

Video thumbnail

Marcus du Sautoy on John Tates' work

Marcus Peter Francis du Sautoy is a British mathematician, author, and populariser of science and mathematics. You can view more content of Marcus du Sautoy here: https://www.youtube.com/channel/UCYF21Xc9fSdqVWRxpBAOleQ/featured This video is a clip from the Abel Prize Announcement 2009

From playlist Popular presentations

Video thumbnail

Albert Einstein, Holograms and Quantum Gravity

In the latest campaign to reconcile Einstein’s theory of gravity with quantum mechanics, many physicists are studying how a higher dimensional space that includes gravity arises like a hologram from a lower dimensional particle theory. Read about the second episode of the new season here:

From playlist In Theory

Video thumbnail

Live CEOing Ep 65: New Language Design in Wolfram Language

Watch Stephen Wolfram and teams of developers in a live, working, language design meeting. This episode is about New Language Design in the Wolfram Language.

From playlist Behind the Scenes in Real-Life Software Design

Video thumbnail

The Holy Grail of Propositional Logic | MathFoundations 279 | N J Wildberger

How can we mechanically systematize reasoning? This is the Holy Grail of Propositional Logic, implicit in the aims of Aristotle and the Stoics, envisioned by Leibniz, and charted by George Boole. Here we summarize our claim that the new approach of the Algebra of Boole to Propositional log

From playlist Boole's Logic and Circuit Analysis

Video thumbnail

A Systematic Approach to Logical Deduction & the Boole-Mobius Transform I | MF 277 | N J Wildberger

In this video we explain how the Algebra of Boole allows a systematic framework for evaluating logical deductions in Propositional Logic (PL). We are following the unique insights of George Boole, to achieve what has been a prime objective in philosophy since the time of Aristotle and the

From playlist Boole's Logic and Circuit Analysis

Video thumbnail

Squaring The Circle (feat. James Grime) - Objectivity 171

Dr James Grime joins us at The Royal Society to look at all manner of things from secret codes to fancy objects... More links below ↓↓↓ Featuring Dr James Grime speaking with Brady and Keith Moore. Accompanying documents: http://www.bradyharanblog.com/blog/squaring-the-circle-the-documen

From playlist James Grime on Numberphile

Video thumbnail

People of Science with Brian Cox - Professor Joanna Haigh on Lewis Fry Richardson

Joanna Haigh talks to Brian Cox about mathematician and physicist, Lewis Fry Richardson, and discusses his groundbreaking concept of a ‘weather forecasting factory’. Find out more about Lewis Fry Richardson in our Google Arts and Culture exhibit: https://artsandculture.google.com/exhibit/

From playlist People of Science with Brian Cox

Video thumbnail

Boolean algebra and set theory | Math Foundations 259 | N J Wildberger

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

From playlist Boole's Logic and Circuit Analysis

Video thumbnail

The Algebra of Boole is not Boolean algebra! (III) | Math Foundations 257 | N J Wildberger

We continue discussing George Boole's original algebra which can be framed as arithmetic over the bifield B_2={0,1} and vector spaces/algebra over it. We have seen how to reformulate Aristotle's syllogistic construction in terms of Boole's algebra, and use simple algebra to prove his syllo

From playlist Boole's Logic and Circuit Analysis

Video thumbnail

A brief history of logic: from Leibniz to Boole | Math Foundations 254 | N J Wildberger

In the modern European era, medieval logic is replaced with new directions, motivated by an increased interest in systematizing reasoning. A prominent thinker in this direction is G. Leibniz, who applied his genius to, among many other things, the idea of a computing device and language th

From playlist Boole's Logic and Circuit Analysis

Video thumbnail

Propositional Logic and the Algebra of Boole | MathFoundations273 | N J Wildberger

We give an overview of classical Propositional Logic, which is a branch of philosophy concerned with systematizing reason. This framework uses "atomic statements" called "propositions", and "relations", or "connectives", between them, prominently AND, OR, NOT, IMPLIES and EQUIVALENT, and t

From playlist Boole's Logic and Circuit Analysis

Video thumbnail

Beau Geste by P. C. Wren (1939) - Starring Orson Welles and Laurence Olivier

1939 radio drama hosted by Orson Welles and starring Sir Laurence Olivier. Episode from the CBS radio anthology series 'The Campbell Playhouse'. Broadcast on 17 March 1939. Cast: Orson Welles as Michael 'Beau' Geste Sir Laurence Olivier as John Geste Noah Beery as Sergeant Lejaune Naomi

From playlist Radio Drama Starring Laurence Olivier

Video thumbnail

Logic Gate Expressions

This computer science video follows on from the video about combining logic gates. It covers how a logic gate diagram can be described with a Boolean expression. This includes how to come up with a valid expression for a given combination of logic gates and, conversely, how to draw a log

From playlist Logic Gates

Related pages

Boolean network | Differential equation | Vector logic | Algebraic structure | Rational function | Set theory | Boolean circuit | Edward Bromhead | Gottlob Frege | List of Boolean algebra topics | Exclusive or | Fréchet inequalities | Residue (complex analysis) | Propositional calculus | Euler–Boole summation | Sofya Yanovskaya | Gottfried Wilhelm Leibniz | Boolean data type | Invariant theory | Boolean expression | Claude Shannon | Boolean function | Vector Analysis | Algebra | Imprecise probability | Disjoint union | Boole's rule | Algebraic logic | Mathematics | Symmetric difference | Alicia Boole Stott | Algebra of sets | Boolean satisfiability problem | Hilbert transform | Mary Everest Boole | Stephen Hawking | Boolean ring | Boole's expansion theorem | Calculus | Abstract algebra | Isaac Newton | Abstract algebraic logic | Charles Sanders Peirce | Philosophy of logic | Boolean algebra | Boole's inequality | Linear differential equation | Boolean model (probability theory) | Philosophy of mathematics | Four-dimensional space | Boolean algebra (structure)