|
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.
|