This book explores the intersection of formal sciences and society. It covers a wide range of topics, from the ethics of algorithms to the mathematics of power. It delves into data privacy, the limits of computation, and formal verification. The book also examines the role of formal sciences in modeling pandemics and climate change. It explores logical fallacies, conspiracy theories, and formal logic. Statistical literacy, the statistics of inequality, and the media are also discussed. The book concludes with a look at the future of work, quantum computing, cybersecurity, and social media.This book provides value by offering a comprehensive and accessible overview of the formal sciences. It connects these sciences to real-world issues, making them relevant and engaging for readers. Unlike other books that may focus solely on technical aspects, this book emphasizes the societal implications of formal sciences. It encourages readers to think critically about the role of mathematics, logic, statistics, and computer science in shaping our world.