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 [EMAIL PROTECTED] "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 =========================================================================