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!
Pessimism of the Intellect, Optimism of the Will Favorite posts  Manifold podcast  Twitter: @hsu_steve
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 globalization
 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 (378)
 genetics (305)
 globalization (282)
 finance (268)
 brainpower (265)
 genomics (255)
 technology (240)
 american society (234)
 China (213)
 innovation (195)
 economics (185)
 ai (184)
 psychometrics (174)
 science (166)
 photos (162)
 psychology (159)
 machine learning (148)
 biology (144)
 travel (142)
 universities (133)
 genetic engineering (132)
 higher education (126)
 human capital (120)
 credit crisis (115)
 startups (113)
 iq (106)
 cognitive science (99)
 podcasts (98)
 autobiographical (88)
 political correctness (88)
 careers (85)
 politics (85)
 geopolitics (84)
 statistics (80)
 credit crunch (78)
 elitism (76)
 evolution (76)
 quantum mechanics (75)
 bounded rationality (74)
 gilded age (73)
 social science (73)
 income inequality (72)
 talks (72)
 genius (71)
 history of science (67)
 caltech (64)
 realpolitik (64)
 books (62)
 MSU (60)
 mma (57)
 sci fi (57)
 academia (55)
 biotech (55)
 harvard (54)
 silicon valley (54)
 mathematics (52)
 history (50)
 kids (50)
 education (49)
 intellectual history (49)
 bgi (48)
 cdo (45)
 derivatives (43)
 neuroscience (43)
 behavioral economics (41)
 jiujitsu (41)
 literature (41)
 video (40)
 physical training (39)
 computing (37)
 ufc (37)
 bjj (36)
 bubbles (36)
 film (36)
 mortgages (36)
 google (35)
 economic history (34)
 expert prediction (34)
 many worlds (34)
 affirmative action (33)
 hedge funds (33)
 nuclear weapons (32)
 race relations (31)
 security (31)
 von Neumann (31)
 black holes (30)
 quants (30)
 efficient markets (29)
 feynman (29)
 foo camp (29)
 movies (29)
 sports (29)
 music (28)
 singularity (26)
 entrepreneurs (25)
 housing (25)
 meritocracy (25)
 obama (25)
 subprime (25)
 berkeley (24)
 taiwan (24)
 conferences (23)
 epidemics (23)
 venture capital (23)
 athletics (22)
 quantum field theory (22)
 ultimate fighting (22)
 wall street (22)
 cds (20)
 internet (20)
 blogging (19)
 scifoo (19)
 gender (18)
 goldman sachs (18)
 new yorker (18)
 cryptography (17)
 dna (17)
 freeman dyson (17)
 smpy (17)
 treasury bailout (17)
 university of oregon (17)
 algorithms (16)
 japan (16)
 personality (16)
 privacy (16)
 autism (15)
 christmas (15)
 cosmology (15)
 happiness (15)
 height (15)
 oppenheimer (15)
 Fermi problems (14)
 fitness (14)
 les grandes ecoles (14)
 social networks (14)
 wwii (14)
 chess (13)
 government (13)
 hedonic treadmill (13)
 india (13)
 neanderthals (13)
 probability (13)
 research (13)
 russia (13)
 war (13)
 aspergers (12)
 blade runner (12)
 malcolm gladwell (12)
 net worth (12)
 nobel prize (12)
 nsa (12)
 philosophy of mind (12)
 Einstein (11)
 entropy (11)
 geeks (11)
 harvard society of fellows (11)
 string theory (11)
 television (11)
 Go (10)
 ability (10)
 art (10)
 climate change (10)
 cold war (10)
 football (10)
 italy (10)
 mutants (10)
 nerds (10)
 olympics (10)
 pseudoscience (10)
 complexity (9)
 crossfit (9)
 democracy (9)
 encryption (9)
 energy (9)
 eugene (9)
 flynn effect (9)
 france (9)
 james salter (9)
 pop culture (9)
 turing test (9)
 alan turing (8)
 alpha (8)
 data mining (8)
 dating (8)
 determinism (8)
 games (8)
 keynes (8)
 manhattan (8)
 pca (8)
 philip k. dick (8)
 qcd (8)
 quantum computers (8)
 real estate (8)
 robot genius (8)
 success (8)
 usain bolt (8)
 Iran (7)
 aig (7)
 ashkenazim (7)
 basketball (7)
 environmentalism (7)
 free will (7)
 fx (7)
 game theory (7)
 hugh everett (7)
 new york times (7)
 paris (7)
 patents (7)
 poker (7)
 simulation (7)
 tail risk (7)
 teaching (7)
 volatility (7)
 anthropic principle (6)
 bayes (6)
 class (6)
 drones (6)
 godel (6)
 inequality (6)
 intellectual property (6)
 markets (6)
 nassim taleb (6)
 noam chomsky (6)
 prostitution (6)
 rationality (6)
 academia sinica (5)
 bobby fischer (5)
 econtalk (5)
 fake alpha (5)
 global warming (5)
 information theory (5)
 iraq war (5)
 kasparov (5)
 luck (5)
 nonlinearity (5)
 perimeter institute (5)
 renaissance technologies (5)
 sad but true (5)
 software development (5)
 vietnam war (5)
 warren buffet (5)
 100m (4)
 Poincare (4)
 bill gates (4)
 borges (4)
 cambridge uk (4)
 censorship (4)
 charles darwin (4)
 creativity (4)
 demographics (4)
 hormones (4)
 humor (4)
 judo (4)
 kerviel (4)
 microsoft (4)
 mixed martial arts (4)
 monsters (4)
 moore's law (4)
 solar energy (4)
 soros (4)
 trento (4)
 200m (3)
 assortative mating (3)
 babies (3)
 brain drain (3)
 charlie munger (3)
 cheng ting hsu (3)
 chet baker (3)
 correlation (3)
 ecosystems (3)
 equity risk premium (3)
 facebook (3)
 fannie (3)
 feminism (3)
 fst (3)
 intellectual ventures (3)
 jim simons (3)
 language (3)
 lee kwan yew (3)
 lewontin fallacy (3)
 lhc (3)
 magic (3)
 michael lewis (3)
 nathan myhrvold (3)
 neal stephenson (3)
 olympiads (3)
 path integrals (3)
 risk preference (3)
 search (3)
 sec (3)
 sivs (3)
 society generale (3)
 supercomputers (3)
 systemic risk (3)
 thailand (3)
 alibaba (2)
 bear stearns (2)
 bruce springsteen (2)
 charles babbage (2)
 cloning (2)
 computers (2)
 david mamet (2)
 digital books (2)
 donald mackenzie (2)
 drugs (2)
 eliot spitzer (2)
 empire (2)
 exchange rates (2)
 frauds (2)
 freddie (2)
 gaussian copula (2)
 heinlein (2)
 industrial revolution (2)
 james watson (2)
 ltcm (2)
 mating (2)
 mba (2)
 mccain (2)
 mit (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)
 skidelsky (2)
 socgen (2)
 sprints (2)
 twitter (2)
 ussr (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)
 dune (1)
 eharmony (1)
 escorts (1)
 faces (1)
 fads (1)
 favorite posts (1)
 fiber optic cable (1)
 francis crick (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)
 jazz (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)
 machine (1)
 mcgeorge bundy (1)
 mexico (1)
 michael jackson (1)
 mickey rourke (1)
 migration (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)
 pyschology (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)
 tyler cowen (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