Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Proofs_and_Refutations> ?p ?o }
Showing triples 1 to 51 of
51
with 100 triples per page.
- Proofs_and_Refutations abstract "Proofs 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 who debate the proof of the Euler characteristic defined for the polyhedron. 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. At the end of the Introduction, Lakatos explains that his purpose is to challenge formalism in mathematics, and to show that informal mathematics grows by a logic of "proofs and refutations".Many important logical ideas are explained in the book. For example the difference between a counterexample to a lemma (a so-called 'local counterexample') and a counterexample to the specific conjecture under attack (a 'global counterexample' to the Euler characteristic, in this case) is discussed.Lakatos argues for a different kind of textbook, one that uses heuristic style. To the critics that say they would be too long, he replies: 'The answer to this pedestrian argument is: let us try.'The book includes two appendices. In the first, Lakatos gives examples of the heuristic process in mathematical discovery. In the second, he contrasts the deductivist and heuristic approaches and provides heuristic analysis of some 'proof generated' concepts, including uniform convergence, bounded variation, and the Carathéodory definition of a measurable set.The pupils in the book are named after letters of the Greek alphabet.The 1976 book has been translated into more than 15 languages worldwide, including Chinese, Korean, Serbo-Croat and Turkish, and went into its second Chinese edition in 2007.".
- Proofs_and_Refutations wikiPageExternalLink LakatosEng.pdf.
- Proofs_and_Refutations wikiPageID "882015".
- Proofs_and_Refutations wikiPageLength "4766".
- Proofs_and_Refutations wikiPageOutDegree "21".
- Proofs_and_Refutations wikiPageRevisionID "674600833".
- Proofs_and_Refutations wikiPageWikiLink Bounded_variation.
- Proofs_and_Refutations wikiPageWikiLink Category:1976_books.
- Proofs_and_Refutations wikiPageWikiLink Category:Dialogues.
- Proofs_and_Refutations wikiPageWikiLink Category:Mathematics_books.
- Proofs_and_Refutations wikiPageWikiLink Category:Philosophy_of_science_literature.
- Proofs_and_Refutations wikiPageWikiLink Category:Science_studies.
- Proofs_and_Refutations wikiPageWikiLink Counterexample.
- Proofs_and_Refutations wikiPageWikiLink Definition.
- Proofs_and_Refutations wikiPageWikiLink Euler_characteristic.
- Proofs_and_Refutations wikiPageWikiLink File:ProofRefute.jpg.
- Proofs_and_Refutations wikiPageWikiLink Formalism_(mathematics).
- Proofs_and_Refutations wikiPageWikiLink Imre_Lakatos.
- Proofs_and_Refutations wikiPageWikiLink Informal_mathematics.
- Proofs_and_Refutations wikiPageWikiLink Lemma_(mathematics).
- Proofs_and_Refutations wikiPageWikiLink Mathematical_proof.
- Proofs_and_Refutations wikiPageWikiLink Mathematics.
- Proofs_and_Refutations wikiPageWikiLink Outer_measure.
- Proofs_and_Refutations wikiPageWikiLink Philosopher.
- Proofs_and_Refutations wikiPageWikiLink Polyhedron.
- Proofs_and_Refutations wikiPageWikiLink Socratic_dialogue.
- Proofs_and_Refutations wikiPageWikiLink Uniform_convergence.
- Proofs_and_Refutations wikiPageWikiLinkText "Proofs and Refutations".
- Proofs_and_Refutations wikiPageWikiLinkText "Proofs and Refutations: The Logic of Mathematical Discovery".
- Proofs_and_Refutations wikiPageWikiLinkText "Proofs and Refutations: the Logic of Mathematical Discovery".
- Proofs_and_Refutations hasPhotoCollection Proofs_and_Refutations.
- Proofs_and_Refutations wikiPageUsesTemplate Template:Citation.
- Proofs_and_Refutations wikiPageUsesTemplate Template:Reflist.
- Proofs_and_Refutations subject Category:1976_books.
- Proofs_and_Refutations subject Category:Dialogues.
- Proofs_and_Refutations subject Category:Mathematics_books.
- Proofs_and_Refutations subject Category:Philosophy_of_science_literature.
- Proofs_and_Refutations subject Category:Science_studies.
- Proofs_and_Refutations hypernym Book.
- Proofs_and_Refutations type Book.
- Proofs_and_Refutations type Work.
- Proofs_and_Refutations type Book.
- Proofs_and_Refutations type Work.
- Proofs_and_Refutations comment "Proofs 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 who debate the proof of the Euler characteristic defined for the polyhedron. 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.".
- Proofs_and_Refutations label "Proofs and Refutations".
- Proofs_and_Refutations sameAs Pruebas_y_Refutaciones.
- Proofs_and_Refutations sameAs m.03ld_7.
- Proofs_and_Refutations sameAs Q2032593.
- Proofs_and_Refutations sameAs Q2032593.
- Proofs_and_Refutations wasDerivedFrom Proofs_and_Refutations?oldid=674600833.
- Proofs_and_Refutations isPrimaryTopicOf Proofs_and_Refutations.
