Li em "Introducing Philosophy" por Robinson & Groves.
Kurt Gödel demonstrou que sempre haverá verdades matemáticas que permanecerão impossíveis de serem provadas em qualquer sistema lógico auto-consistente. Qualquer sistema formal pode ser consistente ou completo, mas não ambos.
Comentário do Gustavo: acho isso incrível (no sentido de fantástico) para a ciência. Minha intuição dizia que era mais fácil achar consistência e coerências na Matemática - e por conseguinte, nas ciências "exatas" - do que nas ciências sociais.
No comments:
Post a Comment