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

Re: Re: [obm-l] Axiomas da matemática



Vou usar um exemplo para ilustrar minha intenção:

Axiomas da Aritmética

 

1.1: m + n = n + m

1.2: mn = nm

2.1: (m + n) + k = m + (n + k)

2.2: (mn)k = m(nk)

3: m(n + k) = mn + mk

4: n + 0 = n

5: n x 1 = n

6: n + k = 0

7: Se k != 0 e kn = km, então m = n

 

E os da álgebra? geometria? etc...

 

Grato pela atenção,

Sérgio Farias.



"Daniel S. Braz" <dsbraz@gmail.com> escreveu:
o que vc quer exatamente? rigorosamente falando todo teorema é um
axioma..e exitem milhares (milhoes?) de teoremas...seja mais
especifico..ou então vc vai passar sua vida toda sem encontrar tal
lista..

On 5/12/05, Sérgio Farias wrote:
> Olá, sou novo na lista e esta é minha primeira
> mensagem, espero aprender muito com a lista. Contudo,
> o foco desta mensagem não é apenas de informar que
> entrei para a lista mas, sobretudo, este: Gostaria de
> saber se algum membro pode informar-me onde encontro a
> lista completa dos axiomas da matemática.
>
> Cordialmente,
> Sérgio Farias.
>
>
> __________________________________________________
> Converse com seus amigos em tempo real com o Yahoo! Messenger
> http://br.download.yahoo.com/messenger/
> =========================================================================
> Instruções para entrar na lista, sair da lista e usar a lista em
> http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html
> =========================================================================
>


--
"Os pontos não têm partes nem dimensões. Como podem combinar-se para
formar uma reta?" (J. A. Lindon)

=========================================================================
Instruções para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html
=========================================================================

__________________________________________________
Converse com seus amigos em tempo real com o Yahoo! Messenger
http://br.download.yahoo.com/messenger/