Re: Formalizing the Fundamental Theorem of Arithmetic
- From: Rupert <rupertmccallum@xxxxxxxxx>
- Date: 23 May 2007 19:24:41 -0700
On May 24, 8:13 am, Aatu Koskensilta <aatu.koskensi...@xxxxxxxxx>
wrote:
On 2007-05-23, in sci.logic, mmwe...@xxxxxx wrote:
What I'm looking for is a formula in the language of first-order
arithmetic that neatly expresses the mathematical content of the
theorem.
There is no sentence in the language of first order arithmetic that
expresses the fundamental theorem of arithmetic without some coding. This
holds for any sentence that involves the notion of a finite sequence or set
of naturals.
--
Aatu Koskensilta (aatu.koskensi...@xxxxxxxxx)
"Wovon man nicht sprechen kann, daruber muss man schweigen"
- Ludwig Wittgenstein, Tractatus Logico-Philosophicus
I'd add that there's a good exposition of how such coding is done in
George Boolos, "The Logic of Provability".
.
- References:
- Formalizing the Fundamental Theorem of Arithmetic
- From: mmweiss
- Re: Formalizing the Fundamental Theorem of Arithmetic
- From: Aatu Koskensilta
- Formalizing the Fundamental Theorem of Arithmetic
- Prev by Date: Re: Formalizing the Fundamental Theorem of Arithmetic
- Next by Date: Re: Cantor's circular "proof" that evens = integers
- Previous by thread: Re: Formalizing the Fundamental Theorem of Arithmetic
- Next by thread: Re: Formalizing the Fundamental Theorem of Arithmetic
- Index(es):
Relevant Pages
|
