Thread: Godel's incompleteness theorum

Originally Posted by TwistedOak

I would also like to see an example of a mathematical theory being contradictory

If this is related to Godel's incompleteness theory, it doesn't talk about contradictions.
Instead, it says (proves) that within each non-trivial axiomatic system, there will be propositions which cannot be proven or disproven either way. In other words, the axiomatic system is incomplete. And indeed, in mathematics, there are propositions which can be identified as unprovable. The math is beyond me, but there are classes of problems that within a certain context, can be proven to be unprovable either way.