1  20
Next
Number of results to display per page
 Pearl, Judea, author.
 First edition.  New York, NY : Basic Books, [2018]
 Description
 Book — x, 418 pages : illustrations ; 25 cm
 Summary

 Introduction : Mind over data
 The ladder of causation
 From buccaneers to guinea pigs : the genesis of causal inference
 From evidence to causes : Reverend Bayes meets Mr. Holmes
 Confounding and deconfounding : or, slaying the lurking variable
 The smokefilled debate : clearing the air
 Paradoxes galore!
 Beyond adjustment : the conquest of Mount Intervention
 Counterfactuals : mining worlds that could have been
 Mediation : the search for a mechanism
 Big data, artificial intelligence, and the big questions.
(source: Nielsen Book Data)
 Online
Green Library, Philosophy Library (Tanner), Science Library (Li and Ma)
Green Library  Status 

Find it Stacks  Request (opens in new tab) 
Q175.32 .C38 P43 2018  Unknown 
Philosophy Library (Tanner)  Status 

Stacks  Request (opens in new tab) 
Q175.32 .C38 P43 2018  Unknown 
Science Library (Li and Ma)  Status 

Popular science  Request (opens in new tab) 
Q175.32 .C38 P43 2018  Unknown 
2. Ten great ideas about chance [2018]
 Diaconis, Persi author.
 Princeton ; Oxford : Princeton University Press, [2018]
 Description
 Book — x, 255 pages : illustrations ; 25 cm
 Summary

 Preface ixAcknowledgments xi1 Measurement 12 Judgment 223 Psychology 484 Frequency 625 Mathematics 796 Inverse Inference 1007 Unification 1228 Algorithmic Randomness 1459 Physical Chance 16510 Induction 190Appendix: Probability Tutorial 209Notes 225Annotated Select Bibliography 239Image Credits 247Index 249.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
 Online
Philosophy Library (Tanner), Science Library (Li and Ma)
Philosophy Library (Tanner)  Status 

Stacks  Request (opens in new tab) 
QA273 .A4 D53 2018  Unknown 
Science Library (Li and Ma)  Status 

