>por que umas pessoas s�o mais talentosas e resolvem
> problemas em matem�tica mais r�pido que as outras
Deus e/ou Evolu�ao Espiritual e/ou Biologico...e quem
sabe??
> (e porque algumas pessoas como Evariste Galois
> que faziam isso tinham um ego fora do comum).
Todo matematico que se preze possui, nem que seja um
pouquinho, um desejo de saber mais que os outros :p...
>... vi alguns provadores de teorema.
>.... descobri que a "busca" ou "�rvore de busca"
> parecia realmente ser a "mola mestra" daquilo
> que chamamos de intelig�ncia. Demonstrar era
> um processo de tentativa e erro.
Acredito que mostrar a veracidade ou a falsidade pode
ser uma defini�ao de demonstra�ao.Sabe o que Godel
mostrou em termos pr�ticos??Que existem proposi�oes no
sistema formal(ele mostrou uma, a famosa
autoreferencia, mas pode haver outras,desde que ele
contenha aritmetica de peano)que podem ser provadas
verdadeiras e falsas...j� imaginou o provador de
teorema ora mostrando que a afirmativa era falsa ora
que a proposi�ao � verdadeira???
Nao sei se os provadores de teorema resolvem nossas
vidas por completo nao....
>... mostrar que o problema era indecid�vel no
conjunto
> de axiomas utilizado. Mesmo nos melhores
> computadores, todavia, isso poderia
> levar anos, s�culos, ou talvez nunca ser conseguido
> (leia por exemplo o livro "O �ltimo teorema de
> Fermat").
Cuidado pra nao confudir inconsistencia com
indecidibilidade....troque o indecidivel por
inconsistente no que vc disse...Pois � ....sabe o que
Turing mostrou em termos praticos???Que nao existe
algoritmo geral que identifique se uma dada proposi�ao
� inconsistente ou nao...(Diz-se que tal problema �
INDECIDIVEL)e por redu�ao, nao existe algoritmo que
identifique todas as proposi�oes inconsistentes do
sistema de axiomas ...
>Tudo em matem�tica se resumia a conjuntos,
>aplica��es de um conjunto em outro e racioc�nio
>l�gico usando �lgebra booleana e talvez algumas
>f�rmulas.
Ser�??E isso nao era em essencia o que Hilbert pensava
tambem??
>...Existia mesmo (!!) uma grande
> probabilidade de algu�m dominar um assunto
> matem�ticamente sem conhecer a sua ess�ncia.
> Na �poca era apenas uma probabilidade.
Algoritmo � algoritmo nao ha surpresas, da mesma forma
que alguem domina o algoritmo da multiplica�ao sem
saber a sua essencia ela pode dominar matematicamente
um assunto, sabendo os algoritmos empregados.....
>Me pareceu loucura, que tudo que faziam em
>matem�tica avan�ada parecia ser resultado de F=ma!!
Principios sao principios....:)
>Se a matem�tica avan�ada toda vem da f�sica,
> (que em grego quer dizer natureza). Ent�o... Por
> que
> matem�ticos como Hilbert queriam axiomatiz�-la?
> J� que as li��es que aprendemos vieram todas
> da natureza?
Sei n�o...e a logica??Nao tem um filosofo grego ai que
diz que os conceitos abstratos estao na nossa mente???
> N�o quero desencorajar ningu�m, e sim
> encorajar. Estudar matem�tica � indispens�vel e
> todos os que puderem devem fazer isso.
Os matematicos deveriam criar um dia s� em homenagem a
Godel e a Turing, pois se Hilbert estivesse certo, n�s
n�o precisariamos mais deles :p....
>Assim, em termos humanos, o que seria
> melhor
> para n�s? Usar provadores autom�ticos? Eles
> poderiam
> fazer com nossos c�rebros o que o carro fez com os
> nossos cora��es? Vale a pena pensar?
Matematica envolve o cora�ao tambem :)
>Assim eu sempre os convido para assistir
> Dumbo e tomar sorvete ap�s v�-los estressados :)
� o que n�s de computa�ao sabermos fazer melhor :p
Fica aqui a provoca�ao ;)
[]�s
"O Bin�mio de Newton � t�o belo como a V�nus de Milo.
O que h� � pouca gente para dar por isso... "
Fernando Pessoa - Poesias de Alvaro Campos
_________________________________________________________________
As informa��es existentes nessa mensagem e no(s) arquivo(s) anexado(s)
s�o
para uso restrito, sendo seu sigilo protegido por lei. Caso n�o seja
destinat�rio, saiba que leitura, divulga��o ou c�pia s�o proibidas.
Favor
apagar as informa��es e notificar o remetente. O uso impr�prio ser�
tratado
conforme as normas da empresa e a legisla��o em vigor. Agradecemos sua
colabora��o.
The information mentioned in this message and in the archives attached
are
of restricted use, and its privacy is protected by law. If you are not
the
addressee, be aware that reading, disclosure or copy are forbidden.
Please
delete this information and notify the sender. Inappropriate use will
be
tracted according to company's rules and valid laws. Thank you for your
cooperation.
Yahoo! Acesso Gr�tis - Internet r�pida e gr�tis.
Instale o discador agora! http://br.acesso.yahoo.com/
=========================================================================
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
=========================================================================
