Timothy Gowers: "O que uma prova matemática realmente demonstra que ce...

"O que uma prova matemática realmente demonstra que certas conclusões, como a irracionalidade de certas instalações. , como o princípio da indução matemática. A validade dessas premissas é uma questão inteiramente independente que pode ser deixada com segurança aos filósofos."

--- Timothy Gowers

#Importam #Doe #Mostra #Filósofo #Irracionalidade #Conclusão #Certo #Principles #Matemático #Prova #Instalações #Independente #Prova matemática #Validade #Deixou

Versão em inglês

What a mathematical proof actually does is show that certain conclusions, such as the irrationality of , follow from certain premises, such as the principle of mathematical induction. The validity of these premises is an entirely independent matter which can safely be left to philosophers.