ACM

A codificação matemática da matéria

Por

Aprendemos que toda a matéria é constituída por pouco mais de uma centena de átomos que, assim como as letras unem-se para formar as palavras, podem unir-se para formar uma infinidade de substâncias. Os próprios átomos são formados por entidades ainda menores, como prótons nêutrons e elétrons. Estes últimos apresentam uma dupla natureza, comportando-se como partículas e/ou como ondas. Tratados como ondas, os elétrons permitem ser descritos matematicamente, e nesta palestra conversaremos sobre esta moderna descrição dos átomos.

Um encontro com o tempo

Por

Quanto tempo o tempo tem? Esse é um dos primeiros trava-línguas que aprendemos quando começamos a aprender a língua de nossos pais. Posteriormente aprendemos a ler as horas pelos ponteiros de um relógio mecânico. Foi sempre assim? A história do tempo é longa e seus conceitos fazem parte de cada momento importante nos avanços da humanidade como conhecemos hoje. Nesse encontro, vamos bater um papo sobre relógios, eventos, Einstein, revoluções e tempos.

Frege: Filosofia da Matemática

Por

Gottlob Frege é popularmente considerado como o “pai da lógica contemporânea”, por oposição à lógica aristotélica. Em seu pequeno ensaio Begriffsschrift (Escrita Conceitual), publicado em 1879, ele elaborou um sistema simbólico para representar inferências lógicas. Outros filósofos e matemáticos da época haviam elaborado sistemas simbólicos análogos (e.g., Peano, Boole, Schröder) mas em nenhum deles ocorre um entrelaçamento tão profundo entre lógica, filosofia da linguagem, epistemologia e ontologia como no trabalho de Frege. Por isso ele deu origem não apenas à lógica contemporânea, mas também estabeleceu os parâmetros da filosofia da linguagem e filosofia da matemática dos séculos XX e XXI. Nesta segunda palestra, discutiremos a visão especificamente matemática (aritmética) de Frege, que tem sua origem na tradição neo-Kantiana alemã, mas que também diverge de maneira profunda da mesma. Abordaremos o entrelaçamento desta visão com a lógica, a linguagem e o pensamento, e como ela se relaciona com a visão de outros grandes filósofos contemporâneos de Frege (e.g., Boole, Hilbert, Russell e Wittgenstein).

Seminário JP: Pesquisas

Por

seminário busca enfrentar as dificuldades basilares no início do trabalho científico. Questões primordiais, como o quê pesquisar, como pesquisar, quais ferramentas utilizar, serão vislumbradas em visões práticas. A insistência na mudança de postura vai possibilitar o envolvimento com o trabalho de análise de situações mais adversas possíveis. Ademais, proporcionará envolvimento com a prática de pesquisa em assuntos complexos ao exemplo da temática ‘O tempo não existe’, bem como no contexto do Mestrado Profissional.

Considerações sobre a matemática e a estrutura lógica

Por

Em sua obra “Arithmetices Principia Nova Methodo Exposita”, publicada em 1889, Giuseppe Peano (1858 – 1932) apresenta sua primeira tentativa de axiomatizar um ramo da Matemática em linguagem simbólica. Nesta obra, aparecem pela primeira vez os chamados Axiomas de Peano, que permitem a construção do conjunto dos números naturais. Baseado nas noções de “número”, “um”, “sucessor” e “é igual a”, Peano apresenta a reescrita da Aritmética em notação simbólica, bem como resultados concernentes a frações, aos números reais e à noção de limite. Introduz as notações que se tornariam clássicas, como os símbolos de pertinência e  de implicação ou de inclusão, em um sistema notacional mais sofisticado do que os apresentados por autores anteriores. Além disso, em outras publicações, Peano trata de temas relacionados a modelos, consistência e indução. Nosso objetivo é discutir alguns pontos interessantes de sua abordagem, suas implicações matemáticas e lógicas e alguns desdobramentos posteriores.