Frases de "Kurt Gödel" sobre "MATEMáTICA"
"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
"A formação no tempo geológico do corpo humano pelas leis da física (ou quaisquer outras leis de natureza similar), a partir de uma distribuição aleatória de partículas elementares e campo é tão improvável quanto a separação da atmosfera em seus componentes. A complexidade dos seres vivos deve estar presente dentro do material, do qual são derivadas, ou nas leis, governando sua formação."
--- Kurt Gödel
"A formação no tempo geológico do corpo humano pelas leis da física (ou quaisquer outras leis de natureza similar), a partir de uma distribuição aleatória de partículas elementares e campo é tão improvável quanto a separação da atmosfera em seus componentes. A complexidade dos seres vivos deve estar presente dentro do material, do qual são derivadas, ou nas leis, governando sua formação."
--- Kurt Gödel
"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