Archive for godel

You are browsing the archives of godel.

1879 – Einstein – bio

Albert Einstein was born in Wurttemburg, Germany in 1879 and become known as one of the greatest physicists and thinkers. PRECURSOR: -0300 – Euclid 1564 – Galileo 1642 – Newton 1777 – Gauss 1826 – Riemann 1831 – Maxwell 1838 – Mach 1849 – Klein 1853 – Lorentz 1854 – Poincare 1858 – Planck CONCURRENT: […]

1931 – incompleteness theorems

In 1931, Kurt Godel published two theorems of mathematical logic that have become known as the incompleteness theorems. Prior to these theorems, many mathematicians were trying to prove that all of mathematics could someday be encoded in a complete set of axioms. First incompleteness theorem: Any effectively generated theory capable of expressing elementary arithmetic cannot […]