Notas em Matemática Aplicada 36 - Laboratório de Matemática ...

PrefácioEstas são as notas de um curso oferecido durante o Congresso Nacionalde Matemática Aplicada e Computacional, Belém do Pará, de 8 a 11 desetembro de 2008.Vou começar com uma armação polêmica. Matemática Computacionalnão é (nem pode ser) utilizar métodos computacionais para resolver ummodelo matemático.Meu argumento é que esse procedimento pode satisfazer engenheiros oufísicos, mas nunca satisfaz a curiosidade de um matemático. Não produzteoremas. Passa ao largo de problemas matemáticos interessantes.São objetos susceptíveis de estudo matemático não apenas o modelo,mas ainda os algoritmos, a classe de todos os algoritmos resolvendo o mesmoproblema, e ainda classes de modelos semelhantes (dependendo por exemplode um ou mais parâmetros).Isso difere do ponto de vista do engenheiro, para quem um algoritmo éuma regra de bolo. Funciona ou não funciona, se não funcionar, troca-se. Jápara um matemático, algoritmos têm que ser provados corretos. Armaçõessobre a velocidade do algoritmo, ou a complexidade de um problema, exigemprovas.Quando o algoritmo não funciona na prática, ou quando funciona melhordo que o previsto, isso precisa ser explicado. Essa explicação vem geralmenteem forma de teoremas.Provar teoremas sobre algoritmos (e algoritmos numéricos em particular)exige um ferramental matemático de ponta. Em alguns casos, esseferramental precisa ainda ser construído. Problemas de complexidade comoP ≠ NP se transformaram em desaos para a comunidade matemática emgeral.Matemáticos gostam de problemas difíceis. Quanto mais conexões comGregorio Malajovich, Geometria de Algoritmos Numéricos. Notas em MatemáticaAplicada 37 (XXXI CNMAC), SBMAC, São Carlos, 2008.Copyright c○ Gregorio Malajovich, 2008.7