Stacks  Request (opens in new tab) 
QA273 .A4 D53 2018  Unknown 
 Delo akademika Nikolai͡a Nikolaevicha Luzina. English.
 Providence, Rhode Island : American Mathematical Society, [2016]
 Description
 Book — xxxi, 375 pages, 8 unnumbered pages of plates : illustrations ; 26 cm.
 Summary

 * Introduction* The case of academician Luzin in the collective memory of the scientific community* Minutes of the meetings of the USSR Academy of Sciences Commission in the case of academician Luzin* Minutes of the meeting of the USSR Academy of Sciences Commission in the matter of academician Luzin: 7 July Minutes of the meeting of the USSR Academy of Sciences Commission on the matter of academician Luzin*9 July Minutes of the meeting of the USSR Academy of Sciences Commission on the matter of academician Luzin*11 July Minutes of the meeting of the USSR Academy of Sciences Commission in the matter of academician Luzin*13 July Minutes of the meeting of the USSR Academy of Sciences Commission in the matter of academician Luzin*15 July Commentaries on the minutes of the meetings of the USSR Academy of Sciences Commission in the case of academician Luzin* Commentaries on the minutes of the meetings of the USSR Academy of Sciences Commission in the case of academician Luzin Commentary on the minutes of the meeting of the USSR Academy of Sciences Commission in the matter of academician Luzin*7 July 1936 Commentary on the minutes of the USSR Academy of Sciences Commission in the matter of academician Luzin*9 July 1936 Commentary on the minutes of the meeting of the USSR Academy of Sciences Commission in the matter of academician Luzin*11 July 1936 Commentary on the minutes of the meeting of the USSR Academy of Sciences Commission in the matter of academician Luzin*13 July 1936 Commentary on the minutes of the meeting of the USSR Academy of Sciences Commission in the matter of academician Luzin*15 July 1936 Literature Appendices* Appendices introduction* A pleasant disillusionment* Reply to academician N. Luzin* Enemies wearing a Soviet mask* Letter from L. Z. Mekhlis, editor of $\textit{Pravda}$, to the Central Committee, 3 July 1936* Resolution concerning the articles "Response to academician Luzin" and "Enemies wearing a Soviet mask" in $\textit{Pravda}$* Draft of the proposal of the special session of the Presidium of the USSR Academy of Sciences, 4 July 1936* Letter from P. L. Kapitsa to Molotov, 6 July 1936* Excerpt from the minutes of the Presidum meeting of 7 July 1936* Letters from V. I. Vernadski iand N. V. Nasonov to the Academy of Sciences Division of Mathematical and Natural Sciences and to academicians A. E. Fersman and N. P. Gorbunov in support of academician Luzin* Letter from academician N. N. Luzin to the Central Committee of the Communist Party 7 July 1936* Traditions of servility* Resolution of the General Assembly of Scientists of the Department of Mechanics and Mathematics and Institute of Mathematics, Mechanics, and Astronomy at Moscow University* Letter from Luzin to an undetermined addressee, 11 July 1936* Enemies wearing a Soviet mask* The Leningrad scholars respond* Letter from L. Z. Mekhlis, Editor of Pravda, to Stalin and Molotov, 14 July 1936* The enemy exposed Luzin's statement to the Presidium of the Academy of Sciences, 14 July 1936* Academician Gubkin on socalled academician Luzin* The Belarus scholars on the exposed enemy Luzin* The scholarly community condemns enemies wearing a Soviet mask* Note accompanying the draft of the findings of the Presidium of the USSR Academy of Sciences regarding academician N. N. Luzin, 25 July 1936* Conclusion of the Commission On academician N. N. Luzin* Findings of the Presidium of the USSR Academy of Sciences, 5 August 1936* To rid academia of Luzinism* Glossary of Soviet terms and people* Subject index* Name index.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
 Online
Philosophy Library (Tanner), Science Library (Li and Ma)
Philosophy Library (Tanner)  Status 

Stacks  Request (opens in new tab) 
Q127 .S65 D4513 2016  Unknown 
Science Library (Li and Ma)  Status 

Stacks  Request (opens in new tab) 
Q127 .S65 D4513 2016  Unknown 
 GodfreySmith, Peter, author.
 First edition.  New York : Farrar, Straus and Giroux, 2016.
 Description
 Book — x, 255 pages, 8 unnumbered pages of plates : illustrations (chiefly color) ; 22 cm
 Summary

 Meetings across the tree of life. Two meetings and a departure ; Outlines
 A history of animals. Beginnings ; Living together ; Neurons and nervous systems ; The garden ; Senses ; The fork
 Mischief and craft. In a sponge garden ; Evolution of the cephalopods ; Puzzles of octopus intelligence ; Visiting Octopolis ; Nervous evolution ; Body and control ; Convergence and divergence
 From white noise to consciousness. What it's like ; Evolution of experience ; Latecomer versus transformation ; The case of the octopus
 Making colors. The giant cuttlefish ; Making colors ; Seeing colors ; Being seen ; Baboon and squid ; Symphony
 Our minds and others ; From Hume to Vygotsky ; Word made flesh ; Conscious experience ; Full circle
 Experience compressed. Decline ; Life and death ; A swarm of motorcycles ; Long and short lives ; Ghosts
 Octopolis. An armful of octopuses ; Origins of Octopolis ; Parallel lines ; The oceans.
(source: Nielsen Book Data)
 Online
Philosophy Library (Tanner), Science Library (Li and Ma)
Philosophy Library (Tanner)  Status 

Stacks  Request (opens in new tab) 
QM451 .G58 2016  Unknown 
Science Library (Li and Ma)  Status 

