301 records matched your query
02138aam a2200409 a 4500 001 5D10502CB5E611E19C4C10D36AFF544E 003 SILO 005 20190228010452 008 111101s2012 nyua b 001 0 eng 010 $a 2011040689 020 $a 0375423141 020 $a 9780375423147 035 $a (OCoLC)753624836 040 $a DLC $b eng $c DLC $d SILO $d BTCTA $d BDX $d UKMGB $d YDXCP $d BWX $d YAM $d SILO 042 $a pcc 050 00 $a QH371.3.M37 $b C42 2012 082 00 $a 576.8/2 $2 23 100 1 $a Chaitin, Gregory J. 245 1 $a Proving Darwin : $b making biology mathematical / $c Gregory Chaitin. 260 $a New York : $b Pantheon Books, $c c2012. 300 $a xvii, 123 p. : $b ill. ; $c 22 cm. 504 $a Includes bibliographical references (p. [115]-116) and index. 505 0 $a A parable -- Contradictory quotes? -- Problem solvers and theorizers / by Gian-Carlo Rota -- Preface -- Introduction : Overview of Proving Darwin -- Life as evolving software : the evolution of mutating software -- The human discovery of software : Turing and von Neumann as biologists -- The mathematics of metabiology : random walks in software space -- Santa Fe Institute lecture : A mathematical theory of evolution and biological creativity -- Theological aspects of metabiology -- The politics of creativity (social Darwinism [right-pointing arrow] social metabiology) -- What can mathematics ultimately accomplish? : metabiology and beyond -- Appendix 1. Von Neumann's "DNA = software" paper -- Appendix 2. The heart of the proof. 650 0 $a Evolution (Biology) $x Mathematics. 650 0 $a Biomathematics. 650 0 $a Evolution (Biology) $x Mathematical models. 650 0 $a Biology $x Mathematical models. 650 0 $a Evolution (Biology) $x Philosophy. 650 0 $a Biology $x Philosophy. 650 0 $a Computer programming $x Philosophy. 941 $a 4 952 $l GEPG771 $d 20210722033555.0 952 $l YEPF572 $d 20200204052841.0 952 $l TYPH572 $d 20200110034916.0 952 $l USUX851 $d 20170304041042.0 956 $a http://locator.silo.lib.ia.us/search.cgi?index_0=id&term_0=5D10502CB5E611E19C4C10D36AFF544E 994 $a C0 $b IW9Initiate Another SILO Locator Search