From: Rafael Anschau (anschau.ez@terra.com.br)
Date: Thu Jun 19 2003 - 13:00:07 MDT
I noticed that the word Fact is widely used to turn a statement into an axiom,
but as a Godel pointed out, every axiom is grounded on another non-provable axiom...
Could it be that the meta-axiom we all agree to hold as true, IN SPITE of Godel's Theorem is
the computer ? This is, when we talk about facts we're saying that a variable has such value,
or that a computation has yielded a specific result ? I define a fact as computational
analysis of some system, and that works for me. Any comments ?
[]'s
Rafael
On Thu, 19 Jun 2003 12:08:44 -0600
"Hermit" <hidden@lucifer.com> wrote:
>
> You may find http://www.window.state.tx.us/border/ch11/ch11.html illuminating.
>
> Hermit
>
> ----
> This message was posted by Hermit to the Virus 2003 board on Church of Virus BBS.
> <http://virus.lucifer.com/bbs/index.php?board=54;action=display;threadid=28582>
> ---
> To unsubscribe from the Virus list go to <http://www.lucifer.com/cgi-bin/virus-l>
>
--- To unsubscribe from the Virus list go to <http://www.lucifer.com/cgi-bin/virus-l>
This archive was generated by hypermail 2.1.5 : Thu Jun 19 2003 - 12:51:37 MDT