Review of "Proofs and refutations: the logic of mathematical discovery" by Imre Lakatos. Cambridge University Press 1976.
Richard A. DeMilloRichard J. LiptonPublished in: SIGACT News (1979)
Keyphrases
- theorem prover
- proof search
- computer algebra
- natural deduction
- mathematical knowledge
- automated theorem provers
- mathematical proofs
- theorem proving
- automated reasoning
- linear logic
- automated theorem proving
- sequent calculus
- cut elimination
- e learning
- first order logic
- inference rules
- search procedure
- human reasoning
- case study
- scientific discovery
- formal proof
- massachusetts institute of technology
- discovery process
- proof procedure
- decision procedures
- multi valued
- mathematical expressions
- online reviews
- pattern discovery
- knowledge discovery
- asynchronous circuits
- engineering students
- predicate logic
- mathematical theory
- literature review
- modal logic
- logic programming