Cristian Calude: I suggest we discuss the question, Is mathematics independent of physics?
Gregory Chaitin: Okay.
CC: Let's recall David Deutsch's 1982 statement:
The reason why we find it possible to construct, say, electronic calculators, and indeed why we can perform mental arithmetic, cannot be found in mathematics or logic. The reason is that the laws of physics ``happen" to permit the existence of physical models for the operations of arithmetic such as addition, subtraction and multiplication.
Does this apply to mathematics too?
GC: Yeah sure, and if there is real randomness in the world then Monte Carlo algorithms can work, otherwise we are fooling ourselves.
CC: So, if experimental mathematics is accepted as ``mathematics,'' it seems that we have to agree that mathematics depends ``to some extent'' on the laws of physics.
GC: You mean math conjectures based on extensive computations, which of course depend on the laws of physics since computers are physical devices?
CC: Indeed. The typical example is the fourcolor theorem, but there are many other examples. The problem is more complicated when the verification is not done by a conventional computer, but, say, a quantum automaton. In the classical scenario the computation is huge, but in principle it can be verified by an army of mathematicians working for a long time. In principle, theoretically, it is feasible to check every small detail of the computation. In the quantum scenario this possibility is gone.
GC: Unless the human mind is itself a quantum computer with quantum parallelism. In that case an exponentially long quantum proof could not be written out, since that would require an exponential amount of ``classical'' paper, but a quantum mind could directly perceive the proof, as David Deutsch points out in one of his papers.
...
[GC:] But mathematicians shouldn't think they can replace physicists: There's a beautiful little 1943 book on Experiment and Theory in Physics by Max Born where he decries the view that mathematics can enable us to discover how the world works by pure thought, without substantial input from experiment.
CC: What about set theory? Does this have anything to do with physics?
GC: I think so. I think it's reasonable to demand that set theory has to apply to our universe. In my opinion it's a fantasy to talk about infinities or Cantorian cardinals that are larger than what you have in your physical universe. And what's our universe actually like?
a finite universe?
discrete but infinite universe (ℵ0)?
universe with continuity and real numbers (ℵ1)?
universe with higherorder cardinals (≥ ℵ2)?
Does it really make sense to postulate higherorder infinities than you have in your physical universe? Does it make sense to believe in real numbers if our world is actually discrete? Does it make sense to believe in the set {0, 1, 2, ...} of all natural numbers if our world is really finite?
CC: Of course, we may never know if our universe is finite or not. And we may never know if at the bottom level the physical universe is discrete or continuous...
GC: Amazingly enough, Cris, there is some evidence that the world may be discrete, and even, in a way, twodimensional. There's something called the holographic principle, and something else called the Bekenstein bound. These ideas come from trying to understand black holes using thermodynamics. The tentative conclusion is that any physical system only contains a finite number of bits of information, which in fact grows as the surface area of the physical system, not as the volume of the system as you might expect, whence the term ``holographic.''
...
CC: Maybe in the future mathematicians will work closely with computers. Maybe in the future there will be hybrid mathematicians, maybe we will have a man/machine symbiosis. This is already happening in chess, where Grandmasters use chess programs as sparing partners and to do research on new openings.
GC: Yeah, I think you're right about the future. The machine's contribution will be speed, highly accurate memory, and performing large routine computations without error. The human contribution will be new ideas, new points of view, intuition.
CC: But most mathematicians are not satisfied with the machine proof of the fourcolor conjecture. Remember, for us humans, Proof = Understanding.
GC: Yes, but in order to be able to amplify human intelligence and prove more complicated theorems than we can now, we may be forced to accept incomprehensible or only partially comprehensible proofs. We may be forced to accept the help of machines for mental as well as physical tasks.
CC: We seem to have concluded that mathematics depends on physics, haven't we? But mathematics is the main tool to understand physics. Don't we have some kind of circularity?
GC: Yeah, that sounds very bad! But if math is actually, as Imre Lakatos termed it, quasiempirical, then that's exactly what you'd expect. And as you know Cris, for years I've been arguing that informationtheoretic incompleteness results inevitably push us in the direction of a quasiempirical view of math, one in which math and physics are different, but maybe not as different as most people think. As Vladimir Arnold provocatively puts it, math and physics are the same, except that in math the experiments are a lot cheaper!
CC: In a sense the relationship between mathematics and physics looks similar to the relationship between metamathematics and mathematics. The incompleteness theorem puts a limit on what we can do in axiomatic mathematics, but its proof is built using a substantial amount of mathematics!
GC: What do you mean, Cris?
CC: Because mathematics is incomplete, but incompleteness is proved within mathematics, metamathematics is itself incomplete, so we have a kind of unending uncertainty in mathematics. This seems to be replicated in physics as well: Our understanding of physics comes through mathematics, but mathematics is as certain (or uncertain) as physics, because it depends on the physical laws of the universe where mathematics is done, so again we seem to have unending uncertainty. Furthermore, because physics is uncertain, you can derive a new form of uncertainty principle for mathematics itself...
GC: Well, I don't believe in absolute truth, in total certainty. Maybe it exists in the Platonic world of ideas, or in the mind of GodI guess that's why I became a mathematicianbut I don't think it exists down here on Earth where we are. Ultimately, I think that that's what incompleteness forces us to do, to accept a spectrum, a continuum, of possible truth values, not just black and white absolute truth.
In other words, I think incompleteness means that we have to also accept heuristic proofs, the kinds of proofs that George Pólya liked, arguments that are rather convincing even if they are not totally rigorous, the kinds of proofs that physicists like. Jonathan Borwein and David Bailey talk a lot about the advantages of that kind of approach in their twovolume work on experimental mathematics. Sometimes the evidence is pretty convincing even if it's not a conventional proof. For example, if two real numbers calculated for thousands of digits look exactly alike...
CC: It's true, Greg, that even now, a century after Gödel's birth, incompleteness remains controversial. I just discovered two recent essays by important mathematicians, Paul Cohen and Jack Schwartz.* Have you seen these essays?
*P. J. Cohen, ``Skolem and pessimism about proof in mathematics,'' Phil. Trans. R. Soc. A (2005) 363, 24072418; J. T. Schwartz, ``Do the integers exist? The unknowability of arithmetic consistency,'' Comm. Pure & Appl. Math. (2005) LVIII, 12801286.
GC: No.
CC: Listen to what Cohen has to say:
``I believe that the vast majority of statements about the integers are totally and permanently beyond proof in any reasonable system.''
And according to Schwartz,
``truly comprehensive search for an inconsistency in any set of axioms is impossible.''
GC: Well, my current model of mathematics is that it's a living organism that develops and evolves, forever. That's a long way from the traditional Platonic view that mathematical truth is perfect, static and eternal.
CC: What about Einstein's famous statement that
``Insofar as mathematical theorems refer to reality, they are not sure, and insofar as they are sure, they do not refer to reality.''
Still valid?
GC: Or, slightly misquoting Pablo Picasso, theories are lies that help us to see the truth!
Monday, January 01, 2007
Gregory Chaitin on physics and mathematics
I stumbled on this interesting discussion with Gregory Chaitin, one of the discoverers of algorithmic information theory, on the relationship between physics and mathematics. Some excerpts below.
Subscribe to:
Post Comments (Atom)
Blog Archive

