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]> =========================================================================