Kurt Gödel (plato.standford.edu)Kurt Friedrich Gödel (b. 1906, d. 1978) was one of the principal founders of the modern, metamathematical era in mathematical logic. He is widely known for his Incompleteness Theorems, which are among the handful of landmark theorems in twentieth century mathematics, but his work touched every field of mathematical logic, if it was not in most cases their original stimulus. In his philosophical work Gödel formulated and defended mathematical Platonism, the view that mathematics is a descriptive science, or alternatively the view that the concept of mathematical truth is objective. On the basis of that viewpoint he laid the foundation for the program of conceptual analysis within set theory (see below). He adhered to Hilbert’s “original rationalistic conception” in mathematics (as he called it); and he was prophetic in anticipating and emphasizing the importance of large cardinals in set theory before their importance became clear.
related
Skykomish River (Wikipedia)The Skykomish River is a 29-mile (47 km) long river in the U.S. state of Washington which drains the west side of the Cascade Mountains in the southeast section of Snohomish County and the northeast corner of King County. The river starts with the confluence of the North Fork Skykomish River and South Fork Skykomish River approximately one mile west of Index, then flowing northwesterly towards Puget Sound. It is joined by the Sultan River and the Wallace River at Sultan. It then meets the Snoqualmie River to form the Snohomish River at Monroe. The Snohomish River continues along the river valley eventually dumping into Port Gardner Bay on Possession Sound (part of Puget Sound).
