Foi um matemático, lógico e filosofo alemão.
E tornou-se professor de Matemática em Jena. Em parte incompreendido por seus contemporâneos, tanto filósofos como matemáticos, Frege prosseguiu seus estudos e publicou, em 1884, “Os Fundamentos da Aritmética”, Em 1903 publicou o segundo volume de “Leis básicas da Aritmética”,
O grande contributo de Frege para a lógica matemática foi o criação de um sistema de representação simbólica (Begriffss chrift, conceito grafia ou ideografia) para representar formalmente a estrutura dos enunciados lógicos e suas relações, e a contribuição para a implementação do cálculo dos predicados.
Ao contrário de Aristóteles, que procurava identificar as formas válidas de argumento, e as assim chamadas "leis do pensamento", a preocupação básica de Frege era a sistematização do raciocínio matemático, ou dito de outra maneira, encontrar uma caracterização precisa do que é uma “demonstração matemática”. Frege havia notado que os matemáticos da época freqüentemente cometiam erros em suas demonstrações, supondo assim que certos teoremas estavam demonstrados, quando na verdade não estavam. Para corrigir isso, Frege procurou formalizar as regras de demonstração, iniciando com regras elementares, bem simples, sobre cuja aplicação não houvesse dúvidas. O resultado que revolucionou a lógica foi o desenvolvimento do cálculo de predicados .
POR: MARIELE
Nenhum comentário:
Postar um comentário