http://www.mathrix.org/liquid Hector Zenil's blog on foundations, metamathematics and computation Mon, 21 Jun 2010 16:35:20 +0000 http://wordpress.org/?v=2.9.2 en hourly 1 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 http://www.mathrix.org/liquid/archives/the-ways-of-paradox-quine-on-berrys-paradox http://www.mathrix.org/liquid/archives/the-ways-of-paradox-quine-on-berrys-paradox#comments Sat, 03 Mar 2007 13:54:56 +0000 Hector Zenil http://www.mathrix.org/liquid/?p=136 http://www.mathrix.org/liquid/archives/the-ways-of-paradox-quine-on-berrys-paradox/feed 2 http://www.mathrix.org/liquid/archives/book-on-self-reference-by-contributing-papers http://www.mathrix.org/liquid/archives/book-on-self-reference-by-contributing-papers#comments Sat, 03 Mar 2007 13:50:19 +0000 Hector Zenil http://www.mathrix.org/liquid/?p=135 http://www.mathrix.org/liquid/archives/book-on-self-reference-by-contributing-papers/feed 0 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 http://www.mathrix.org/liquid/archives/human-readable-automatic-proofs-2 http://www.mathrix.org/liquid/archives/human-readable-automatic-proofs-2#comments Sun, 12 Nov 2006 00:34:18 +0000 Hector Zenil http://mathrix.org/liquid/?p=43 http://www.mathrix.org/liquid/archives/human-readable-automatic-proofs-2/feed 0