Towards a Philosophy of Real Mathematics. (Record no. 76448)

MARC details
000 -LEADER
fixed length control field 05284nam a22004453i 4500
001 - CONTROL NUMBER
control field EBC202404
003 - CONTROL NUMBER IDENTIFIER
control field MiAaPQ
005 - DATE AND TIME OF LATEST TRANSACTION
control field 20191126103211.0
006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS
fixed length control field m o d |
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION
fixed length control field cr cnu||||||||
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 191125s2003 xx o ||||0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9780511148897
Qualifying information (electronic bk.)
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
Canceled/invalid ISBN 9780521817226
035 ## - SYSTEM CONTROL NUMBER
System control number (MiAaPQ)EBC202404
035 ## - SYSTEM CONTROL NUMBER
System control number (Au-PeEL)EBL202404
035 ## - SYSTEM CONTROL NUMBER
System control number (CaPaEBR)ebr10063488
035 ## - SYSTEM CONTROL NUMBER
System control number (CaONFJC)MIL43434
035 ## - SYSTEM CONTROL NUMBER
System control number (OCoLC)559540435
040 ## - CATALOGING SOURCE
Original cataloging agency MiAaPQ
Language of cataloging eng
Description conventions rda
-- pn
Transcribing agency MiAaPQ
Modifying agency MiAaPQ
050 #4 - LIBRARY OF CONGRESS CALL NUMBER
Classification number QA8.4 .C67 2003
082 0# - DEWEY DECIMAL CLASSIFICATION NUMBER
Classification number 510.1
100 1# - MAIN ENTRY--PERSONAL NAME
Personal name Corfield, David.
9 (RLIN) 52812
245 10 - TITLE STATEMENT
Title Towards a Philosophy of Real Mathematics.
264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE
Place of production, publication, distribution, manufacture Cambridge :
Name of producer, publisher, distributor, manufacturer Cambridge University Press,
Date of production, publication, distribution, manufacture, or copyright notice 2003.
264 #4 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE
Date of production, publication, distribution, manufacture, or copyright notice ©2003.
300 ## - PHYSICAL DESCRIPTION
Extent 1 online resource (300 pages)
336 ## - CONTENT TYPE
Content type term text
Content type code txt
Source rdacontent
337 ## - MEDIA TYPE
Media type term computer
Media type code c
Source rdamedia
338 ## - CARRIER TYPE
Carrier type term online resource
Carrier type code cr
Source rdacarrier
505 0# - FORMATTED CONTENTS NOTE
Formatted contents note Cover -- Half-title -- Title -- Copyright -- Dedication -- Contents -- Preface -- CHAPTER 1 Introduction: a role for history -- 1.1 REAL MATHEMATICS -- 1.2 THE CURRENT STATE OF PLAY -- 1.3 THE FOUNDATIONALIST FILTER -- 1.4 NEW DEBATES FOR THE PHILOSOPHY OF MATHEMATICS -- 1.5 TOWARDS A PHILOSOPHY OF REAL MATHEMATICS -- 1.6 RELATIONS WITH THE PHILOSOPHY OF PHYSICS -- 1.7 FACTORS GOVERNING THE WAY MATHEMATICS PROCEEDS -- 1.8 OUTLINE OF THE BOOK -- PART I Human and artificial mathematicians -- CHAPTER 2 Communicating with automated theorem provers -- 2.1 INTRODUCTION -- 2.2 AUTOMATED MATHEMATICAL REASONING -- 2.3 THE ARGONNE PARADIGM -- 2.4 THE ROBBINS PROBLEM -- 2.5 REFORMULATION -- 2.6 CONCLUSION -- CHAPTER 3 Automated conjecture formation -- 3.1 INTRODUCTION -- 3.2 COMBINATORIAL ENUMERATION -- 3.3 NUMERICAL IDENTITIES AND ENUMERATION -- 3.4 INDUCTIVE LOGIC PROGRAMMING -- 3.5 THE PROBLEM OF THE HOMOTOPY GROUPS OF THE SPHERES -- 3.6 RESULTS AND DIAGNOSIS -- Independent sources -- Language -- 3.7 CONCLUSION -- CHAPTER 4 The role of analogy in mathematics -- 4.1 INTRODUCTION -- 4.2 THOUGHTS ON ANALOGY -- 4.3 THE ANALOGY BETWEEN NUMBER AND FUNCTION -- 4.4 A WATERSHED IN THE USE OF ANALOGY -- 4.5 CONCLUSION -- PART II Plausibility, uncertainty and probability -- CHAPTER 5 Bayesianism in mathematics -- 5.1 INTRODUCTION -- 5.2 PROBABILITY THEORY AS LOGIC -- 5.3 QUANTITATIVE BAYESIANISM -- 5.4 WHAT MIGHT BE ACHIEVED BY BAYESIANISM IN MATHEMATICS -- Analogy -- Strategy -- Enumerative induction -- 5.5 CONCLUSION -- CHAPTER 6 Uncertainty in mathematics and science -- 6.1 INTRODUCTION -- 6.2 FOUR CASE STUDIES OF THE INTERRELATIONSHIP BETWEEN THE PLAUSIBILITY OF SCIENTIFIC HYPOTHESES AND EVIDENCE AND THE… -- The stability of the solar system -- The onset of turbulence -- The Lee-Yang circle theorem -- Quantum field theory.
505 8# - FORMATTED CONTENTS NOTE
Formatted contents note 6.3 MATHEMATICS AND SCIENTIFIC MODELS -- 6.4 THE PROBLEM OF OLD EVIDENCE -- 6.5 CONCLUSION -- PART III The growth of mathematics -- CHAPTER 7 Lakatos's philosophy of mathematics -- 7.1 INTRODUCTION -- 7.2 LAKATO'S STAGES OF DEVELOPMENT -- 7.3 THE METHOD OF PROOFS AND REFUTATIONS -- 7.4 THE RESEARCH PROGRAMME STAGE -- 7.5 LAKATOS ON RIGOUR -- 7.6 THE JAFFE-QUINN DEBATE -- 7.7 CONCLUSION -- CHAPTER 8 Beyond the methodology of mathematical research programmes -- 8.1 INTRODUCTION -- 8.2 PUTTING THE METHODOLOGY OF MATHEMATICAL RESEARCH PROGRAMMES TO THE TEST -- 8.3 DEDEKIND VERSUS KRONECKER -- 8.4 OTHER ATTEMPTS TO CONSTRUCT A METHODOLOGY OF MATHEMATICAL RESEARCH PROGRAMMES -- 8.5 KOETSIER AND THE METHODOLOGY OF MATHEMATICAL RESEARCH TRADITIONS -- 8.6 MADDY'S NATURALISM -- 8.7 CONCLUSION -- CHAPTER 9 The importance of mathematical conceptualisation -- 9.1 VALUES IN MATHEMATICS -- 9.2 WHAT IS A GROUPOID? -- 9.3 HOW GROUPOIDS COMPARE WITH GROUPS -- 9.4 THE FULL EXPLOITATION OF ONE-DIMENSIONALITY -- 9.5 GROUPOID ALGEBRAS USED TO COMPENSATE FOR BAD SPACES -- 9.6 APPLICATIONS AND OLD CONJECTURES -- 9.7 NEW PROSPECTS: HIGHER-DIMENSIONAL ALGEBRA -- 9.8 THE CONCEPTUAL AND THE NATURAL -- 9.9 CONCLUSION -- PART IV The interpretation of mathematics -- CAHPTER 10 Higher-dimensional algebra -- 10.1 INTRODUCTION -- 10.2 CATEGORIFICATION: MAKING DISTINCTIONS -- 10.3 HIGHER-DIMENSIONAL ALGEBRA AS AN ORGANISING LANGUAGE -- 10.4 DIAGRAMMATIC CALCULATION -- 10.5 APPLICATIONS -- 10.6 CONCLUSION -- Appendix -- MONOID -- GROUP -- RING -- IDEAL -- FIELD -- ALGEBRA -- COALGEBRA -- BIALGEBRA -- HOPF ALGEBRA -- CATEGORY -- FUNCTOR -- ADJOINT FUNCTORS -- MORITA EQUIVALENCE -- Bibliography -- Index.
520 ## - SUMMARY, ETC.
Summary, etc. Corfield sets out a variety of approaches to new thinking about the philosophy of mathematics.
588 ## - SOURCE OF DESCRIPTION NOTE
Source of description note Description based on publisher supplied metadata and other sources.
590 ## - LOCAL NOTE (RLIN)
Local note Electronic reproduction. Ann Arbor, Michigan : ProQuest Ebook Central, 2019. Available via World Wide Web. Access may be limited to ProQuest Ebook Central affiliated libraries.
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Mathematics--Philosophy.
9 (RLIN) 52813
655 #4 - INDEX TERM--GENRE/FORM
Genre/form data or focus term Electronic books.
9 (RLIN) 52814
776 08 - ADDITIONAL PHYSICAL FORM ENTRY
Relationship information Print version:
Main entry heading Corfield, David
Title Towards a Philosophy of Real Mathematics
Place, publisher, and date of publication Cambridge : Cambridge University Press,c2003
International Standard Book Number 9780521817226
797 2# - LOCAL ADDED ENTRY--CORPORATE NAME (RLIN)
Corporate name or jurisdiction name as entry element ProQuest (Firm)
856 40 - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://ebookcentral.proquest.com/lib/thebc/detail.action?docID=202404">https://ebookcentral.proquest.com/lib/thebc/detail.action?docID=202404</a>
Public note Click to View
887 ## - NON-MARC INFORMATION FIELD
Content of non-MARC field EBK
942 ## - ADDED ENTRY ELEMENTS (KOHA)
Koha item type Ebrary
Holdings
Withdrawn status Lost status Damaged status Not for loan Home library Current library Date acquired Total Checkouts Barcode Date last seen Price effective from Koha item type
        Afghanistan Afghanistan 26/11/2019   EBKAF0006137 26/11/2019 26/11/2019 Ebrary
        Algeria Algeria           Ebrary
        Cyprus Cyprus           Ebrary
        Egypt Egypt           Ebrary
        Libya Libya           Ebrary
        Morocco Morocco           Ebrary
        Nepal Nepal 26/11/2019   EBKNP0006137 26/11/2019 26/11/2019 Ebrary
        Sudan Sudan           Ebrary
        Tunisia Tunisia           Ebrary