Stacks  Request (opens in new tab) 
QM451 .G58 2016  Unavailable Checked out  Overdue 
5. Handbook of epistemic logic [2015]
 [UK] : College Publications, [2015]
 Description
 Book — xviii, 655 pages : illustrations ; 24 cm
 Summary

 An introduction to logics of knowledge and belief
 [pt.] I. Informational attitudes
 Only knowing
 Awareness
 Epistemic probabilistic logic
 [pt.] II. Dynamics of informational attitudes
 Knowledge and time
 Dynamic epistemic logic
 Dynamic logics of belief change
 [pt.] III. Applications
 Model checking temporal epistemic logic
 Epistemic foundations of game theory
 BDI logics
 Knowledge and ability
 Knowledge and security.
 Online
Philosophy Library (Tanner), Science Library (Li and Ma)
Philosophy Library (Tanner)  Status 

Stacks  Request (opens in new tab) 
QA269 .H36 2015  Unknown 
Science Library (Li and Ma)  Status 

Stacks  Request (opens in new tab) 
QA269 .H36 2015  Unknown 
6. Rigor and structure [2015]
 Burgess, John P., 1948
 1st ed.  Oxford, UK : Oxford University Press, 2015.
 Description
 Book — vii, 215 p. ; 23 cm
 Summary

 Preface
 Acknowledgments
 1. Rigor and Rigorization
 2. Rigor and Foundations
 3. Structure and Structuralism
 4. Structure and Foundations
 Bibliography.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
Philosophy Library (Tanner), Science Library (Li and Ma)
Philosophy Library (Tanner)  Status 

Stacks  Request (opens in new tab) 
QA8.4 .B855 2015  Unknown 
Science Library (Li and Ma)  Status 

Stacks  Request (opens in new tab) 
QA8.4 .B855 2015  Unknown 
 Maudlin, Tim.
 1st ed.  Oxford ; New York : Oxford University Press, 2014.
 Description
 Book — ix, 363 p. : ill. ; 24 cm
 Summary

 MATHEMATICAL FOUNDATIONS.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
Philosophy Library (Tanner), Science Library (Li and Ma)
Philosophy Library (Tanner)  Status 

Stacks  Request (opens in new tab) 
QA447 .M38 2014  Unknown 
Science Library (Li and Ma)  Status 

Stacks  Request (opens in new tab) 
QA447 .M38 2014  Unknown 
8. Philosophy of biology [2014]
 GodfreySmith, Peter author.
 Princeton : Princeton University Press, [2014]
 Description
 Book — 187 pages : illustrations ; 23 cm.
 Summary

 Preface ix CHAPTER ONE Philosophy and Biology 1 CHAPTER TWO Laws, Mechanisms, and Models 11 CHAPTER THREE Evolution and Natural Selection 28 CHAPTER FOUR Adaptation, Construction, Function 50 CHAPTER FIVE Individuals 66 CHAPTER SIX Genes 81 CHAPTER SEVEN Species and the Tree of Life 100 CHAPTER EIGHT Evolution and Social Behavior 120 CHAPTER NINE Information 144 References 159 Index 179.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
 Online
Philosophy Library (Tanner), Science Library (Li and Ma)
Philosophy Library (Tanner)  Status 

Stacks  Request (opens in new tab) 
QH331 .G615 2014  Unknown 
Science Library (Li and Ma)  Status 

Stacks  Request (opens in new tab) 
QH331 .G615 2014  Unknown 
 Hacking, Ian.
 New York : Cambridge University Press, 2014.
 Description
 Book — xv, 290 pages ; 23 cm
 Summary

 Foreword
 1. A Cartesian introduction
 2. What makes mathematics mathematics?
 3. Why is there philosophy of mathematics?
 4. Proofs
 5. Applications
 6. In Plato's name
 7. CounterPlatonisms Disclosures.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
Philosophy Library (Tanner), Science Library (Li and Ma)
Philosophy Library (Tanner)  Status 

Stacks  Request (opens in new tab) 
QA8.4 .H33 2014  Unknown 
Science Library (Li and Ma)  Status 

