User:Goedelman

In my humble opinion, Kurt Goedel's 1931 incompleteness theorem is the most outstanding result of 20th century science, despite Einstein and rockets and DNA etc. It had profound influence on computer science, logics, mathematics, and philosophy.