isbn.nu
search for books and compare prices
Search >
philosophy mathematics matches 254 work(s)
at beginning | displaying 1 to 25 | next 25 >
Jump to start at |
show results in order: alphabetically | oldest to newest | newest to oldest
1
cover image for 9780471961987
Product Description: Proof has been and remains one of the concepts which characterises mathematics. Covering basic propositional and predicate logic as well as discussing axiom systems and formal proofs, the book seeks to explain what mathematicians understand by proofs and how they are communicated...read more (view table of contents, read Amazon.com's description)
Edition summary (click for prices and details):

Hardcover:

9780471961987 | John Wiley & Son Ltd, August 1, 1996, cover price $149.95 | About this edition: Proof has been and remains one of the concepts which characterises mathematics.

Paperback:

9780471961994 | John Wiley & Son Ltd, August 1, 1996, cover price $49.95 | About this edition: Proof has been and remains one of the concepts which characterises mathematics.

2
cover image for 9780387946177
Product Description: This text is designed for students preparing to engage in their first struggles to understand and write proofs and to read mathematics independently. Intended for use as a supplementary text in courses on introductory real analysis, advanced calculus, abstract algebra, or topology, the book teaches in detail how to construct examples and non-examples to help understand a new theorem or definition; it shows how to discover the outline of a proof in the form of the theorem and how logical structures determine the forms that proofs may take...read more
Edition summary (click for prices and details):

Hardcover:

9780387946177 | Springer Verlag, February 1, 1996, cover price $59.95 | About this edition: This text is designed for students preparing to engage in their first struggles to understand and write proofs and to read mathematics independently.

3
Product Description: This ambitious work puts forward a new account of mathematics-as-language that challenges the coherence of the accepted idea of infinity and suggests a startlingly new conception of counting. The author questions the familiar, classical interpretation of whole numbers held by mathematicians, and replaces it with a radical alternative...read more
Edition summary (click for prices and details):

Hardcover:

9780804721271 | Stanford Univ Pr, June 1, 1993, cover price $59.95 | About this edition: This ambitious work puts forward a new account of mathematics-as-language that challenges the coherence of the accepted idea of infinity and suggests a startlingly new conception of counting.

4
cover image for 9780521559614
Product Description: This volume gives an overview of linear logic in five parts: category theory; complexity and expressivity; proof theory; proof nets; and the geometry of interaction. The book includes a general introduction to linear logic that will ensure this book's use by the novice as well as the expert...read more (view table of contents, read Amazon.com's description)
By Jean-Yves Girard (editor), Yves Lafont (editor), Linear Logic Workshop (corporate author) and Laurent Regnier (editor)
Edition summary (click for prices and details):

Paperback:

9780521559614 | Cambridge Univ Pr, July 1, 1995, cover price $85.00 | About this edition: This volume gives an overview of linear logic in five parts: category theory; complexity and expressivity; proof theory; proof nets; and the geometry of interaction.

5
Product Description: The algorithm is just code, but it makes things happen. It's the set of abstract, detailed instructions that makes computers run. Any programmer can invent a new algorithm-and many have become millionaires doing just that. Computers, the Internet, virtual reality-our world is being transformed before our eyes, all because some quirky logicians and mathematicians followed the dream of ultimate abstraction and invented the algorithm...read more
Edition summary (click for prices and details):

Hardcover:

9780756761660, titled "Advent of the Algorithm: The Idea That Rules the World" | Diane Pub Co, November 1, 2000, cover price $28.00 | About this edition: The algorithm is just code, but it makes things happen.
9780151003389 | Harcourt, March 1, 2000, cover price $28.00 | About this edition: Describes the invention of the algorithm, first theorized by Leibniz, and the dramatic implications of this mathematical discovery on the development of computer technology and the working of DNA

6
cover image for 9783540634591
Product Description: This book constitutes the refereed proceedings of the 6th International Conference on Algebraic and Logic Programming, ALP '97 and the 3rd International Workshop on Higher-Order Algebra, Logic and Term Rewriting, HOA '97, held jointly in Southampton, UK, in September 1997...read more
Edition summary (click for prices and details):

