THE HARDEST PROBLEMS IN NP

Tom Hull, chair of the University of Toronto Computer Science Department in 1970, wanted to hire Steve Cook. Steve Cook had just been denied tenure at the University of California at Berkeley. Cook enjoyed sailing, so Hull took him out on Lake Ontario to show that sailing near Toronto was just as go...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:The Golden Ticket s. 51 - 70
Hlavní autor: Fortnow, Lance
Médium: Kapitola
Jazyk:angličtina
Vydáno: United States Princeton University Press 27.03.2013
Témata:
Algorithms
Anatomy
Applied sciences
Behavioral sciences
Biological sciences
Biology
Computer science
Computer security
Consumers
Counting numbers
Cubes
Cured meats
Denotational semantics
Discrete mathematics
End users
Food
Food science
Foodstuffs
Formal logic
Friendship
Games
Geometric shapes
Geometry
History of mathematics
Human populations
Integers
Interpersonal relations
Kidneys
Leisure studies
Logic
Logic puzzles
Logical topics
Mathematical logic
Mathematics
Meats
Number theory
Numbers
Persons
Philosophy
Polyhedrons
Polytopes
Popular science
Population studies
Prime numbers
Psychology
Pure mathematics
Puzzles
Rational numbers
Real numbers
Recreation
Satisfiability
Sausages
Social psychology
Social sciences
Sudoku
Urinary system
Urinary tract
Urogenital system
Virtual avatars
ISBN:9780691156491, 0691156492
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí:Tom Hull, chair of the University of Toronto Computer Science Department in 1970, wanted to hire Steve Cook. Steve Cook had just been denied tenure at the University of California at Berkeley. Cook enjoyed sailing, so Hull took him out on Lake Ontario to show that sailing near Toronto was just as good as sailing in San Francisco Bay. The ploy worked, and Steve Cook joined the University of Toronto faculty in the fall of 1970. A brilliant move, since Cook would soon become Canada’s most famous computer scientist. Cook studied the connections between logic and computer science. That fall
ISBN:9780691156491
0691156492
DOI:10.1515/9781400846610-005