Isabelle, Wisconsin

Isabelle is a town in Pierce County, Wisconsin, United States. The population was 315 at the 2000 census. The unincorporated community of Oakridge is located in the town.

Geography

According to the United States Census Bureau, the town has a total area of 15.6 square miles (40.5 km²), of which, 10.4 square miles (27.0 km²) of it is land and 5.2 square miles (13.6 km²) of it (33.48%) is water.

Demographics

As of the census of 2000, there were 315 people, 113 households, and 88 families residing in the town. The population density was 30.2 people per square mile (11.7/km²). There were 118 housing units at an average density of 11.3 per square mile (4.4/km²). The racial makeup of the town was 99.05% White, 0.32% African American and 0.63% Native American. Hispanic or Latino of any race were 1.59% of the population.

There were 113 households out of which 42.5% had children under the age of 18 living with them, 61.9% were married couples living together, 9.7% had a female householder with no husband present, and 22.1% were non-families. 15.9% of all households were made up of individuals and 2.7% had someone living alone who was 65 years of age or older. The average household size was 2.79 and the average family size was 3.06.

Isabelle

Isabelle is a French feminine given name. It may refer to :

Isabelle (proof assistant)

The Isabelle theorem prover is an interactive theorem prover, a Higher Order Logic (HOL) theorem prover. It is an LCF-style theorem prover (written in Standard ML), so it is based on a small logical core to ease logical correctness. Isabelle is generic: it provides a meta-logic (a weak type theory), which is used to encode object logics like First-order logic (FOL), Higher-order logic (HOL) or Zermelo–Fraenkel set theory (ZFC). Isabelle's main proof method is a higher-order version of resolution, based on higher-order unification. Though interactive, Isabelle also features efficient automatic reasoning tools, such as a term rewriting engine and a tableaux prover, as well as various decision procedures. Isabelle has been used to formalize numerous theorems from mathematics and computer science, like Gödel's completeness theorem, Gödel's theorem about the consistency of the axiom of choice, the prime number theorem, correctness of security protocols, and properties of programming language semantics. The Isabelle theorem prover is free software, released under the revised BSD license.

Isabelle (singer)

Isabelle Valdéz Santana (born August 10, 1981), better known as Isabelle, is a Dominican singer of Christian music.

Discography

References

Wisconsin

Wisconsin (ⁱ/wɪsˈkɒ̃nsɪn/) is a U.S. state located in the north-central United States, in the Midwest and Great Lakes regions. It is bordered by Minnesota to the west, Iowa to the southwest, Illinois to the south, Lake Michigan to the east, Michigan to the northeast, and Lake Superior to the north. Wisconsin is the 23rd largest state by total area and the 20th most populous. The state capital is Madison, and its largest city is Milwaukee, which is located on the western shore of Lake Michigan. The state is divided into 72 counties.

Wisconsin's geography is diverse, with the Northern Highland and Western Upland along with a part of the Central Plain occupying the western part of the state and lowlands stretching to the shore of Lake Michigan. Wisconsin is second to Michigan in the length of its Great Lakes coastline.

Wisconsin is known as "America's Dairyland" because it is one of the nation's leading dairy producers, particularly famous for cheese. Manufacturing, especially paper products, information technology (IT), and tourism are also major contributors to the state's economy.

Wisconsin (statue)

The Wisconsin is a statue on top of the Wisconsin Capitol Building created by Daniel Chester French.

History

The Wisconsin statue on the dome was sculpted during 1913-1914 by Daniel Chester French of New York.

The commission to create the statue of Wisconsin on the top of the dome was originally promised to Helen Farnsworth Mears, originally of Wisconsin. When Daniel Chester French agreed to produce the finial figure, the commission was switched to him.

Description

This work, often referred to as the "Golden Lady", consists of an allegorical figure reminiscent of Athena, dressed in Greek garb, her right arm outstretched to symbolize the state motto, "Forward", and wearing a helmet topped by a badger, the Wisconsin state totem.

The figure's left hand holds a globe with an eagle perched on top. Across the eagle's chest is a large W, for Wisconsin, a detail hard to discern.

Wisconsin is 15 ft 5 in (4.70 m) tall and weighs 3 short tons (2.7 t).

The lady is also in a mural in the House of Representatives.

Wisconsin (album)

Wisconsin is the second album by the hardcore punk band The Crucifucks. The album is noted for having a more "mellow" sound compared to The Crucifucks debut, although its lyrics maintain a stridently anarchist political viewpoint.

Track listing

References