O FINITISMO E O INSTRUMENTALISMO NA LÓGICA MATEMÁTICA

A presente pesquisa tem como objetivo geral, realizar um estudo sobre o finitismo e o instrumentalismo, trata-se de uma pesquisa bibliográfica, no qual fez-se uso de ferramentas disponíveis em Google Acadêmico e Scielo, para coletar dados relevantes da literatura, essa ferramenta incluiu informações sobre o ano, país, autor e objetivo de cada estudo. Também indicou o nível de evidência para cada pesquisa. Isso permitiu que os dados fossem organizados de acordo com semelhanças e diferenças em relação à questão de pesquisa. Esses dados organizados foram então analisados de acordo com a literatura científica recente. Com o presente estudo, foi possível compreender que o finitismo se trata de uma filosofia da matemática que só reconhece a existência de objetos matemáticos com finitude. Em relação ao instrumentalismo, trata-se da conjectura em particular e deve ser obtida nas previsões empíricas e nos métodos de intervenção que a conjectura oferece, mas não na descrição de certas partes da natureza que fundamentam essas recomendações pragmáticas.