----- Original Message -----
Sent: Friday, November 01, 2002 11:59
PM
Subject: [obm-l] Re: [obm-l] Defini��o
dos n�meros naturais
Andr� T.
N�o entendi muito bem sua defini��o.
J� recorreu aos axiomas de Peano?:
(1. Zero pertence a N.
2. Se a pertence a N, o sucessor de a pertence a
N.
3. Zero n�o � sucessor de nenhum outro elemento
de N.
4. Dois elementos de N cujos sucessores s�o
iguais, s�o eles pr�prios iguais.
5. Se um subconjunto S de N cont�m o zero e
tamb�m o sucessor de todos os elementos de S, ent�o N est� contido em
S.)
R�ka.
----- Original Message -----
Sent: Friday, November 01, 2002 9:14
PM
Subject: [obm-l] Defini��o dos n�meros
naturais
Oi para todos!
Qual a defini��o de N?
Pensei em N={Xn pertence a
N, X0 = 0, X(n+1) = Xn + 1, n >=
0 , n � real , Xn �
diferente de intp.(Xn), para todo
Xn n�o definido pelas regras
anteriores}
Em que intp.(Xn) � a interpola��o do valor de Xn atrav�s dos valores de X j� definidos.
Mas essa defini��o (n�o sei se � a mais
correta) depende da defini��o de n�mero real. Existe uma defini��o de N que
n�o envolva a defini��o de R?
Andr�
T.
