Proofs and refutations : the logic of mathematical discovery

>> Google Books

所蔵情報QRコード

Proofs and refutations : the logic of mathematical discovery / Imre Lakatos ; edited by John Worrall and Elie Zahar

資料種別:

図書

出版情報:

Cambridge : Cambridge University Press, 1976

形態:

xii, 174 p. ; 22 cm

著者名:

ISBN:

9780521210782 [052121078X] (: hard)
9780521290388 [0521290384] (: pbk)

書誌ID:

BA04332797

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:

Bibliography: p. 155-165
Includes indexes

主題:

Logic, Symbolic and mathematical; Mathematics--Philosophy

言語:

英語

目次情報:

EditorsG++ preface

Acknowledgments

AuthorG++s introduction

A problem and a conjecture / 1：

A proof / 2：

Criticism of the proof by counterexamples which are local but not global / 3：

Criticism of the conjecture by global counterexamples / 4：

Criticism of the proof-analysis by counterexamples which are global but not local: the problem of rigour / 5：

Return to criticism of the proof by counterexamples which are local but not global: the problem of content / 6：

The problem of content revisited / 7：

Concept-formation / 8：

How criticism may turn mathematical truth into logical truth / 9：

Appendices

Bibliography

Index of names

Index of subjects

EditorsG++ preface

Acknowledgments

AuthorG++s introduction

A problem and a conjecture / 1：

A proof / 2：

Criticism of the proof by counterexamples which are local but not global / 3：

続きを見る

東工大ブックレビュー

類似資料:

1 図書 Mathematical logic Kleene, Stephen Cole, 1909- J. Wiley	7 図書 Induction and analogy in mathematics (: hbk ; : pbk) Polya, George, 1887-1985 Princeton University Press
2 図書 The axiomatic method : an introduction to mathematical logic Lightstone, A. H. Prentice-Hall	8 図書 Logical foundations of mathematics for behavioral scientists Luchins, Abraham S., Luchins, Edith H. Holt, Rinehart & Winston
3 図書 Frege and Gödel : two fundamental texts in mathematical logic (: hard ; : pbk) Van Heijenoort, Jean, 1912-, Frege, Gottlob, 1848-1925, Gödel, Kurt, 1906-1978 Harvard University Press	9 図書 The theory of probability : an inquiry into the logical and mathematical foundations of the calculus of probability Reichenbach, Hans, 1891-1953, Hutten, Ernest H. (Ernest Hirschlaff), 1908-, Reichenbach, Maria University of California Press
4 図書 The problem of inductive logic International Colloquium in the Philosophy of Science, Lakatos, Imre, 1927-1974 North Holland Pub. Co.	10 図書 Mathematical logic Shoenfield, Joseph R. (Joseph Robert), 1927- Addison-Wesley Pub. Co.
5 図書 Constructibility and mathematical existence (: pbk) Chihara, Charles S., 1932- Clarendon Press, Oxford University Press	11 図書 Mathematical logic Shoenfield, Joseph R. (Joseph Robert), 1927- Addison-Wesley Pub. Co
6 図書 From mathematics to philosophy Wang, Hao, 1921- Routledge & Kegan Paul, Humanities Press	12 図書 An introduction to mathematical logic and type theory : to truth through proof (: pbk) Andrews, P. B. (Peter Bruce), 1937- Academic Press