Ron Pressler - Why Writing Correct Software Is Hard and Why Math (Alone) Won’t Help Us - Curry On

Ron Pressler Why Writing Correct Software Is Hard and Why Math (Alone) Won’t Help Us CurryПодробнее

Ron Pressler - The Practice and Theory of TLA+Подробнее

Ron Pressler - Finite of Sense and Infinite of Thought: A History of Computation, Logic and AlgebraПодробнее

Why do computers suck at math?Подробнее