文档介绍：arXiv: v2 21 Jun 2003
,4.(’ldsusti nScin3.) Section in this discuss (I’ll sc 4]. G¨odel’s in p 3, of not versions be information-theoretic new to wher ful meta-mathematics, out in turned specifically, application more mathematics, main whose [1], plexity
r loihial adm hoyls,usrcue,i irreducible. unstructured, th smalle strings, theory-less, the binary substantially random, the finite algorithmically program be are better no to say, the both them to is, considering is itself, program calculate that the theory, that th smaller no was program is the puter years that a forty and is AIT tions, theory on scientific work own a my that for theory? point starting information The algorithmic is What 1.
******@us.
∗
hoy=program = theory
oti e et hoyo admesbsdo program-size on based randomness of theory a to me led this So
B eerhDvso,P .Bx28 okonHihs Y10 NY Heights, Yorktown 218, Box O. P. Division, Research IBM
ebi,Ifrain ahadPhysics and Math Information, Leibniz,
hc aenwbe noprtdi iia hlspypar sciences. philosophy the digital across a sweeping is in that incorporated dec shift been three past now the have for entertained wil which have t This I about that speculations mathematics different. and of that doubts some not of are account first-person physics and (AIT) theory mathematics information that algorithmic by developed and 1686
h nomto-hoei on fve rpsdb Leibni by proposed view of point information-theoretic The
−→
Computer
.J Chaitin J. G.
Abstract
1
−→
upt=eprmna data experimental = output
∗
cmrhnil and ncomprehensible
eeesterm[2, theorem leteness
nteobservations the en
tyed power- yields it e
9,UA E-mail: USA, 598,
hntedata the than r
enature he
ds and ades,
h observa- the s
suggests
ec,btin but ience,
there If ory.
adigm
ea be l
in z
insight e
com-
And from this new information-theoretic point of view, math and physics
do not seem too different. In both cases understanding pression, an