Maurolico e Pascal: Indução Matemática e Demonstração por Exemplificação
DOI:
10.47976/RBHM2021v20n4111-24Palabras clave:
Técnicas de Demonstração em Matemática, Indução Matemática, Demonstração por Exemplificação, Maurolico, PascalResumen
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.
Descargas
Métricas
Citas
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.
Descargas
Publicado
Métricas
Visualizações do artigo: 443 PDF (Português (Brasil)) downloads: 260
