Tuesday, May 10, 2005
Godel's Theorum
In certain formal systems, there exist propositions that cannot be proved or disproved using the axioms of that system. With this theorem, Godel had effectively demonstrated that some mathematical propositions are undecidable. Godel's Theorem made a deep impact in the fields of mathematics and logic, and has been called the most significant mathematical truth of the 20th century.
Subscribe to Posts [Atom]