Mathematical logic is not just for mathematicians; it's a fascinating field that touches on philosophy, computer science, and even everyday decision-making. This curated list of documentaries delves into the intricate world of logic, proofs, and paradoxes, making complex ideas accessible and engaging. Whether you're a logic enthusiast or just curious about how our world is structured, these films will provide both education and entertainment, shedding light on the beauty of logical reasoning.

The Man Who Knew Infinity (2015)
Description: Although primarily a biographical drama, this film includes elements of mathematical logic through the life of Srinivasa Ramanujan, whose work was deeply rooted in logical reasoning.
Fact: The film was adapted from a book by the same name and features real mathematicians as consultants.


The Code (2009)
Description: This documentary looks at the history of codes and code-breaking, highlighting the logical processes behind encryption and decryption.
Fact: Features interviews with cryptographers and historians, providing a comprehensive look at the subject.


The Joy of Logic (2013)
Description: Part of the "Joy of..." series, this documentary explains the principles of logic in an accessible way, showing how it shapes our understanding of the world.
Fact: It's part of a larger educational series aimed at making complex subjects understandable to the general public.


The Story of Maths (2008)
Description: A four-part series that traces the history of mathematics, with one episode dedicated to the development of mathematical logic and its impact on science and philosophy.
Fact: Presented by Marcus du Sautoy, a renowned mathematician, who brings a personal touch to the narrative.


The Proof (2011)
Description: This documentary explores the life of Andrew Wiles, who spent seven years in secret to prove Fermat's Last Theorem, one of the most famous unsolved problems in mathematics. It's a testament to the power of human determination and the beauty of mathematical logic.
Fact: The film was nominated for a BAFTA award for Best Single Documentary.


The Secret Life of Chaos (2010)
Description: This documentary delves into chaos theory, exploring how simple rules can lead to complex and unpredictable behavior, showcasing the underlying logic in chaos.
Fact: The film was produced by the BBC and features stunning visual representations of mathematical concepts.


A Brilliant Madness (2002)
Description: Focused on the life of John Nash, this documentary explores his contributions to game theory and the logic behind his mathematical work, alongside his battle with schizophrenia.
Fact: The film inspired the Oscar-winning movie "A Beautiful Mind."


The Mathematicians (2016)
Description: This documentary profiles several mathematicians, focusing on their contributions to logic, set theory, and the foundations of mathematics.
Fact: It includes interviews with leading figures in the field, offering personal insights into their work.


The Geometry of Thought (2018)
Description: Exploring the intersection of geometry and logic, this film illustrates how spatial reasoning can enhance logical thinking.
Fact: It was screened at various international film festivals, receiving praise for its visual storytelling.


The Infinite Hotel Paradox (2020)
Description: This documentary uses the famous paradox to introduce viewers to the concept of infinity and the logical puzzles it presents.
Fact: It features animations to help visualize complex mathematical concepts, making it accessible to a broader audience.