▼
2007
(196)

▼
01
(14)
 Group differences galore
 The wisdom of Ponzi
 Summers on the biology century
 Intellectual honesty? in the eye of the beholder
 Graduate admissions, human capital and globalizati...
 China to diversify FX reserves
 China antisatellite capability and nuclear deterr...
 Callow youth at Columbia and the benevolence of fi...
 Brutal, just brutal
 Podcast roundup
 Asians at Berkeley
 Metric on the space of genomes and the scientific ...
 Gregory Chaitin on physics and mathematics
 Money talks

▼
01
(14)
Labels
 physics (321)
 finance (257)
 genetics (256)
 globalization (245)
 brainpower (232)
 technology (175)
 american society (159)
 economics (153)
 China (152)
 photos (150)
 psychometrics (148)
 science (146)
 genomics (131)
 innovation (131)
 psychology (127)
 travel (122)
 credit crisis (115)
 universities (107)
 higher education (106)
 human capital (105)
 biology (97)
 iq (91)
 startups (89)
 ai (86)
 genetic engineering (85)
 cognitive science (79)
 credit crunch (78)
 careers (75)
 gilded age (71)
 elitism (70)
 evolution (69)
 income inequality (69)
 autobiographical (67)
 statistics (60)
 books (59)
 quantum mechanics (59)
 machine learning (58)
 caltech (56)
 social science (55)
 genius (54)
 talks (50)
 sci fi (48)
 bgi (47)
 history of science (47)
 kids (47)
 mma (47)
 cdo (45)
 silicon valley (45)
 education (43)
 geopolitics (43)
 derivatives (42)
 bounded rationality (40)
 mathematics (40)
 podcasts (40)
 politics (40)
 harvard (39)
 academia (38)
 behavioral economics (38)
 political correctness (38)
 intellectual history (37)
 bubbles (36)
 mortgages (36)
 MSU (35)
 history (35)
 jiujitsu (34)
 literature (34)
 hedge funds (32)
 expert prediction (31)
 realpolitik (31)
 bjj (30)
 foo camp (30)
 physical training (30)
 film (29)
 quants (29)
 ufc (29)
 computing (28)
 efficient markets (28)
 many worlds (28)
 black holes (27)
 economic history (27)
 sports (27)
 entrepreneurs (25)
 subprime (25)
 google (24)
 housing (24)
 obama (24)
 singularity (24)
 taiwan (24)
 movies (23)
 race relations (23)
 von Neumann (23)
 berkeley (22)
 feynman (22)
 ultimate fighting (22)
 athletics (21)
 nuclear weapons (21)
 wall street (21)
 affirmative action (20)
 cds (20)
 neuroscience (20)
 scifoo (20)
 music (19)
 biotech (18)
 goldman sachs (18)
 internet (17)
 meritocracy (17)
 quantum field theory (17)
 security (17)
 treasury bailout (17)
 university of oregon (17)
 venture capital (17)
 conferences (16)
 freeman dyson (16)
 gender (16)
 smpy (16)
 autism (15)
 blogging (15)
 cosmology (15)
 cryptography (15)
 japan (15)
 oppenheimer (15)
 personality (15)
 algorithms (14)
 happiness (14)
 new yorker (14)
 hedonic treadmill (13)
 probability (13)
 aspergers (12)
 height (12)
 india (12)
 malcolm gladwell (12)
 net worth (12)
 nobel prize (12)
 television (12)
 wwii (12)
 christmas (11)
 dna (11)
 fitness (11)
 geeks (11)
 les grandes ecoles (11)
 neanderthals (11)
 string theory (11)
 blade runner (10)
 entropy (10)
 football (10)
 government (10)
 italy (10)
 mutants (10)
 nerds (10)
 olympics (10)
 social networks (10)
 ability (9)
 chess (9)
 dating (9)
 eugene (9)
 flynn effect (9)
 pseudoscience (9)
 Einstein (8)
 complexity (8)
 crossfit (8)
 determinism (8)
 encryption (8)
 harvard society of fellows (8)
 keynes (8)
 pca (8)
 philip k. dick (8)
 philosophy of mind (8)
 pop culture (8)
 real estate (8)
 research (8)
 robot genius (8)
 usain bolt (8)
 aig (7)
 alpha (7)
 art (7)
 ashkenazim (7)
 basketball (7)
 data mining (7)
 energy (7)
 free will (7)
 game theory (7)
 hugh everett (7)
 james salter (7)
 manhattan (7)
 poker (7)
 qcd (7)
 turing test (7)
 Go (6)
 alan turing (6)
 anthropic principle (6)
 environmentalism (6)
 france (6)
 fx (6)
 games (6)
 nassim taleb (6)
 nsa (6)
 privacy (6)
 prostitution (6)
 russia (6)
 success (6)
 tail risk (6)
 teaching (6)
 volatility (6)
 war (6)
 Fermi problems (5)
 academia sinica (5)
 bayes (5)
 bobby fischer (5)
 class (5)
 climate change (5)
 democracy (5)
 econtalk (5)
 luck (5)
 noam chomsky (5)
 paris (5)
 renaissance technologies (5)
 sad but true (5)
 software development (5)
 warren buffet (5)
 100m (4)
 Iran (4)
 Poincare (4)
 borges (4)
 cambridge uk (4)
 charles darwin (4)
 cold war (4)
 creativity (4)
 fake alpha (4)
 feminism (4)
 global warming (4)
 godel (4)
 hormones (4)
 humor (4)
 inequality (4)
 intellectual property (4)
 iraq war (4)
 kerviel (4)
 markets (4)
 microsoft (4)
 mixed martial arts (4)
 monsters (4)
 moore's law (4)
 nonlinearity (4)
 patents (4)
 perimeter institute (4)
 solar energy (4)
 soros (4)
 trento (4)
 video (4)
 vietnam war (4)
 200m (3)
 babies (3)
 bill gates (3)
 brain drain (3)
 censorship (3)
 charlie munger (3)
 chet baker (3)
 correlation (3)
 demographics (3)
 ecosystems (3)
 equity risk premium (3)
 facebook (3)
 fannie (3)
 fst (3)
 information theory (3)
 intellectual ventures (3)
 jim simons (3)
 judo (3)
 kasparov (3)
 language (3)
 lee kwan yew (3)
 lewontin fallacy (3)
 lhc (3)
 michael lewis (3)
 nathan myhrvold (3)
 neal stephenson (3)
 new york times (3)
 olympiads (3)
 path integrals (3)
 quantum computers (3)
 rationality (3)
 risk preference (3)
 search (3)
 sec (3)
 sivs (3)
 society generale (3)
 thailand (3)
 alibaba (2)
 assortative mating (2)
 bear stearns (2)
 bruce springsteen (2)
 charles babbage (2)
 cheng ting hsu (2)
 cloning (2)
 david mamet (2)
 digital books (2)
 donald mackenzie (2)
 drones (2)
 eliot spitzer (2)
 empire (2)
 exchange rates (2)
 freddie (2)
 gaussian copula (2)
 heinlein (2)
 industrial revolution (2)
 james watson (2)
 ltcm (2)
 magic (2)
 mating (2)
 mba (2)
 mccain (2)
 monkeys (2)
 national character (2)
 nicholas metropolis (2)
 no holds barred (2)
 offices (2)
 oligarchs (2)
 palin (2)
 population structure (2)
 prisoner's dilemma (2)
 simulation (2)
 skidelsky (2)
 socgen (2)
 sprints (2)
 supercomputers (2)
 systemic risk (2)
 variance (2)
 virtual reality (2)
 abx (1)
 anathem (1)
 andrew lo (1)
 antikythera mechanism (1)
 athens (1)
 atlas shrugged (1)
 ayn rand (1)
 bay area (1)
 beats (1)
 book search (1)
 bunnie huang (1)
 car dealers (1)
 carlos slim (1)
 catastrophe bonds (1)
 cdos (1)
 ces 2008 (1)
 chance (1)
 children (1)
 cochranharpending (1)
 cpi (1)
 david x. li (1)
 dick cavett (1)
 dolomites (1)
 drugs (1)
 dune (1)
 eharmony (1)
 epidemics (1)
 escorts (1)
 faces (1)
 fads (1)
 favorite posts (1)
 fiber optic cable (1)
 francis crick (1)
 frauds (1)
 gary brecher (1)
 gizmos (1)
 greece (1)
 greenspan (1)
 hypocrisy (1)
 igon value (1)
 iit (1)
 inflation (1)
 information asymmetry (1)
 iphone (1)
 jack kerouac (1)
 jaynes (1)
 jfk (1)
 john dolan (1)
 john kerry (1)
 john paulson (1)
 john searle (1)
 john tierney (1)
 jonathan littell (1)
 las vegas (1)
 lawyers (1)
 lehman auction (1)
 les bienveillantes (1)
 lowell wood (1)
 lse (1)
 mcgeorge bundy (1)
 mexico (1)
 michael jackson (1)
 mickey rourke (1)
 migration (1)
 mit (1)
 money:tech (1)
 myron scholes (1)
 netwon institute (1)
 networks (1)
 newton institute (1)
 nfl (1)
 oliver stone (1)
 phil gramm (1)
 philanthropy (1)
 philip greenspun (1)
 portfolio theory (1)
 power laws (1)
 randomness (1)
 recession (1)
 sales (1)
 singapore (1)
 skype (1)
 standard deviation (1)
 star wars (1)
 starship troopers (1)
 students today (1)
 teleportation (1)
 tierney lab blog (1)
 tomonaga (1)
 twitter (1)
 tyler cowen (1)
 ussr (1)
 venice (1)
 violence (1)
 virtual meetings (1)
 war nerd (1)
 wealth effect (1)
3 comments:
GC: Yeah sure, and if there is real randomness in the world then Monte Carlo algorithms can work, otherwise we are fooling ourselves.
Interestingly, most CS theorists believe that randomness does NOT help when it comes to computational complexity (P=BPP).
Dave,
I'm confused by that, since there seem to integrals I can do (to some chosen accuracy) exponentially faster if I have access to a random number generator. This is how we do lattice QCD, for example. If it turns out that only pseudorandom numbers exist, I won't be able to do those integrals to arbitrary accuracy, so there seems to be a sharp difference of the type Chaitin mentions.
I'm not sure where that fits in computational complexity theory, though.
Interesting discussion. I just posted a short quote from it, and a link to this page of this blog, at the "Stupidity from our old friend Sal" thread of the Good Math, Bad Math science blog
http://scienceblogs.com/goodmath/2007/01/stupidity_from_our_old_friend.php
Post a Comment