Skip to content

/dev/null

The black hole…

  • About Me
  • Amazon Wishlist

Tag: first order logic

documentary geek programming

The Joy of Logic (2013)

May 24, 2015ambsLeave a Comment on The Joy of Logic (2013)

For something completely different, today I talk (erm, write) about a BBC documentary on Logic. It starts with Socrates Syllogisms up to Boole algebra. Then a quick visit on Mathematics nightmare of trying to prove Mathematics logically (yeah, Maths aren’t logic!), introducing first order logic. Then, we get back to Boole algebra and Alan Turing, […]

All Rights Reserved.