Frases Sobre "Teoremas"
"Eu sou persuadido que este método [para calcular o volume de uma esfera] será de nenhum pequeno serviço para a matemática. Porque eu prevejo que, uma vez entendido e estabelecido, será usado para descobrir outros teoremas que ainda não se ocorreram, por outros matemáticos, agora vivendo ou ainda não nascido."
--- Archimedes

"Uma dúzia de mais perguntas me ocorreram. Para não mencionar vinte e duas soluções possíveis para cada um, dezesseis hipóteses resultantes e contra-teoremas, oito especulações abstratas, uma equação quadrilateral, dois axiomas e um limerick. Isso é a inteligência bruta para você."
--- Jonathan Stroud

"Os direitos humanos são um aspecto da lei natural, uma conseqüência da maneira como o universo funciona, tão sólido quanto real quanto os fótons ou o conceito de PI. A ideia de auto-propriedade é o equivalente do teorema de Pitágoras, de evolução por seleção natural, de relatividade geral e da teoria quântica. Antes da humanidade descobrir qualquer um destes, sofreu, a vários graus, em miséria e ignorância."
--- L. Neil Smith

"Meu companheiro favorito da Royal Society é o reverendo Thomas Bayes, um obscuro do século XVIII Kent Cleryman e um brilhante Matemático que inventou uma equação complexa conhecida como o teorema de Bayes, que pode ser usado para descobrir distribuições de probabilidade. Não tinha uma aplicação prática em sua vida, mas hoje, graças aos computadores, é rotineiramente usado na modelagem de mudança climática, astrofísica e análise de mercado de ações."
--- Bill Bryson

"Normalmente definitivamente definir uma "religião" como um sistema de ideias que contêm declarações que não podem ser logicamente ou observadas de forma logia ... Gödels Teorem não só demonstra que a metema é uma religião, mas mostra que a matemática é A única religião que se mostra ser um!"
--- John D. Barrow

"I aproximou-se da maior parte do meu trabalho escolar como uma tarefa em vez de uma aventura intelectual. O tédio ficou aliviado por alguns cursos que parecem ser qualitativamente diferentes. A geometria foi o primeiro curso emocionante que me lembro. Em vez de memorizar fatos, pedimos para pensar em etapas lógicas claras. Começando de alguns postulados intuitivos, as consequências de longo alcance podem ser derivadas, e eu demorei imediatamente ao esporte de provar os teoremas."
--- Steven Chu

"O que exatamente é a matemática? Muitos tentaram, mas ninguém conseguiu definir a matemática; É sempre outra coisa. Aproximadamente falando, as pessoas sabem que ele lida com números, figuras, com relações, operações e que seus procedimentos formais envolvendo axiomas, provas, lemmas, os teoremas não mudaram desde o tempo de Arquimedes."
--- Stanislaw Ulam

"Re-fazemos a natureza pelo ato de descoberta, no poema ou no teorema. E o grande poema e o teorema profundo são novos em todos os leitores, e ainda são suas próprias experiências, porque ele próprio recria. Eles são as marcas da unidade em variedade; e no instante, quando a mente agariza isso por si só, na arte ou na ciência, o coração perde uma batida."
--- Jacob Bronowski

"As pessoas acreditam nos direitos humanos porque tais direitos realmente existem, como verdades matemáticas, sentado em uma prateleira cósmica ao lado do teorema pitágoras apenas esperando para ser descoberto por razões platônicas? Ou as pessoas sentem repulsa e simpatia quando lêem relatos de tortura e, em seguida, inventar uma história sobre direitos universais para ajudar a justificar seus sentimentos?"
--- Jonathan Haidt

"O desenvolvimento de matemática em direção a maior precisão levou, como é bem conhecido, para a formalização de grandes trechos, de modo que se pode provar qualquer teorema usando nada além de algumas regras mecânicas ... Pode-se, portanto, a conjectura Que esses axiomas e regras de inferência são suficientes para decidir qualquer questão matemática que possa ser formalmente expressa formalmente nesses sistemas. Será mostrado abaixo que este não é o caso, que, pelo contrário, existem nos dois sistemas mencionados problemas relativamente simples na teoria dos inteiros que não podem ser decididos com base nos axiomas."
--- Kurt Gödel
