Storyline: The Joy of Logic 2013 Computer Scientist, Professor Cliff, thru philosophy, math, science and technology exhibits the quest for certainty fundamentals of sound reasoning