From: Eliezer Yudkowsky (sentience@pobox.com)
Date: Tue Aug 17 2004 - 01:57:24 MDT
Marc Geddes wrote:
>
> I don't see that an infinity of axioms (reality is
> uncountable) is a problem. We are not limited to
> axiomatic reasoning. Although higher level
> mathematical axioms would not be derivable from lower
> level mathetical axioms, we can still reason about and
> *prove* the higher level axioms using probabilistic
> reasoning.
IANAM but that sounded to me like nonsense.
-- Eliezer S. Yudkowsky http://intelligence.org/ Research Fellow, Singularity Institute for Artificial Intelligence
This archive was generated by hypermail 2.1.5 : Wed Jul 17 2013 - 04:00:48 MDT