I guess there's also another meaning of "Far Side", as in the "Far Side" cartoons... I know that Mann is trying to be "open ended", but his topics seem to me to be a bit fuzzier than Hilbert's topics. I don't know if (D)ARPA is interested, but the time is right for the following project, which could conceivably take 10 or more years: --- Mathpedia/Wikiproof/(still looking for a good name): Computers are now ubiquitous, and now have enough memory & processing power to enable the following scenario for mathematics publishing: In order to get a paper published, you have to make all of the proofs mechanically checkable, and submit them to a web-based proof checker prior to being considered by the referees. No proof; no publish. This is arXiv with a prerequisite. To enable this scenario will require a significant investment in software development to come up with the representations (some form of XML) and library of theorems/lemmas/etc. to enable such proof checking to be automated. What is really required here is a machine readable representation for all of known mathematics, which will require significant labor from every branch of mathematics. Note that we do not require "artificial intelligence" or any substantial cleverness on the part of this proof checker. Cleverness would enable shortening the submitted proofs (the computer could make "obvious" deductions), but wouldn't be required. There has already been a lot of work done on various sorts of mechanical proof checkers -- Bob Boyer at U Texas & lots of work for proving that chip hardware "works". Now is the time to make this sort of tool ubiquitous, so we no longer need worry about whether a mathematical paper is "correct", and can now focus on why it might be important. Such a project might be called the Russell and/or Whitehead project; it is the logical culmination of that line of work to formalize mathematical proofs. (John McCarthy proposed a similar requirement for every piece of software -- that a mathematical proof that it works accompany it. A restricted version of this idea is implemented in "Proof Carrying Code", which proves that certain low-level requirements are met -- e.g., that the program not overrun its boundaries, either in time or space, that non-pointers aren't dereferenced, etc.) At 01:06 PM 9/28/2007, Hilarie Orman wrote:
The following challenges are summarized from a DARPA request for white papers and proposals for mathematics research, an area that DARPA has traditionally avoided, seeing it as NSF's purview. See http://www.darpa.mil/dso/personnel/mann.htm for links to more information.
What do math-funners think of these topics?
Mathematical Challenge One: The Mathematics of the Brain * Develop a mathematical theory to build a functional model of the brain that is mathematically consistent and predictive rather than merely biologically inspired.
Mathematical Challenge Two: The Dynamics of Networks * Develop the high-dimensional mathematics needed to accurately model and predict behavior in large-scale distributed networks that evolve over time occurring in communication, biology, and the social sciences.
Mathematical Challenge Three: Capture and Harness Stochasticity in Nature * Address Mumford's call for new mathematics for the 21st century. Develop methods that capture persistence in stochastic environments.
Mathematical Challenge Four: 21st Century Fluids * Classical fluid dynamics and the Navier-Stokes Equation were extraordinarily successful in obtaining quantitative understanding of shock waves, turbulence, and solitons, but new methods are needed to tackle complex fluids such as foams, suspensions, gels, and liquid crystals.
Mathematical Challenge Five: Biological Quantum Field Theory * Quantum and statistical methods have had great success modeling virus evolution. Can such techniques be used to model more complex systems such as bacteria? Can these techniques be used to control pathogen evolution?
Mathematical Challenge Six: Computational Duality * Duality in mathematics has been a profound tool for theoretical understanding. Can it be extended to develop principled computational techniques where duality and geometry are the basis for novel algorithms?
Mathematical Challenge Seven: Occam's Razor in Many Dimensions * As data collection increases can we "do more with less" by finding lower bounds for sensing complexity in systems? This is related to questions about entropy maximization algorithms.
Mathematical Challenge Eight: Beyond Convex Optimization * Can linear algebra be replaced by algebraic geometry in a systematic way?
Mathematical Challenge Nine: What are the Physical Consequences of Perelman's Proof of Thurston's Geometrization Theorem? * Can profound theoretical advances in understanding three dimensions be applied to construct and manipulate structures across scales to fabricate novel materials?
Mathematical Challenge Ten: Algorithmic Origami and Biology * Build a stronger mathematical theory for isometric and rigid embedding that can give insight into protein folding.
Mathematical Challenge Eleven: Optimal Nanostructures * Develop new mathematics for constructing optimal globally symmetric structures by following simple local rules via the process of nanoscale self-assembly.
Mathematical Challenge Twelve: The Mathematics of Quantum Computing, Algorithms, and Entanglement * In the last century we learned how quantum phenomena shape our world. In the coming century we need to develop the mathematics required to control the quantum world.
Mathematical Challenge Thirteen: Creating a Game Theory that Scales * What new scalable mathematics is needed to replace the traditional Partial Differential Equations (PDE) approach to differential games?
Mathematical Challenge Fourteen: An Information Theory for Virus Evolution * Can Shannon's theory shed light on this fundamental area of biology?
Mathematical Challenge Fifteen: The Geometry of Genome Space * What notion of distance is needed to incorporate biological utility?
Mathematical Challenge Sixteen: What are the Symmetries and Action Principles for Biology? * Extend our understanding of symmetries and action principles in biology along the lines of classical thermodynamics, to include important biological concepts such as robustness, modularity, evolvability, and variability.
Mathematical Challenge Seventeen: Geometric Langlands and Quantum Physics * How does the Langlands program, which originated in number theory and representation theory, explain the fundamental symmetries of physics? And vice versa?
Mathematical Challenge Eighteen: Arithmetic Langlands, Topology, and Geometry * What is the role of homotopy theory in the classical, geometric, and quantum Langlands programs?
Mathematical Challenge Nineteen: Settle the Riemann Hypothesis * The Holy Grail of number theory.
Mathematical Challenge Twenty: Computation at Scale * How can we develop asymptotics for a world with massively many degrees of freedom?
Mathematical Challenge Twenty-one: Settle the Hodge Conjecture * This conjecture in algebraic geometry is a metaphor for transforming transcendental computations into algebraic ones.
Mathematical Challenge Twenty-two: Settle the Smooth Poincare Conjecture in Dimension 4 * What are the implications for space-time and cosmology? And might the answer unlock the secret of "dark energy"?
Mathematical Challenge Twenty-three: What are the Fundamental Laws of Biology? * Dr. Tether's question will remain front and center in the next 100 years. I place this challenge last as finding these laws will undoubtedly require the mathematics developed in answering several of the questions listed above.