Observação e matematização: modos de produção do conhecimento nos escritos de navegação marítima de John Wallis e Edmond HalleyPryscilla Torres Magalhães de Oliveira