Stacks  Request (opens in new tab) 
QA8.4 .H33 2014  Unknown 
10. Alan Turing : his work and impact [2013]
 Waltham, MA : Elsevier, c2013.
 Description
 Book — xxi, 914 p. : ill. ; 29 cm.
 Summary

 Part I: How Do We Compute? What Can We Prove? 1.Alan Mathison Turing 2.On Computable Numbers, with an Application to the Entscheidungsproblem 3.On Computable Numbers, with an Application to the Entscheidungsproblem  correction 4.Review of Turing 19367 5.Computability and definability 6.The pfunction in Kconversion 7.Systems of Logic based on Ordinals 8.A Formal Theorem in Church's Theory of Types 9.The Use of Dots as Brackets in Church's System 10.Practical Forms of Type Theory 11.The Reform of Mathematical Notation Part II: Hiding and Unhiding Information: Cryptology, Complexity and Number Theory. 1.On the Gaussian Error Function 2.A Method for the Calculation of the Zetafunction 3.Some Calculations of the Riemann Zetafunction 4.On a Theorem of Littlewood 5.The Word Problem in Semigroups with Cancellation 6.Solvable and Unsolvable Problems 7.The Word Problem in Compact Groups 8.On Permutation Groups 9.Roundingoff Errors in Matrix Processes 10.A Note on Normal Numbers 11.Turing's treatise on the Enigma (Prof's Book) Report by Turing on U. S. Navy cryptanalytic work and their machinery, November 1942 Speech System 'Delilah'  report on progress, 6 June 1944 Checking a Large Routine An early program proof by Alan Turing Programmers' Handbook for the Manchester electronic computer Local Programming Methods and Conventions Part III: Building a Brain: Intelligent Machines, Practice and Theory. 1.Lecture to the London Mathematical Society 2.Intelligent Machinery 3.Computing Machinery and Intelligence 4.Chess Solvable and Unsolvable Problems 5.Intelligent Machinery: A heretical theory Can digital computers think? Can automatic calculating machines be said to think? 6.Some Remarks on the Undecidability Results Part IV: The Mathematics of Emergence: The Mysteries of Morphogenesis. 1.The Chemical Basis of Morphogenesis 2.A Diffusion Reaction Theory of Morphogenesis in Plants 3.Morphogen Theory of Phyllotaxis Geometrical and Descriptive Phyllotaxis Chemical Theory of Morphogenesis A Solution of the Morphogenetical Equations for the Case of Spherical Symmetry 4.Outline of the Development of the Daisy.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
Philosophy Library (Tanner), Science Library (Li and Ma)
Philosophy Library (Tanner)  Status 

Stacks  Request (opens in new tab) 
QA29 .T8 A45 2013  Unknown 
Science Library (Li and Ma)  Status 

Stacks  Request (opens in new tab) 
QA29 .T8 A45 2013  Unknown 
11. String theory and the scientific method [2013]
 Dawid, Richard, 1966
 Cambridge, UK ; New York : Cambridge University Press, 2013.
 Description
 Book — x, 202 p. : ill. ; 24 cm.
 Summary

 Introduction Part I. Delimiting the Unconceived:
 1. String theory
 2. The conceptual framework
 3. The assessment of scientific underdetermination in string theory Part II. A Wider Perspective:
 4. The dynamics of high energy physics
 5. Scientific underdetermination in physics and beyond Part III. Physics and Truth:
 6. Final theory claims
 7. An altered perspective on scientific realism References Index.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
Philosophy Library (Tanner), Science Library (Li and Ma)
Philosophy Library (Tanner)  Status 

Stacks  Request (opens in new tab) 
QC794.6 .S85 D39 2013  Unknown 
Science Library (Li and Ma)  Status 

Stacks  Request (opens in new tab) 
QC794.6 .S85 D39 2013  Unknown 
 Longino, Helen E.
 Chicago : The University of Chicago Press, 2013.
 Description
 Book — 249 pages.
 Summary

 Approaches to understanding human behavior
 Quantitative behavioral genetics
 Socialenvironmental approaches
 Molecular behavioral genetics
 Neurobiological approaches
 Integrative approaches
 Scope and limits of the approaches
 Epistemological, ontological, and social analysis
 What we could know
 Defining behavior
 The social life of behavioral science
 A brief conclusion.
