Re: how to prove...
Adam Naumowicz <[email protected]>
| Newsgroups | gmane.comp.mathematics.mizar,gmane.spam.detected |
|---|---|
| Message-ID | <Pine.GSO.4.61.0905180817250.7002@math> |
Hi Adem,
On Mon, 18 May 2009, Ozyavas, Adem wrote:
> Dear All,
>
> How does one go about proving that a real number is not a finite sequence:
>
> for n being real number holds not n is FinSequence
Well, in general it's not true with the set-theoretic construction of real
numbers as used in MML - {} is both a real number (zero) and a finite
sequence (empty function)...
Best,
Adam Naumowicz
=======================================================================
Dept. of Programming and Formal Methods Fax: +48(85)7457662
Institute of Informatics Tel: +48(85)7457559 (office)
University of Bialystok E-mail: [email protected]
Sosnowa 64, 15-887 Bialystok, Poland http://math.uwb.edu.pl/~adamn/
=======================================================================