Ola caros colegas da lista, Envio-os abaixo algumas duvidas e questoes, que me interessaram muito, ou por saber se tratar de assunto fascinante, ou pelo meu desconhecimento completo dos fatos :c).
1) Stephen Wolfram ficou rico vendendo o seu software "Mathematica" para empresas como a Nasa, etc. Em que consistia este programa (e o que o tornava t�o valioso?) 2) Em que consiste a l�gica Paraconsistente? Quais as suas aplica��es? (se poss�vel, gostaria de receber algum exemplo pr�tico de seu funcionamento interno) 3) O que sao os teoremas de Godel? O que eh a teoria geral da recursao? E analise nao-standard? De que modo tais resultados da logica se constituem alternativa ao Calculo, e como podem conter alem dos numeros infinitesimos, outros, infinitamente grandes? Agrade�o �quele que puder silenciar alguma(s) destas d�vidas. ========================================================================= 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 O administrador desta lista � <[EMAIL PROTECTED]> =========================================================================