(source: Nielsen Book Data)
 Online
Green Library, Philosophy Library (Tanner), Science Library (Li and Ma)
Green Library  Status 

Find it Stacks  Request (opens in new tab) 
BF199 .L58 2013  Unknown 
Philosophy Library (Tanner)  Status 

Stacks  Request (opens in new tab) 
BF199 .L58 2012  Unknown 
Science Library (Li and Ma)  Status 

Stacks  Request (opens in new tab) 
BF199 .L58 2013  Unknown 
 Malament, David B.
 Chicago : University of Chicago Press, 2012, ©2012.
 Description
 Book — xii, 349 pages : illustrations ; 24 cm.
 Summary

In "Topics in the Foundations of General Relativity and Newtonian Gravitation Theory", David B. Malament presents the basic logicalmathematical structure of general relativity and considers a number of special topics concerning the foundations of general relativity and its relation to Newtonian gravitation theory. These special topics include the geometrized formulation of Newtonian theory (also known as NewtonCartan theory), the concept of rotation in general relativity, and Godel spacetime. One of the highlights of the book is a nogo theorem that can be understood to show that there is no criterion of orbital rotation in general relativity that fully answers to our classical intuitions. "Topics" is intended for both students and researchers in mathematical physics and philosophy of science.
(source: Nielsen Book Data)
 Online
Philosophy Library (Tanner), Science Library (Li and Ma)
Philosophy Library (Tanner)  Status 

Stacks  Request (opens in new tab) 
QC173.55 .M353 2012  Unknown 
Science Library (Li and Ma)  Status 

Stacks  Request (opens in new tab) 
QC173.55 .M353 2012  Unknown 
 Benthem, Johan van, 1949
 Cambridge, UK ; New York : Cambridge University Press, 2011.
 Description
 Book — xi, 373 p. : ill. ; 26 cm.
 Summary

 Preface
 1. Logical dynamics, agency, and intelligent interaction
 2. Epistemic logic and semantic information
 3. Dynamic logic of public observation
 4. Multiagent dynamicepistemic logic
 5. Dynamics of inference and awareness
 6. Questions and issue management
 7. Soft information, correction, and belief change
 8. An encounter with probability
 9. Preference statics and dynamics
 10. Decisions, actions, and games
 11. Processes over time
 12. Epistemic group structure and collective agency
 13. Logical dynamics in philosophy
 14. Computation as conversation
 15. Rational dynamics in game theory
 16. Meeting cognitive realities
 17. Conclusion Bibliography.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
Philosophy Library (Tanner), Science Library (Li and Ma)
Philosophy Library (Tanner)  Status 

Stacks  Request (opens in new tab) 
QA9 .B3988 2011  Unknown 
Science Library (Li and Ma)  Status 

Stacks  Request (opens in new tab) 
QA9 .B3988 2011  Unknown 
15. Descriptive set theory [2009]
 Moschovakis, Yiannis N.
 2nd ed.  Providence, R.I. : American Mathematical Society, 2009.
 Description
 Book — xiv, 502 p. : ill. ; 27 cm.
 Summary

Descriptive Set Theory is the study of sets in separable, complete metric spaces that can be defined (or constructed), and so can be expected to have special properties not enjoyed by arbitrary pointsets. This subject was started by the French analysts at the turn of the 20th century, most prominently Lebesgue, and, initially, was concerned primarily with establishing regularity properties of Borel and Lebesgue measurable functions, and analytic, coanalytic, and projective sets. Its rapid development came to a halt in the late 1930s, primarily because it bumped against problems which were independent of classical axiomatic set theory. The field became very active again in the 1960s, with the introduction of strong settheoretic hypotheses and methods from logic (especially recursion theory), which revolutionized it. This monograph develops Descriptive Set Theory systematically, from its classical roots to the modern 'effective' theory and the consequences of strong (especially determinacy) hypotheses. The book emphasizes the foundations of the subject, and it sets the stage for the dramatic results (established since the 1980s) relating large cardinals and determinacy or allowing applications of Descriptive Set Theory to classical mathematics. The book includes all the necessary background from (advanced) set theory, logic and recursion theory.
(source: Nielsen Book Data)
Philosophy Library (Tanner), Science Library (Li and Ma)
Philosophy Library (Tanner)  Status 

