Re: Formalizing the Fundamental Theorem of Arithmetic
- From: G. Frege <nomail@invalid>
- Date: Thu, 24 May 2007 00:07:34 +0200
On 23 May 2007 14:59:51 -0700, mmweiss@xxxxxx wrote:
There is a reason why standard math (usually) is performed without
I was wondering how to state the Fundamental Theorem of Arithmetic in
First-order Logic.
using a completely formalized language... ;-)
F.
P.S.
Of course, ELEMENTS from FOPL (quantifiers, variables and =) and
set theoretic notations are rather helpful when formulating some
mathematical facts.
--
E-mail: info<at>simple-line<dot>de
.
- Follow-Ups:
- Re: Formalizing the Fundamental Theorem of Arithmetic
- From: Charlie-Boo
- Re: Formalizing the Fundamental Theorem of Arithmetic
- References:
- Formalizing the Fundamental Theorem of Arithmetic
- From: mmweiss
- Formalizing the Fundamental Theorem of Arithmetic
- Prev by Date: Formalizing the Fundamental Theorem of Arithmetic
- Next by Date: Re: Formalizing the Fundamental Theorem of Arithmetic
- Previous by thread: Formalizing the Fundamental Theorem of Arithmetic
- Next by thread: Re: Formalizing the Fundamental Theorem of Arithmetic
- Index(es):
