Proofs and Refutations
From Wikipedia, the free encyclopedia
Proof and Refutations is a book by the philosopher Imre Lakatos expounding his view of the progress of mathematics. The book is written as a series of Socratic dialogues involving a group of students. A central theme is that definitions are not carved in stone, but often have to be patched up in the light of later insights, in particular failed proofs. This gives mathematics a somewhat experimental flavour.
In computer science, proofs and refutations were further developed in the Scientific Community Metaphor by Bill Kornfeld and Carl Hewitt building on the work of Lakatos [1976]
[edit] References
- Lakatos (1976). Proofs and Refutations. Cambridge: Cambridge University Press. ISBN 0-521-29038-4
- William Kornfeld and Carl Hewitt. "The Scientific Community Metaphor" IEEE Transactions on Systems, Man and Cybernetics, SMC-11. 1981
- Bill Kornfeld. "The Use of Parallelism to Implement a Heuristic Search" IJCAI 1981.
- Bill Kornfeld. "Parallelism in Problem Solving" MIT EECS Doctoral Dissertation, August 1981.
- Bill Kornfeld. "Combinatorially Implosive Algorithms" CACM. 1982.
 |
This philosophy book-related article is a stub. You can help Wikipedia by expanding it. |
