HISTÓRIA E EPISTEMOLOGIA DA MATEMÁTICA - 2002/03
António Machiavelo


Terça 20/03:

Vida e obra de Leonardo Pisano (Fibonacci). O Liber Abaci: breve descrição do seu conteúdo, exemplo de alguns dos seus problemas.

T.P.C.: Resolver  os problemas do Liber Abaci ditados na aula e que ficaram por resolver.



Quarta 21/03:

Resumo das principais etapas da descoberta das geometrias não-euclidianas (os papéis desempenhados por: Cláudio Ptolomeu, Proclo de Lícia, Ibn al-Haytham, Omar Khayyam, Nasir al-Din al-Tusi, John Wallis, Girolamo Saccheri, Georg Kaestner, Georg Klugel e Johann Lambert).

T.P.C.: Ler os capítulos 7 e 8 do livro da Universidade Aberta.



Sexta 23/03:

Conclusão do resumo da história da descoberta das geometrias não-euclidianas iniciado na aula anterior (os papéis desempenhados por: Legendre, Schweikart,
Franz Taurinus, Carl Friedrich Gauss, Farkas Bolyai (colega, amigo e correspondente de Gauss), János Bolyai, Lovachevsky (aluno de Johann Bartels, um colega, amigo e correspondente de Gauss), Bernhard Riemann e Eugénio Beltrami). [Observação: Gauss, Farkas Bolyai e Johann Bartels foram todos alunos de Kaestner...]. Breve referência aos trabalhos de Moritz Pasch, Giuseppe Peano e Giuseppe Veronese sobre os fundamentos da geometria euclidiana. Os Grundlagen der Geometrie de David Hilbert e a redução do problema da consistência das geometrias euclidiana e não-euclidianas à consistência da Aritmética. Breve referência aos trabalhos de Kurt Godel e Gerhard Gentzen relativos à consistência da Aritmética.