Mathematicians Like to OptimizeTo get cafe au lait one should carry coffee to milk and not milk to coffee. The idea is of the kind that mathematicians are prone to conceiving. Indeed, we are talking numbers here. If you go to a fridge to pick up a carton of milk, then back to the table where your cup of coffee is getting colder with every step, pour your milk into the cup, hurry towards the fridge and finally rush back to the table - this would take 4 trips between the table and the fridge. On the other hand, if the first time you carry your cup along, pour milk by the refrigerator and return back to the comfort of the table, sipping the coffee on the way and enjoying its warmth too - all in two trips - would not you think the second way is by far more preferable. Two aspects of the opening sentence deserve our attention.
Much of Mathematics is devoted to optimization problems. Furthermore, optimization permeates the whole philosophy of math development. Now, metamathematics is the science that studies mathematics. Rota makes the following metamathematical observation:
Discussion of what is exactly meant by a definitive proof is too philosophical for my purposes. However, we may be sure (and the history seems to confirm the assertion) that mathematicians will not rest until a sufficiently simple proof is discovered. I wish to suggest that optimization is germane to simplification. Somehow simplified proofs deepen our knowledge of whatever Mathematics is about. References
|Contact| |Front page| |Contents| |Did you know?| |Store| Copyright © 1996-2012 Alexander Bogomolny |
| 40615559 |

