I still don't understand what you mean by the "second order axiom system" that i...

		wlievens on July 24, 2010 \| parent \| context \| favorite \| on: Why Roger Penrose thinks computers can't I still don't understand what you mean by the "second order axiom system" that is somehow the domain only of humans...