Stacks  Request (opens in new tab) 
QA248 .M66 2009  Unknown 
Science Library (Li and Ma)  Status 

Stacks  Request (opens in new tab) 
QA3 .A4 V.155  Unknown 
 Sober, Elliott.
 Cambridge ; New York : Cambridge University Press, 2008.
 Description
 Book — xx, 392 p. : ill. ; 24 cm.
 Summary

 Preface
 1. Evidence
 2. Intelligent design
 3. Natural selection
 4. Common ancestry Conclusion References Index.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
Philosophy Library (Tanner), Science Library (Li and Ma)
Philosophy Library (Tanner)  Status 

Stacks  Request (opens in new tab) 
QH360.5 .S625 2008  Unknown 
Science Library (Li and Ma)  Status 

Stacks  Request (opens in new tab) 
QH360.5 .S625 2008  Unknown 
 Priest, Graham.
 2nd ed.  Cambridge ; New York : Cambridge University Press, 2008.
 Description
 Book — xxxii, 613 pages ; 25 cm.
 Summary

 Preface to the first edition Preface to the second edition Mathematical prolegomenon Part I. Propositional Logic:
 1. Classical logic and the material conditional
 2. Basic modal logic
 3. Normal modal logics
 4. Nonnormal modal logics strict conditionals
 5. Conditional logics
 6. Intuitionist logic
 7. Manyvalued logics
 8. First degree entailment
 9. Logics with gaps, gluts, and worlds
 10. Relevant logics
 11. Fuzzy logics 11a. Appendix: many valued modal logics Postscript: an historical perspective on conditionals Part II. Qualification and Identity:
 12. Classical logic
 13. Free logic
 14. Constant domain modal logics
 15. Variable domain modal logics
 16. Necessary identity in modal logic
 17. Contingent identity in modal logic
 18. Nonnormal modal logics
 19. Conditional logics
 20. Intuitionist logic
 21. Manyvalued logics
 22. First degree entailment
 23. Logics with gaps, gluts, and worlds
 24. Relevant logics
 25. Fuzzy logics Postscript: a methodological coda.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
Philosophy Library (Tanner), Science Library (Li and Ma)
Philosophy Library (Tanner)  Status 

Stacks  Request (opens in new tab) 
QA9.4 .P75 2008  Unknown 
Science Library (Li and Ma)  Status 

Stacks  Request (opens in new tab) 
QA9.4 .P75 2008  Unknown 
18. Philosophy of mathematics : a contemporary introduction to the world of proofs and pictures [2008]
 Brown, James Robert.
 2nd ed.  New York : Routledge, 2008.
 Description
 Book — xiv, 245 p. : ill. ; 24 cm.
 Summary

 Contents Preface and Acknowledgements
 Chapter 1: Introduction: The Mathematical Image
 Chapter 2: Platonism
 Chapter 3: Pictureproofs and Platonism
 Chapter 4: What is Applied Mathematics?
 Chapter 5: Hilbert and Godel
 Chapter 6: Knots and Notation
 Chapter 7: What is a Definition?
 Chapter 8: Constructive Approaches
 Chapter 9: Proofs, Pictures and Procedures in Wittgenstein
 Chapter 10: Computation, Proof and Conjecture
 Chapter 11: How to Refute the Continuum Hypothesis
 Chapter 12: Calling the Bluff Notes Bibliography Index.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
 Online
