- Lake Washington Ship Canal (seattle.gov)
The grand opening of the Lake Washington Ship Canal was held on July 4, 1917. Designed by Seattle district engineer Hiram Chittenden of the U.S. Army Corps of Engineers, the canal’s construction was the result of more than five decades of discussion on how to connect the saltwater of Puget Sound to the freshwater of Lake Washington via Lake Union. Early planners envisioned heavy use by coal and naval vessels, but today the locks are predominantly filled with pleasure crafts. The City of Seattle’s role included engineering, legal, and public works projects as new bridges, roads, water supply infrastructure and more were required to accommodate the implications of the Ship Canal on Seattle’s shape and size. The exhibits below provide insight into how the Ship Canal shaped Seattle’s social, physical, and environmental history.
- Quantifier (logic) (Wikipedia)
In logic, a quantifier is an operator that specifies how many individuals in the domain of discourse satisfy an open formula. For instance, the universal quantifier ∀ in the first order formula ∀xP(x) expresses that everything in the domain satisfies the property denoted by P. On the other hand, the existential quantifier ∃ in the formula ∃xP(x) expresses that there exists something in the domain which satisfies that property. A formula where a quantifier takes widest scope is called a quantified formula. A quantified formula must contain a bound variable and a subformula specifying a property of the referent of that variable.