Proofs and Refutations is a 1976 book by Imre Lakatos which challenges formalism in mathematics. It is written as a series of dialogues between students debating the proof of the Euler characteristic for polyhedrons. The book argues that definitions are not fixed, but often need to be adjusted in light of new insights.
Stanford University
Fall 2022
CS 157 provides a rigorous introduction to Logic from a computational viewpoint. The course mainly deals with encoding information as logical sentences and reasoning methods for this information. It gives an overview of logic technology and its applications. Topics range from propositional logic, relational logic, functional logic to various deduction techniques and mathematical induction.
No concepts data
+ 11 more concepts