Publication
Call number
ISBN
Original publication date
Collections
CSS Library Notes
Nonlogical qualities, William Byers shows, play an essential role in mathematics. Ambiguities, contradictions, and paradoxes can arise when ideas developed in different contexts come into contact. Uncertainties and conflicts, Byers demonstrates, do not impede but rather spur the development of mathematics. Creativity often means bringing apparently incompatible perspectives together as complementary aspects of a new, more subtle theory. The secret of mathematics is not to be found only in its logical structure.
The creative dimensions of mathematical work have great implications for our notions of mathematical and scientific truth, Byers argues, and How Mathematicians Think provides a novel approach to many fundamental questions. Is mathematics objectively true? Is it discovered or invented? And is there such a thing as a "final" scientific theory?
Ultimately, How Mathematicians Think shows that the nature of mathematical thinking can teach us a great deal about the human condition itself. -- from publisher
Table of Contents: INTRODUCTION
Turning on the Light
SECTION I THE LIGHT OF AMBIGUITY
CHAPTER 1 Ambiguity in Mathematics
CHAPTER 2 The Contradictory in Mathematics
CHAPTER 3 Paradoxes and Mathematics: Infinity and the Real Numbers
CHAPTER 4 More Paradoxes of Infinity: Geometry, Cardinality, and Beyond
SECTION II THE LIGHT AS IDEA
CHAPTER 5 The Idea as an Organizing Principle
CHAPTER 6 Ideas, Logic, and Paradox
CHAPTER 7 Great Ideas
SECTION III THE LIGHT AND THE EYE OF THE BEHOLDER
CHAPTER 8 The Truth of Mathematics
CHAPTER 9 Conclusion: Is Mathematics Algorithmic or Creative?
FY2008 /
Physical description
Media reviews
Description
To many outsiders, mathematicians appear to think like computers, grimly grinding away with a strict formal logic and moving methodically--even algorithmically--from one black-and-white deduction to another. Yet mathematicians often describe their most important breakthroughs as creative, intuitive responses to ambiguity, contradiction, and paradox. A unique examination of this less-familiar aspect of mathematics, How Mathematicians Think reveals that mathematics is a profoundly creative activity and not just a body of formalized rules and results. Nonlogical qualities, William Byers shows, play an essential role in mathematics. Ambiguities, contradictions, and paradoxes can arise when ideas developed in different contexts come into contact. Uncertainties and conflicts do not impede but rather spur the development of mathematics. Creativity often means bringing apparently incompatible perspectives together as complementary aspects of a new, more subtle theory. The secret of mathematics is not to be found only in its logical structure. The creative dimensions of mathematical work have great implications for our notions of mathematical and scientific truth, and How Mathematicians Think provides a novel approach to many fundamental questions. Is mathematics objectively true? Is it discovered or invented? And is there such a thing as a "final" scientific theory? Ultimately, How Mathematicians Think shows that the nature of mathematical thinking can teach us a great deal about the human condition itself.… (more)
Language
Original language
User reviews
But in the end his conclusion falls a bit flat. He sees computers and software and algorithms as being stuck on one pole of the paradox and therefore essentially trivial. I must say, he triggered one of my pet peeves. On page 383 he says:
"The theory of chaos arises from the study of nonlinearity. Complexity is fundamentally nonlinear. If mathematics is non-linear, then its essence cannot be captured by algorithmic procedures or by the linear strings of reasoning that characterize both mathematical proofs and deductive systems."
This is really disappointing. Through most of the book he has been quite careful to be clear and avoid confusing concepts. But clearly the term "linear" above is used in two very different senses. Deductive systems don't look like vector spaces very much at all!
The crazy thing is, the whole business of complexity theory and chaos, this arose because of computers. It is just too much work to try to simulate those differential equations, to compute solutions for a variety of parameter values.
Here is a huge question that Byers just avoided. It is very nice to say that the human mind is not a deductive system. Sure, there is a school of cognitive science that would like to model minds as computers. I'm not sure whether very many folks in that field work from that premise any more.
But, it seems pretty clear that the world of physics can be modeled quite nicely with differential equations. It seems quite reasonable, in principle, to simulate a human being, i.e. all the atoms, the chemical bonds, etc. OK, the computer would probably require cosmic-scale resources to pull this off. But there was recently some huge simulation of a decent sized chunk of a cat's brain, and it did simulate some interesting behavior. This is not modeling the human mind as a deductive system, this is modeling brain behavior as a biochemical system.
This whole area is vast and deep. I think Byers is making a valuable contribution to the philosophy of mathematics. But when he discusses computer science and cognitive science, he falls short. Both of these research areas are much more fertile than he seems to imagine. What would be much more fun is to extend his notions of the fundamental roles of ambiguity and paradox to those disciplines, to show how the internal conflicts in those disciplines are actually fertile, rather than flaws.
For example, in computer science, contrast the view of Edsgar Dijkstra, that it is a mistake for students of computer science to run their programs on computers, with the common practice of agile development. Maybe computer science should be totally separated from software development? That is really a beautiful paradox!
Of course the whole mind-body distinction is an ancient paradox. Byers seems to be landing on one pole, mind is not body. Even life is not body. He seems to be proposing some kind of vital essence or soul. Wait a minute, Byers acknowledges, on p. 17, his practice of Zen. Buddhism is practically founded on, hmmm, not exactly the non-existence of the soul, but the paradoxical nature of that issue.
What if the paradoxical nature of the mind actually points to a paradoxical nature of the body? Does that mean that, after all, we can't really simulate the physical world? Playing with Byers's idea of objective subjectivity... one problem with simulating the physical world is that causality is necessarily tied up with a free choice among possible stimuli.
The idea that depth is associated with paradox, this is really nice. I was just disappointed that he couldn't maintain that depth but ended up driven to resolution and hence landing in the shallows, just where the real fun could have begun.