On 21-Sep-02, Wei Dai wrote:
> On Sat, Sep 21, 2002 at 10:26:45PM -0700, Brent Meeker wrote:
>> I don't see how this follows. If you have a set of axioms,
>> and rules of inference, then (per Godel) there are
>> undecidable propositions. One of these may be added as an
>> axiom and the system will
From: Osher Doctorow [EMAIL PROTECTED], Sat. Sept. 21, 2002 11:38PM
Hal,
Well said. I really have to have more patience for questioners, but
mathematics and logic are such wonderful fields in my opinion that we need
to treasure them rather than throw them out like some of the Gung-Ho
computer
On Sat, Sep 21, 2002 at 10:26:45PM -0700, Brent Meeker wrote:
> I don't see how this follows. If you have a set of axioms, and
> rules of inference, then (per Godel) there are undecidable
> propositions. One of these may be added as an axiom and the
> system will still be consistent. This will
From: Osher Doctorow [EMAIL PROTECTED], Sat. Sept. 21, 2002 10:39PM
I've glanced over one of Tegmark's papers and it didn't impress me much, but
maybe you've seen something that I didn't.
As for your question (have you ever been accused of being over-specific?),
the best thing for a person not f
On 21-Sep-02, Hal Finney wrote:
...
> However we know that, by Godel's theorem, any axiomatization
> of a mathematical structure of at least moderate complexity
> is in some sense incomplete. There are true theorems of that
> mathematical structure which cannot be proven by those
> axioms. This is
On Sat, Sep 21, 2002 at 09:20:26PM -0400, [EMAIL PROTECTED] wrote:
> For those of you who are familiar with Max Tegmark's TOE, could someone tell
> me whether Georg Cantor's " Absolute Infinity, Absolute Maximum or Absolute
> Infinite Collections" represent "mathematical structures" and, therefo
My name is Lloyd "David" Raub. I'm a retired executive from Ohio State
University. I have a Ph.D. in Public Administration from Penn. State and my
interests now include TOE's, alternate universes, MWI, inflationary & other
cosmologies {cyclic universes, quasi steady state, plasma,etc.} I am l
Hi all,
I'm Ben Goertzel. This is my initial joining post
I'm a math PhD originally, spent 8 years as an academic in math, CS and
psych departments. Have been in the software industry for the last 5 years.
My primary research is in Artificial General Intelligence (see
www.realai.net) --
My name is Lloyd "David" Raub. I'm a retired executive from Ohio State
University. I have a Ph.D. in Public Administration from Penn. State and my
interests now include TOE's, alternate universes, MWI, inflationary & other
cosmologies {cyclic universes, quasi steady state, plasma,etc.} I am l
Dave Raub asks:
> For those of you who are familiar with Max Tegmark's TOE, could someone tell
> me whether Georg Cantor's " Absolute Infinity, Absolute Maximum or Absolute
> Infinite Collections" represent "mathematical structures" and, therefore have
> "physical existence".
I don't know the
For those of you who are familiar with Max Tegmark's TOE, could someone tell
me whether Georg Cantor's " Absolute Infinity, Absolute Maximum or Absolute
Infinite Collections" represent "mathematical structures" and, therefore have
"physical existence".
Thanks again for the help!!
Dave Raub
For those of you who are familiar with Max Tegmark's TOE, could someone tell
me whether Georg Cantor's " Absolute Infinity, Absolute Maximum or Absolute
Infinite Collections" represent "mathematical structures" and, therefore have
"physical existence".
Thanks again for the help!!
Dave Raub
For those of you who are familiar with Max Tegmark's TOE, could someone tell
me whether Georg Cantor's " Absolute Infinity, Absolute Maximum or Absolute
Infinite Collections" represent "mathematical structures" and, therefore have
"physical existence".
Thanks again for the help!!
Dave Raub
13 matches
Mail list logo