Projeto Logicista

de Gottlob Frege Inscrições: https://forms.gle/d5us9gyX5VDP3iRw7 Informações: acm@acm-itea.org O objetivo da palestra é apresentar, de forma introdutória, o projeto logicista de Gottlob Frege em relação à aritmética cujo objetivo é determinar sua natureza analítica, fato esse que se contrapõe às visões de Kant para quem as verdades matemáticas são sintéticas a priori. Na palestra serão discutidos … Ler mais

Indução Finita & Pesquisa

Foi com Pierre de Fermat que se começou a pensar no uso da indução na matemática. Aos meados do século XVII, ele tenta demonstrar que todos os inteiros da forma seriam primos, considerado n inteiro e diferente de zero. Ele fez essa conta até n igual a 6 e reputou a todos que eram números primos.