[obm-l] [Meio OFF meio ON] Perguntas

[ezer@xxxxxxxxx]

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 é <nicolau@mat.puc-rio.br>
=========================================================================