Dois conceitos familiares à Álgebra são fundamentais na produção de equações, matrizes, polinômios etc. Por vezes seus papéis são trocados, os significados confundidos, mas os efeitos permanecem. Afinal, quais as diferenças entre os dois conceitos? Quais são seus papéis individuais? Para esclarecer o tópico, vamos às origens dos termos, desvelando suas formas e observando suas funções.
A palestra abordará o futuro da subjetividade e da ética no mundo digital. A internet, principalmente as redes sociais, têm sido demonizadas nos últimos tempos. Procuraremos fazer um balanço dessa situação, contrapondo os aspectos positivos com os negativos dessa tecnologia.
Quem é professor há alguns anos lembra-se certamente das dezenas de ideias revolucionárias que foram sendo apresentadas como a grande solução para o ensino. Falava-se das vantagens da calculadora, dos inconvenientes do ensino de algoritmos, da aprendizagem em contexto, do papel central das competências em oposição ao conhecimento, do currículo adaptado aos alunos, da motivação para a construção do conhecimento, do ensino por computador, do ensino individualizado e de muitas outras propostas que iriam resolver todos problemas do ensino.
Viagem pelo Espaço Vetorial rastreando elementos, condições e fenômenos que conduzem à antessala da Matemática Transcendental.
Discutindo matemática, olimpíadas, vocação, medalhas, vestibulares, sucessos, emoções e matematizar.
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. 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.
Buliçosamente, na arena da Matemática Empírica e da Matemática Experimental, à trilha de Gauß e à de Galois, à busca de conhecimentos somente descortinados pela Matemática Nova, os seminaristas inovam e constroem alamedas incríveis, para o devaneio da investigação matemática. Aqui a Teoria de Grupos ganha a auspiciosa dimensão que a Ontologia vai emblemar como pertinente.
A palestra versará primeiramente sobre o hexágono lógico tal como apresentado por Robert Blanché na obra Estruturas Intelectuais (1966). Em seguida, serão tecidas algumas considerações sobre o princípio de razão suficiente, importante conceito filosófico enunciado por Gottfried Wilhelm Leibniz (1646-1716). Por fim, será mostrado como o hexágono lógico pode servir de ferramenta para organizar sistematicamente os conceitos de razão suficiente e de causalidade.
Discutiremos certos aspectos do uso de linguagens infinitárias em lógica clássica de primeira ordem. Em particular, apresentaremos como linguagens infinitárias possuem a capacidade de aumentar o poder de expressabilidade de enunciados. Para isto, colocaremos o foco na noção de definibilidade de conceitos nestas linguagens e como esta noção se torna mais ampla com o uso de operadores infinitários. Apresentaremos um resultado geral sobre definibilidade por meio da noção de invariância por automorfismos de estruturas de primeira ordem.
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.