* Martin Davis, 2000, Engines of Logic, W. W. Norton & Company, London, ISBN 0-393-32229-7 pbk.

Hilbert's example: " the assertion that either there are only finitely many prime numbers or there are infinitely many " ( quoted in Davis 2000: 97 ); and Brouwer's: " Every mathematical species is either finite or infinite.

* 2000 – Jimmie Davis, American singer and politician ( b. 1899 )

* 2000: Jack Davis, Mad

* 1899 – Jimmie Davis, American singer-songwriter and politician, 47th Governor of Louisiana ( d. 2000 )

The Salt Lake City-Ogden metropolitan area, which included Salt Lake, Davis, and Weber counties, had a population of 1, 333, 914 in 2000, a 24. 4 % increase over the 1990 figure of 1, 072, 227.

Since the 2000 Census, the Census Bureau has added Summit and Tooele counties to the Salt Lake City metropolitan area, but removed Davis and Weber counties and designated them as the separate Ogden-Clearfield metropolitan area.

* January 8 California governor Gray Davis calls Enron and other energy companies " out-of-state profiteers " during the 2000 California energy crisis.

* Noel Davis: < cite > Cracked !</ cite > story of a community network that was cracked and what was done to recover from it 2000

" In a 2000 review for All About Eve, ( 1950 ) Roger Ebert noted, " Davis was a character, an icon with a grand style, so even her excesses are realistic.

This model is considered by some ( for example, Martin Davis ( 2000 )) to be the origin of the stored program computer — used by John von Neumann ( 1946 ) for the " Electronic Computing Instrument " that now bears von Neumann's name: the von Neumann architecture.

Davis was on the Heat in August 2000 but fell out of favor with Riley.

The 1999 – 2000 season saw a return to prominence, with the addition of free agent Derrick Coleman, and point guard Baron Davis, the third overall draft pick.

By 2000, the Innu island community of Davis Inlet asked the Canadian government to assist with a local addiction crisis.

The concept of a matriarchal golden age in the Neolithic Age has been denounced as feminist wishful thinking in The Inevitability of Patriarchy, in Why Men Rule, more recently by Philip G. Davis in Goddess Unmasked ( 1998 ), and by Cynthia Eller, professor at Montclair State University, in The Myth of Matriarchal Prehistory ( 2000 ).

2000 Census Age Pyramid for Davis County

Davis raised $ 13. 2 million in 1999 and $ 14. 2 million in 2000, both unprecedented sums at the time so early in an elected term.

Davis ' 1999 and 2000 contributions included contributions from Pacific Gas & Electric and Edison International.

Shaffer has appeared in a number of motion pictures over the years, including a small role ( Artie Fufkin of Polymer Records ) in Rob Reiner's This is Spinal Tap, Blues Brothers 2000, a scene with Miles Davis in the Bill Murray film Scrooged and as a passenger in John Travolta's taxicab in Look Who's Talking Too.

As of the census of 2000, there were 491 people, 165 households, and 132 families residing in Davis Junction.

* Butch Davis, Head football coach, University of North Carolina ( 2007 – 2011 ), Former Head Coach, University of Miami ( 1995 – 2000 )

* Brave Old World # 1-4 ( Feb-May 2000 ) by William Messner-Loebs, Guy Davis and Phil Hester

On July 16, 2000, Davis married his current wife, Jill.

Pritchard's successor was Andrew Davis ( 1989 – 2000 ), who was the longest-serving chief conductor since Boult.

** Atlas III was a US launch vehicle ( 2000 – 2005 )

Alfred Elton van Vogt ( April 26, 1912 – January 26, 2000 ) was a Canadian-born science fiction author regarded as one of the most popular and complex science fiction writers of the mid-twentieth century: the " Golden Age " of the genre.

On January 26, 2000, van Vogt died in Los Angeles, USA from Alzheimer's disease, and was survived by his second wife, the former Lydia Bereginsky.

For example, the creation of argon fluorohydride ( HArF ), a marginally stable compound of argon with fluorine and hydrogen, was reported by researchers at the University of Helsinki in 2000.

The national currency, the Azerbaijani manat, was stable in 2000, depreciating 3. 8 % against the dollar.

Public demonstrations usually take place without government interference, though one rally in November 2000 by an opposition party was followed by the arrest and imprisonment for a month of its organizer.

It was proclaimed in 2000.

The eradication of extreme poverty and hunger was the first Millennium Development Goal, as set by 179 United Nations Member States in 2000.

It was rebuilt again by 1783 and this is the building that can be seen today, unchanged except for renovations done to it in 2000.

The International Charlemagne Prize of Aachen was awarded in the year 2000 to the President of the United States, Bill Clinton, for his special personal contribution to cooperation with the states of Europe, for the preservation of peace, freedom, democracy and human rights in Europe, and for his support of the enlargement of the European Union.

In 1966 the number of " pure " Ainu was about 300 ( Honna, Tajima, and Minamoto, 2000 ).

It was a four-time winner of the Charles Roberts / Origins Award, winning " Best Amateur Adventure Gaming Magazine " in 1984, " Best Amateur Game Magazine " in 1999, and " Best Amateur Game Periodical " in 2000 and 2001.

* When 2000 was approaching, at least three large Swedish magazines ranked penicillin as the most important discovery of the millennium.

The following year the Amiga product line was expanded with the introduction of two new models: the Amiga 2000 for high-end graphics and business use, and the Amiga 500 for home use.

The Amiga brand was then sold to another PC manufacturer, Gateway 2000, which had announced grand plans for it.

On January 23, Jacksonville Jaguars defensive coach and former linebackers coach for the 2000 Super Bowl champion Baltimore Ravens Mike Smith was named the Falcons ' new head coach.

During the 2000 Al Qaeda Summit in Kuala Lumpur, American authorities claim that immigration records show that a person named Abdulaziz al-Omari was visiting the country, although they say they are not sure that this was the same person.

From 1994 until 2007, Aston Martin was part of the Ford Motor Company, becoming part of the company's Premier Automotive Group in 2000.

After the November 2000 G8 protest in Montreal, at which many protesters were beaten, trampled, and arrested in what was intended to be a festive protest, the tactic of dividing protests into " green " ( permitted ), " yellow " ( not officially permitted but with little confrontation and low risk of arrest ), and " red " ( involving direct confrontation ) zones was introduced.

This was accompanied by reduction of poverty from 28 percent in 1978 to 9 percent in 1998 in China, and from 51 percent in 1978 to 26 percent in 2000 in India.

In 2000, a French court ruled that a government minister's description of anthroposophy as a cult was defamatory.

The album was certified Gold in 2000.

The first president of ARIN was Kim Hubbard, from 1997 until 2000.