📌 Tema: "Fundamentos da Matemática"
📌 Quem: Rodrigo Freire
📌 Quando: 17/07 (sábado) 8h-9:45h
📌 Onde: Online
Mais duas palestras do pessoal da Academia Cearense de Matemática - ACM. Elas são feitas pelo Google Meet.
Resumo: As investigações fundacionais – que visam o ganho de entendimento sobre as práticas matemáticas – resultaram nas disciplinas que compõem o que hoje chamamos de lógica matemática. Teoria da demonstração, teoria de modelos, computabilidade, sintaxe e semântica de teorias de conjuntos e de números, todas emergem da atividade em fundamentos da matemática.
Tais investigações mostraram, em um primeiro momento, que os elementos presentes no raciocínio matemático poderiam ser formulados em sistemas axiomáticos, de modo que grandes porções da matemática seriam consequência lógica de poucos princípios, e, em um segundo momento, que qualquer “formalização” de parte da matemática poderia ser ela própria tecnicamente investigada acerca de sua adequação.
Vamos apresentar, nesta palestra, alguns marcos desse desenvolvimento, em número reduzido para que possam ser explicados, mas suficiente para formar uma imagem – ainda que aproximada e preliminar – da área.
Rodrigo Freire Possui Doutorado em Filosofia (2009), pela Universidade Estadual de Campinas, e Doutorado em Matemática (2014), pela Universidade de São Paulo. É professor do Departamento de Filosofia da Universidade de Brasília e bolsista de produtividade em pesquisa do CNPQ, nível 2.
Tem experiência em lógica clássica e fundamentos da matemática, com diversos artigos, capítulos e livros na área.
É membro da organização sem fins lucrativos Lógica no Avião, que trabalha para promover conteúdo de qualidade na área de lógica.
Link para a inscrição [aqui]
Logo em seguida começara a seguinte palestra:
📌 Tema: "Práxis de Análise com Teoria de Grupos"
📌 Quem: Rodrigo Freire
📌 Quando: 17/07 (sábado) 10h
📌 Onde: Online
Ao uso de ferramentas das Estruturas Algébricas, em especial a Teoria de Grupos, se procura encontrar a Práxis de Análise Matemática.
Pierre de Fermat, que ao estudo da Aritmética do grego Diofanto de Alexandria, por primeiro constata que a igualdade da Matemática poderia não estar solitária no manejo de equações matemáticas. Ele tenta formular teoremas e princípios que pudessem satisfazer essas questões.
Entretanto, só com as inquietudes de Euler, o revés das igualdades e das congruências, perpassando as iluminações de Gauss, Jacobi e Abel, se chega com o francês Évariste Galois, à certeza de que a Matemática não está trancada nas igualdades.
Objeto da palestra será, deslindar a Práxis de Análise Matemática, ao uso da Estrutura Algébrica, empregando a operação ‘simetria’ para indigitar, em casos concretos, a prestabilidade da Teoria de Grupos, sem interferência de operações aritméticas ou valia de números.
Link para a inscrição [aqui]
Nenhum comentário:
Postar um comentário