Definition:Mathematical Logic/Historical Note

From ProofWiki
Jump to navigation Jump to search

Historical Note on Mathematical Logic

The roots of mathematical logic originate with the work of George Boole, who first made an attempt to formally define the rules of logic in mathematical terms.

Its development as a serious discipline was directly inspired by Hilbert's program, as an attempt to create a consistent and complete set of axioms that would render mathematics completely rigorous.

This did not go the way David Hilbert had planned, as Gödel's Incompleteness Theorems proved that there were always going to true statements in mathematics which could never be proved.