Maurolico e Pascal: Indução Matemática e Demonstração por Exemplificação
DOI:
10.47976/RBHM2021v20n4111-24Palavras-chave:
Técnicas de Demonstração em Matemática, Indução Matemática, Demonstração por Exemplificação, Maurolico, PascalResumo
A Indução Matemática foi aparentemente inventada por Francesco Maurolico e reformulada e reestruturada por Blaise Pascal. Nas suas demonstrações do passo da indução dos seus argumentos, todos os dois recorreram a demonstrações por exemplificação. Nesse sentido, o argumento de Maurolico é satisfatório, enquanto o de Pascal não o é. O método de Pascal, no entanto nos fornece um algoritmo para resolver toda instância particular coberta por sua proposição.
Downloads
Métricas
Referências
BUSSEY, W. H. 1917. The Origin of Mathematical Induction. American Mathematical Monthly. V. XXIV, n. 5. p. 199-207.
FOSSA, John A. 2013. Pascal e seu triângulo. In: Blaise PASCAL. Tratado sobre o Triângulo Aritmético. Trad. John Fossa e Fabricio Possebon. Natal: Editora da UFRN.
MAUROLYCUS, Franciscus. 1575. Arithmeticorum libri duo. Veneza. Disponível em: . Acesso em 16 de 10 de 2020.
O’CONNOR, J. J, e ROBERTSON, E. F. 2010. Francesco Maurolico. Disponível em: <https://mathshistory.st-andrews.ac.uk/Biographies/Maurolico/>. Acesso em 16/10/2020.
PASCAL, Blaise. 1665. Traité dv Triangle Arithmetique. Paris: Gvillavme Desprez.
Downloads
Publicado
Métricas
Visualizações do artigo: 610 PDF downloads: 317