| Proofs And Refutations |
Article Index for Proofs |
Website Links For Proofs |
Information AboutProofs And Refutations |
| CATEGORIES ABOUT PROOFS AND REFUTATIONS | |
| logic programming | |
| science studies | |
| philosophy of science literature | |
| theorem prover languages | |
| formal methods | |
| logic in computer science | |
| theoretical computer science | |
| mathematics books | |
| dialogues | |
|
the progress of Mathematics . The book is written as a series of Socratic dialogues involving a group of students. A central theme is that Definition s are not carved in stone, but often have to be patched up in the light of later insights, in particular failed Proof s. 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 {Link without Title} REFERENCES
|
|
|