Videocast #02 – Logicismo, Intuicionismo e Formalismo

Neste vídeo faço uma breve explanação sobre as três principais escolas fundacionais da matemática - o logicismo, o intuicionismo e o formalismo - tomando como ponto de partida o livro "Introdução aos Fundamentos da Matemática", do prof. Newton da Costa (Ed. Hucitec, 2008).

Anúncios

Podcast #35 – A Organização da Lógica Segundo Tomás de Aquino

Neste episódio falarei um pouco sobre a organização da lógica com base nas três operações do intelecto - a simples apreensão, o juízo e o raciocínio - conforme assim a apresentou o monge dominicano Tomás de Aquino.

Videocast #01 – A Prova de Gödel

Neste vídeo faço uma breve explanação sobre o teorema da incompletude de Gödel, tomando como ponto de partida o livro "A Prova de Gödel", de Ernest Nigel e James Newman (Ed. Perspectiva).

Um pouco da matemática do País das Maravilhas

Introdução Observe este trecho do famoso livro Alice no País das Maravilhas: "Vou experimentar para ver se sei tudo que sabia antes. Deixe-me ver: quatro vezes cinco é doze, e quatro vezes seis é treze, e quatro vezes sete é… ai, ai! deste jeito nunca vou chegar a vinte!" (Cap. 2). Alexander Taylor, em seu … Continue lendo Um pouco da matemática do País das Maravilhas

Alguns livros fundamentais de matemática

Em uma outra postagem passada ("Leitura e estudos iniciais sobre lógica matemática"), apresentei uma lista de alguns livros que julgo serem interessantes para um estudo inicial no campo da lógica matemática. Agora apresento uma segunda lista sobre alguns livros de matemática fundamentais para quem quer obter uma visão geral desse campo de conhecimento. Vale destacar … Continue lendo Alguns livros fundamentais de matemática

História do Cálculo em Brevíssimas Citações

Acompanhando breves citações de eminentes matemáticos, empreenderemos uma viagem pela história do Cálculo.

Calculando a raiz de um número qualquer

Neste artigo iremos derivar um método, conhecido como algoritmo babilônico (que foi criado por volta de 1500 a.C.), para calcular, de forma iterativa, a raiz quadrada (positiva) de um número real positivo.