Philosophy Library (Tanner), Science Library (Li and Ma)
Philosophy Library (Tanner)  Status 

Stacks  Request (opens in new tab) 
QA8.4 .B76 2008  Unknown 
Science Library (Li and Ma)  Status 

Stacks  Request (opens in new tab) 
QA8.4 .B76 2008  Unknown 
19. An introduction to Gödel's Theorems [2007]
 Smith, Peter, 1935
 Cambridge, UK ; New York : Cambridge University Press, 2007.
 Description
 Book — xiv, 361 p. ; 26 cm.
 Summary

 Preface
 1. What Godel's Theorems say
 2. Decidability and enumerability
 3. Axiomatized formal theories
 4. Capturing numerical properties
 5. The truths of arithmetic
 6. Sufficiently strong arithmetics
 7. Interlude: taking stock
 8. Two formalized arithmetics
 9. What Q can prove
 10. Firstorder Peano Arithmetic
 11. Primitive recursive functions
 12. Capturing funtions
 13. Q is p.r. adequate
 14. Interlude: a very little about Principia
 15. The arithmetization of syntax
 16. PA is incomplete
 17. Godel's First Theorem
 18. Interlude: about the First Theorem
 19. Strengthening the First Theorem
 20. The Diagonalization Lemma
 21. Using the Diagonalization Lemma
 22. Secondorder arithmetics
 23. Interlude: incompleteness and Isaacson's conjecture
 24. Godel's Second Theorem for PA
 25. The derivability conditions
 26. Deriving the derivability conditions
 27. Reflections
 28. Interlude: about the Second Theorem
 29. Recursive functions
 30. Undecidability and incompleteness
 31. Turing machines
 32. Turing machines and recursiveness
 33. Halting problems
 34. The ChurchTuring Thesis
 35. Proving the Thesis?
 36. Looking back.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
 Online
Philosophy Library (Tanner), Science Library (Li and Ma)
Philosophy Library (Tanner)  Status 

Stacks  Request (opens in new tab) 
QA9.65 .S65 2007  Unknown 
Science Library (Li and Ma)  Status 

Stacks  Request (opens in new tab) 
QA9.65 .S65 2007  Unknown 
 New York : Springer, c2006.
 Description
 Book — xxi, 326 p. : ill. ; 24 cm.
 Summary

 Introduction by Reuben Hersh. A. Renyi: Socratic Dialogue. C. Celluci: Filosofia e Matematica, introduction. W. Thurston: On Proof and Progress in Mathematics. A. Aberdein: The Informal Logic of Mathematical Proof. Y. Rav: Philosophical Problems of Mathematics in Light of Evolutionary Epistemology. B. Rotman: Towards a Semiotics of Mathematics. D. Mackenzie: Computers and the Sociology of Mathematical Proof. T. Stanway: From G.H.H. and Littlewood to XML and Maple: Changing Needs and Expectations in Mathematical Knowledge Management. R. Nunez: Do Numbers Really Move? T. Gowers: Does Mathematics Need a Philosophy? J. Azzouni: How and Why Mathematics is a Social Practice. G.C. Rota: The Pernicious Influence of Mathematics Upon Philosophy. J. Schwartz: The Pernicious Influence of Mathematics on Science. Alfonso Avila del Palacio: What is Philosophy of Mathematics Looking For?. A. Pickering: Concepts and the Mangle of Practice: Constructing Quaternions. E. Glas: Mathematics as Objective Knowledge and as Human Practice. L. White: The Locus of Mathematical Reality: An Anthropological Footnote. R. Hersh: Inner Vision, Outer Truth.
 (source: Nielsen Book Data)
(source: Nielsen Book Data)
Philosophy Library (Tanner), Science Library (Li and Ma)
Philosophy Library (Tanner)  Status 

Stacks  Request (opens in new tab) 
QA8.6 .A13 2006  Unknown 
Science Library (Li and Ma)  Status 

Stacks  Request (opens in new tab) 
QA8.6 .A13 2006  Unknown 