Re: Formalizing the Fundamental Theorem of Arithmetic
- From: Aatu Koskensilta <aatu.koskensilta@xxxxxxxxx>
- Date: Wed, 23 May 2007 22:13:29 GMT
On 2007-05-23, in sci.logic, mmweiss@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.koskensilta@xxxxxxxxx)
"Wovon man nicht sprechen kann, daruber muss man schweigen"
- Ludwig Wittgenstein, Tractatus Logico-Philosophicus
.
- Follow-Ups:
- Re: Formalizing the Fundamental Theorem of Arithmetic
- From: george
- Re: Formalizing the Fundamental Theorem of Arithmetic
- From: Rupert
- 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: Re: Formalizing the Fundamental Theorem of Arithmetic
- Next by Date: Re: Formalizing the Fundamental Theorem of Arithmetic
- Previous by thread: Re: Formalizing the Fundamental Theorem of Arithmetic
- Next by thread: Re: Formalizing the Fundamental Theorem of Arithmetic
- Index(es):
Relevant Pages
|
Loading
