Redmond is a city in King County, Washington, United States, located 15 miles (24 km) east of Seattle. The population was 73,256 at the 2020 census, up from 54,144 in 2010.
How Gödel’s Proof Works (quantamagazine.com) In 1931, the Austrian logician Kurt Gödel pulled off arguably one of the most stunning intellectual achievements in history.
