Universidade do Minho  

           
 
  Autenticação/Login
 
Contactos
Mapa do Site
   
  imprimir
 
voltar 
Cientista como algoritmo  
Cientista como algoritmo
23 de maio de 2012
José Félix Costa (Departamento de Matemática do Instituto Superior Técnico, Centro de Matemática e Aplicações Fundamentais e Centro de Filosofia das Ciências da Universidade de Lisboa)
 
Nos cursos de cálculo diferencial e integral, quando ensina aos seus alunos que não há algoritmo para calcular a primitiva de uma função elementar, o docente está, as mais das vezes inconscientemente, a aplicar um resultado da teoria da computabilidade, introduzida por Turing e Kleene.

Nesta sessão, mostramos que o modelo computacional de Turing (em qualquer das suas formalizações) determina limites, quer na matemática quer nas ciências em geral, nomeadamente na física (mecânica clássica, quântica e teoria da gravitação de Einstein).

Estudamos, em seguida, mais detalhadamente, duas das manifestações desses limites: (a) a natureza não algorítmica de certas teorias físico-matemáticas e (b) a violação do princípio da refutabilidade de Popper. 
 
voltar 
 
  © 2024 Universidade do Minho  - Termos Legais  - actualizado por CMAT Símbolo de Acessibilidade na Web D.