Re: [obm-l] duvida

[Ricardo Bittencourt <ricbit@xxxxxxxxxxxx>]

Marcus wrote:
> Prove que 1 + 1 = 2 ?

	Acho que essa pergunta não tem muito sentido tal
como foi proposta, você precisaria também falar em qual
conjunto de axiomas a resposta deve ser dada. Se for com
os axiomas de Peano, a resposta tem pouco menos de 10 linhas,
se for direto na teoria de conjuntos, aí a coisa fica muito,
muito grande.

	De curiosidade, na página abaixo tem a dedução
completa de 2+2=4 até chegar no cálculo proposicional:

http://us.metamath.org/mpegif/mmset.html#trivia

	Mas, talvez mais interessante, é o mapeamento que
ele faz de axiomas em notas musicais, permitindo que você
ouça a demonstração do teorema:

http://us.metamath.org/mpegif/mmmusic.html

----------------------------------------------------------------
Ricardo Bittencourt                   http://www.mundobizarro.tk
ricbit@700km.com.br  "kimitatino kitiwa subete CATS ga itadaita"
------ União contra o forward - crie suas proprias piadas ------
=========================================================================
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
=========================================================================