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...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:The Golden Ticket S. 51 - 70
1. Verfasser: Fortnow, Lance
Format: Buchkapitel
Sprache:Englisch
Veröffentlicht: United States Princeton University Press 27.03.2013
Schlagworte:
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
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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