Tiago Madeira

Matemática

Spivak sobre definições e teoremas

“The reader probably suspects that the modern Stokes’ Theorem is at least as difficult as the classical theorems derived from it. On the contrary, it is a very simple consequence of yet another version of Stokes’ Theorem; this very abstract version is the final and main result of Chapter 4. It is entirely reasonable to suppose that the difficulties so far avoided must be hidden here. Yet the proof of this theorem is, in the mathematician’s sense, an utter triviality — a straight-forward computation. On the other hand, even the statement of this triviality cannot be understood without a horde of difficult definitions from Chapter 4. There are good reasons why the theorems should all be easy and the definitions hard. As the evolution of Stokes’ Theorem revealed, a single simple principle can masquerade as several difficult results; the proofs of many theorems involve merely stripping away the disguise. The definitions, on the other hand, serve a twofold purpose: they are rigorous replacements for vague notions, and machinery for elegant proofs.”

Michael Spivak, prefácio de “Calculus on Manifolds”.

Comentários

Tweets that mention Spivak sobre definições e teoremas « Blog do Tiago -- Topsy.com

[…] This post was mentioned on Twitter by Tiago Madeira, Adolfo Neto (UTFPR). Adolfo Neto (UTFPR) said: RT @tmadeira: “There are good reasons why the theorems should all be easy and the definitions hard.” (Michael Spivak) http://bit.ly/bODheH […]

Schneider

É, só que agora que eu cheguei no capítulo 4, vou ler pela terceira vez a parte sobre formas diferenciáveis, por que o troço é intragável. Sem falar em tensores alternantes, produtos exteriores e c@#*&$! a quatro.

Tiago Madeira

Hahaha Eu ainda não cheguei lá (eu já comecei a ler o livro umas três vezes e ainda estou no capítulo 2).

Obrigado! Seu comentário foi enviado e será publicado quando for aprovado.

Infelizmente ocorreu um erro ao enviar seu comentário.