[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[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 -----
From: Wagner
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.