Anima Ex Machina | Hector Zenil's blog » Mathematical Logic http://www.mathrix.org/liquid Information theory, algorithmic complexity and the foundations of computation Thu, 26 Aug 2010 06:55:48 +0000 en hourly 1 http://wordpress.org/?v=3.0.1 Collections of axioms and information on theories dependency http://www.mathrix.org/liquid/archives/lists-of-axioms-and-theories-dependancy http://www.mathrix.org/liquid/archives/lists-of-axioms-and-theories-dependancy#comments Sat, 03 Mar 2007 14:26:54 +0000 Hector Zenil http://www.mathrix.org/liquid/?p=137 http://www.mathrix.org/liquid/archives/lists-of-axioms-and-theories-dependancy/feed 0 On single and shortest axioms http://www.mathrix.org/liquid/archives/on-single-and-shortest-axioms http://www.mathrix.org/liquid/archives/on-single-and-shortest-axioms#comments Sat, 03 Mar 2007 13:42:39 +0000 Hector Zenil http://www.mathrix.org/liquid/?p=133 http://www.mathrix.org/liquid/archives/on-single-and-shortest-axioms/feed 0