Kurt Gödel: "O desenvolvimento de matemática em relação à maior precis...

"O desenvolvimento de matemática em relação à maior precisão levou, como é bem conhecido, Para a formalização de grandes extensões, de modo que se pode provar qualquer teorema usando nada além de algumas regras mecânicas."

--- Kurt Gödel

#Inteiros #Matemática #Desenvolvimento #Wells #Maior #Teoremas #Bem conhecido #Prove #Precisão #Conhecido

Versão em inglês

The development of mathematics towards greater precision has led, as is well known, to the formalization of large tracts of it, so that one can prove any theorem using nothing but a few mechanical rules.