Paperback:

9783540634591 | Springer Verlag, September 1, 1997, cover price $71.95 | About this edition: This book constitutes the refereed proceedings of the 6th International Conference on Algebraic and Logic Programming, ALP '97 and the 3rd International Workshop on Higher-Order Algebra, Logic and Term Rewriting, HOA '97, held jointly in Southampton, UK, in September 1997.

7
cover image for 9780792360094
Product Description: This unique textbook states and proves all the major theorems of many-valued propositional logic and provides the reader with the most recent developments and trends, including applications to adaptive error-correcting binary search...read more (view table of contents, read Amazon.com's description)
Edition summary (click for prices and details):

Hardcover:

9780792360094 | Kluwer Academic Pub, December 1, 1999, cover price $169.00 | About this edition: This unique textbook states and proves all the major theorems of many-valued propositional logic and provides the reader with the most recent developments and trends, including applications to adaptive error-correcting binary search.

8
cover image for 9780883855157
Product Description: Do you expect to find articles about mathematics in your daily newspaper? If you are a reader of The Guardian you do, or at least you did during the second half of the 1980s. This volume collects many of the columns Keith Devlin wrote for The Guardian...read more
Edition summary (click for prices and details):

Paperback:

9780883855157 | Mathematical Assn of Amer, June 1, 1994, cover price $24.95 | About this edition: Do you expect to find articles about mathematics in your daily newspaper?

9
cover image for 9780792345701
Product Description: Since Plato, there have been many interpretations of the ideas of analysis and synthesis, which are related to mathematical thought. Mathematicians have appealed to them to distinguish different forms and styles in their argumentations and expositions...read more (view table of contents, read Amazon.com's description)
By Michael Otte (editor) and Marco Panza (editor)
Edition summary (click for prices and details):

Hardcover:

9780792345701 | Kluwer Academic Pub, June 1, 1997, cover price $227.00 | About this edition: Since Plato, there have been many interpretations of the ideas of analysis and synthesis, which are related to mathematical thought.

10
Edition summary (click for prices and details):

Hardcover:

9789060320365 | John Benjamins Pub Co, December 1, 1989, cover price $188.00

11
cover image for 9780674009707
Product Description: This book analyzes the different ways mathematics is applicable in the physical sciences, and presents a startling thesis--the success of mathematical physics appears to assign the human mind a special place in the cosmos. Mark Steiner distinguishes among the semantic problems that arise from the use of mathematics in logical deduction; the metaphysical problems that arise from the alleged gap between mathematical objects and the physical world; the descriptive problems that arise from the use of mathematics to describe nature; and the epistemological problems that arise from the use of mathematics to discover those very descriptions...read more
Edition summary (click for prices and details):

Hardcover:

9780674040977 | Harvard Univ Pr, November 20, 1998, cover price $60.00 | About this edition: This book analyzes the different ways mathematics is applicable in the physical sciences, and presents a startling thesis - the success of mathematical physics appears to assign the human mind a special place in the cosmos.

Paperback:

9780674009707 | Reprint edition (Harvard Univ Pr, September 30, 2002), cover price $28.00 | About this edition: This book analyzes the different ways mathematics is applicable in the physical sciences, and presents a startling thesis--the success of mathematical physics appears to assign the human mind a special place in the cosmos.

12
cover image for 9781402002267
Product Description: Imre Lakatos (1922--1974) was one of the protagonists in shaping the "new philosophy of science". More than 25 years after his untimely death, it is time for a critical re-evaluation of his ideas. His main theme of locating rationality within the scientific process appears even more compelling today, after many historical case studies have revealed the cultural and societal elements within scientific practices...read more (view table of contents, read Amazon.com's description)
By George Kampis (editor), Ladislav Kvasz (editor) and Michael Stoltzner (editor)
Edition summary (click for prices and details):

Hardcover:

9781402002267 | Kluwer Academic Pub, March 1, 2002, cover price $189.00 | About this edition: Imre Lakatos (1922--1974) was one of the protagonists in shaping the "new philosophy of science".

13
Product Description: This text explores the role which the mathematical sciences played in Aristotle's philosophical thought, in particular metaphysics and epistemology. It also thematizes the aporetic method by means of which Aristotle deals with philosophical questions about the foundations of mathematics...read more
Edition summary (click for prices and details):

Hardcover:

9789004101593 | Brill Academic Pub, June 1, 1995, cover price $322.00 | About this edition: This text explores the role which the mathematical sciences played in Aristotle's philosophical thought, in particular metaphysics and epistemology.

14
Product Description: Conceived by Johan van Benthem and Yde Venema, arrow logic started as an attempt to give a general account of the logic of transitions. The generality of the approach provided a wide application area ranging from philosophy to computer science...read more
By Maarten Marx (editor), Michael Masuch (editor) and Laszlo Polos (editor)
Edition summary (click for prices and details):

Hardcover:

9781575860251 | Stanford Univ Center for the Study, June 1, 1996, cover price $64.95 | About this edition: Conceived by Johan van Benthem and Yde Venema, arrow logic started as an attempt to give a general account of the logic of transitions.

Paperback:

9781575860244 | Stanford Univ Center for the Study, June 1, 1996, cover price $25.00 | About this edition: Conceived by Johan van Benthem and Yde Venema, arrow logic started as an attempt to give a general account of the logic of transitions.

15
cover image for 9780195147438
The authors offer a thoughtful but entertaining journey into the heart of mathematics covering the great road from Pythagoras through Descartes, Leibniz, Cantor and others. (Science & Mathematics)
Edition summary (click for prices and details):

Hardcover:

9780195147438 | Oxford Univ Pr, April 3, 2003, cover price $28.00 | About this edition: Traces the development of mathematical thinking and describes the characteristics of the 'republic of numbers' in terms of humankind's fascination with, and growing knowledge of, infinity.

16
cover image for 9781568811734
Product Description: In addition to the standard results of Godel and others on incompleteness, (non-) finite axiomability and interpretability, this book contains a thorough treatment of partial conservativity and degress of interpretability. The expanded number of exercises and the wide collection of results make the book useful as a textbook for a graduate course and a valuable reference for researchers...read more
Edition summary (click for prices and details):

Paperback:

9781568811734 | 2nd rev edition (A K Peters Ltd, November 1, 2003), cover price $35.00 | About this edition: In addition to the standard results of Godel and others on incompleteness, (non-) finite axiomability and interpretability, this book contains a thorough treatment of partial conservativity and degress of interpretability.
9783540632139 | Springer Verlag, July 1, 1997, cover price $42.00 | About this edition: Lecture Notes in Logic 10 is concerned almost exclusively with properties that are common to all sufficiently strong, axiomatizable theories.

17
cover image for 9780792340102
Product Description: Two decades ago, Boyer and Moore built one of the first automated theorem provers that was capable of proofs by mathematical induction. Today, the Boyer--Moore theorem prover remains the most successful in the field. For a long time, the research on automated mathematical induction was confined to very few people...read more
By H. Zhang (editor)
Edition summary (click for prices and details):

Hardcover:

9780792340102 | Kluwer Academic Pub, June 1, 1996, cover price $149.00 | About this edition: Two decades ago, Boyer and Moore built one of the first automated theorem provers that was capable of proofs by mathematical induction.

18
Edition summary (click for prices and details):

Paperback:

9780813520940 | Rutgers Univ Pr, April 1, 1994, cover price $22.00

19
cover image for 9780521779111
Product Description: This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of first-order logic formalization. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic, logic programming theory, category theory, modal logic, linear logic, first-order arithmetic and second-order logic...read more (view table of contents, read Amazon.com's description)
Edition summary (click for prices and details):

Hardcover:

9780521572231 | Cambridge Univ Pr, October 1, 1996, cover price $60.99 | About this edition: This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of formalization of first-order logic.

Paperback:

9780521779111 | 2 sub edition (Cambridge Univ Pr, September 1, 2000), cover price $43.00 | About this edition: This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of first-order logic formalization.
9780521784528 | Cambridge Univ Pr, August 1, 2000, cover price $16.95

20
cover image for 9780060926717
Product Description: The Universe May Be a Mystery,But It's No SecretMichael Schneider leads us on a spectacular, lavishly illustrated journey along the numbers one through ten to explore the mathematical principles made visible in flowers, shells, crystals, plants, and the human body, expressed in the symbolic language of folk sayings and fairy tales, myth and religion, art and architecture...read more
Edition summary (click for prices and details):

Hardcover:

9780060169398 | Harpercollins, August 1, 1994, cover price $30.00 | About this edition: Describes the mathematical bases of life, including consistent patterns of numbers and geometric figures that are found in physics, mythology, philosophy, and religion, and art

Paperback:

9780060926717 | Perennial, November 1, 1995, cover price $18.99 | About this edition: The Universe May Be a Mystery,But It's No SecretMichael Schneider leads us on a spectacular, lavishly illustrated journey along the numbers one through ten to explore the mathematical principles made visible in flowers, shells, crystals, plants, and the human body, expressed in the symbolic language of folk sayings and fairy tales, myth and religion, art and architecture.
9789990051650 | Harpercollins, November 1, 1995, cover price $0.02

21
cover image for 9780631192688
Product Description: This volume contains ten original essays discussing Benacerrafian themes within and outside the philosophy of mathematics and a new essay "What mathematical truth could not be" by Benacerraf himself.
By Adam Morton (editor) and Stephen P. Stich (editor)
Edition summary (click for prices and details):

Hardcover:

9780631192688 | Blackwell Pub, August 1, 1996, cover price $49.95 | About this edition: This volume contains ten original essays discussing Benacerrafian themes within and outside the philosophy of mathematics and a new essay "What mathematical truth could not be" by Benacerraf himself.

22
cover image for 9780226398976
Product Description: In this first modern, critical assessment of the place of mathematics in Berkeley's philosophy and Berkeley's place in the history of mathematics, Douglas M. Jesseph provides a bold reinterpretation of Berkeley's work. Jesseph challenges the prevailing view that Berkeley's mathematical writings are peripheral to his philosophy and argues that mathematics is in fact central to his thought, developing out of his critique of abstraction...read more
Edition summary (click for prices and details):

Hardcover:

9780226398976 | Univ of Chicago Pr, September 15, 1993, cover price $86.00 | About this edition: In this first modern, critical assessment of the place of mathematics in Berkeley's philosophy and Berkeley's place in the history of mathematics, Douglas M.

Paperback:

9780226398983 | Univ of Chicago Pr, September 1, 1993, cover price $29.00 | About this edition: In this first modern, critical assessment of the place of mathematics in Berkeley's philosophy and Berkeley's place in the history of mathematics, Douglas M.

23
cover image for 9780226199948
Product Description: Optimists believe this is the best of all possible worlds. And pessimists fear that might really be the case. But what is the best of all possible worlds? How do we define it? Is it the world that operates the most efficiently? Or the one in which most people are comfortable and content? Questions such as these have preoccupied philosophers and theologians for ages, but there was a time, during the seventeenth and eighteenth centuries, when scientists and mathematicians felt they could provide the answer...read more
Edition summary (click for prices and details):

Hardcover:

9780226199948 | Univ of Chicago Pr, October 1, 2006, cover price $25.00 | About this edition: Optimists believe this is the best of all possible worlds.

24
cover image for 9780226199955
Product Description: Optimists believe this is the best of all possible worlds. And pessimists fear that might really be the case. But what is the best of all possible worlds? How do we define it? This question has preoccupied philosophers and theologians for ages, but there was a time, during the seventeenth and eighteenth centuries, when scientists and mathematicians felt they could provide the answer...read more
Edition summary (click for prices and details):

Paperback:

9780226199955 | Reprint edition (Univ of Chicago Pr, October 31, 2007), cover price $14.00 | About this edition: Optimists believe this is the best of all possible worlds.

at beginning | displaying 1 to 25 | next 25 >