Re: Formalizing the Fundamental Theorem of Arithmetic

From: "Jesse F. Hughes" <jesse@xxxxxxxxxxxxx>
Date: Thu, 24 May 2007 21:32:12 -0400

Charlie-Boo <shymathguy@xxxxxxxxx> writes:

Math is formal by definition. If you can't state it in FOL then FOL
is fucked up.

Say, how's that CBL proof of associativity of addition coming?

--
"If you have a really big idea, you can get a measure of how big it is
by how much people resist the obvious. From what I've seen, I have a
REALLY, REALLY, *REALLY*, BIG DISCOVERY!!!"
--James Harris: If I'm not important, how come people ignore me?
.

Follow-Ups:
- Re: Formalizing the Fundamental Theorem of Arithmetic
  - From: Charlie-Boo

References:
- Formalizing the Fundamental Theorem of Arithmetic
  - From: mmweiss
- Re: Formalizing the Fundamental Theorem of Arithmetic
  - From: G . Frege
- Re: Formalizing the Fundamental Theorem of Arithmetic
  - From: Charlie-Boo

Prev by Date: Re: Prize Announced for Determining the Boundaries of Turing Machine Computation
Next by Date: Re: Prize Announced for Determining the Boundaries of Turing Machine Computation
Previous by thread: Re: Formalizing the Fundamental Theorem of Arithmetic
Next by thread: Re: Formalizing the Fundamental Theorem of Arithmetic
Index(es):
- Date
- Thread