Por que a prova matemática é um pacto social

Por –



". . . o que é uma prova matemática? Tendemos a pensar nisso como uma revelação de alguma verdade eterna, mas talvez seja melhor entendido como uma espécie de construção social."



Etiquetas:
entrevista - teoria dos números - conjectura abc - prova lógica - suposições - argumento matemático - ciência da computação - filosofia


Comentários

Postar um comentário

Escreva aqui seu comentário sobre esta postagem. Caso queira fazer um comentário sobre o blog em geral ou quiser se comunicar pessoalmente comigo, use o formulário de contato que se encontra na coluna lateral do blog.

Postagens mais visitadas deste blog

Quão firme é o “firmamento”? - Parte 1

Por –
Imagem
Foto de  Robson Hatsukami Morgan em Unsplash Leia a  parte 2 por Hugh Henry e Daniel Dyke 19 de novembro de 2010 Observações : Os trechos de texto entre “{ }” foram introduzidos por mim. As notações ARCpt e ARCbr usadas por mim referem-se às traduções bíblicas ARC de Portugal e do Brasil, respectivamente. Relatividade Geral e a Palavra Hebraica Rāqîa A física experimental confirmou recentemente* a previsão da teoria da relatividade geral de Albert Einstein de que o espaço sideral tem estrutura. Mas teria esse conceito já sido descrito em Gênesis 1 muitos séculos antes? Uma análise abrangente da complexa palavra hebraica rāqîa' parece sugerir que sim! Rāqîa' aparece sete vezes em Gênesis 1. A Bíblia King James Version (KJV) a traduz como “firmamento”. Essa curiosa escolha de palavras é transportada para a Revised Standard Version (RSV) e para a New King James Version (NKJV). {Em português, fazem essa mesma tradução as Bíblias Almeida 21 (A21), Almeida Revista e Atualiz...
Leia mais »

Defender que há lacunas na genealogia de Gênesis mina a autoridade das Escrituras?

Por –
Imagem
Árvore genealógica de Adão [A imagem é meramente ilustrativa e não tem precisão bíblica] (Imagem gerada por IA em Google Whisk ) por Hugh Ross 26 de novembro de 2025 Pergunta : As relações precisas entre pai e filho na genealogia de Gênesis 5 não deixam espaço para lacunas na genealogia e, portanto, para dezenas de milhares de anos de história humana? Você não está minando a autoridade das Escrituras? Resposta : As palavras hebraicas para pai e filho ( ab e ben ) também significam avô, bisavô etc., e neto, bisneto etc. Deve haver lacunas nas genealogias bíblicas, visto que a data do dilúvio de Noé, assumindo que não haja lacunas genealógicas, difere em 110 anos, dependendo se a data é calculada a partir de Adão ou a partir do êxodo do Egito. Observe também que as genealogias sobrepostas em 1 Crônicas, Mateus e Lucas têm listas de nomes e números de gerações diferentes. Nossas diferenças não são uma questão de autoridade bíblica, mas sim de interpretação bíblica. ______________________...
Leia mais »

O Dilúvio de Noé exterminou apenas os humanos e seus animais?

Por –
Imagem
O Dilúvio de Noé (Imagem gerada por IA em Google Whisk ) por Hugh Ross 10 de dezembro de 2025 Pergunta : Você não está enganado ao afirmar que o Dilúvio de Noé exterminou apenas os humanos e seus animais? A Bíblia não declara que “toda carne” foi exterminada? Resposta : As sete palavras hebraicas em Gênesis 7 –8 para os animais afetados pelo Dilúvio definem “toda carne” de forma muito mais restrita do que você afirma. Apenas os animais afetados pelo pecado humano foram destruídos. Tais animais se limitam aos nephesh basar (animais com alma em contato com humanos). A doutrina bíblica do julgamento de Deus sobre o pecado réprobo é que Deus sempre limita a erradicação da reprovação à extensão da própria reprovação, assim como um cirurgião oncológico limita sua cirurgia à extensão dos tumores malignos. Os únicos animais que podem ser irremediavelmente danificados pelo pecado humano réprobo são os nephesh basar . Portanto, os animais que viviam em regiões onde não havia humanos naquela épo...
Leia mais »

O bóson de Higgs: Como criar tudo do nada

Por –
Imagem
Deus criando o famoso bóson de Higgs (Imagem gerada por IA em Google Whisk ) por Thomas Phillips 31 de março de 2014 Físicos do Grande Colisor de Hádrons (Large Hadron Collider, LHC, em inglês) do CERN relataram novos resultados mostrando que o bóson "semelhante ao Higgs" descoberto em 2012 é, de fato, consistente com as expectativas para um bóson de Higgs modelo padrão (às vezes, chamado de "Partícula de Deus"). Esta importante partícula pode ajudar a explicar o "como" da criação ex nihilo, ou como Deus criou tudo do nada. O Higgs também dá massa à matéria, uma condição necessária para a existência da vida. Em 2012, quando uma nova partícula "semelhante ao Higgs" ganhou as manchetes internacionais, as únicas propriedades que os físicos tinham medido até então eram a massa da partícula e a taxa na qual ela era vista decaindo em uma série de estados finais (principalmente em dois fótons). [1] Sim, essas propriedades eram consistentes com aquelas ...
Leia mais »