skip to content
People, Problems, and Proofs Essays from Gödel's Lost Letter: 2010 Preview this item
ClosePreview this item
Checking...

People, Problems, and Proofs Essays from Gödel's Lost Letter: 2010

Author: Richard J Lipton; Kenneth W Regan
Publisher: Berlin, Heidelberg Imprint: Springer 2013
Series: SpringerLink : Bücher
Edition/Format:   eBook : Document : EnglishView all editions and formats
Publication:People, problems, and proofs.
Summary:
People, problems, and proofs are the lifeblood of theoretical computer science. Behind the computing devices and applications that have transformed our lives are clever algorithms, and for every worthwhile algorithm there is a problem that it solves and a proof that it works. Before this proof there was an open problem: can one create an efficient algorithm to solve the computational problem? And, finally, behind  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Online-Publikation
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Richard J Lipton; Kenneth W Regan
ISBN: 9783642414213 3642414214 9783642414220 3642414222
OCLC Number: 867051888
In: Lipton, Richard J
Description: 1 online resource (XVIII, 333 S.) 33 illus., 5 illus. in color
Contents: The Claimant, the Readers, and the Crowd.- Kenneth Iverson: Notation and Thinking.- Edmund Hillary: Proofs and Mountain Climbing.- Leonardo da Vinci: Proofs as Art.- Michael Atiyah: The Role of Proof.- Subhash Khot: Unique Games Conjecture.- Arno van den Essen: An Amazing Conjecture.- Richard Hamilton: Group Efforts.- Grigori Perelman: A New Clay Problem.- Eric Allender: Solvable Groups.- Enrico Bombieri: On Intuition.- Fred Hennie: Lower Bounds.- Volker Strassen: Amazing Results.- Adam Smith: Dumb Channels.- Georg Cantor: Diagonal Method.- Raymond Smullyan: The Reals Are Uncountable.- William Tutte: Flow Problems.- Basil Rathbone: Writing a Major Result.- Elwyn Berlekamp: Dots And Boxes.- David Johnson: Galactic Algorithms.- Warren Hirsch: Guessing The Truth.- Shimon Even: A Promise Problem.- Matei David: Improving Noam Nisan's Generator.- Ryan Williams: A New Lower Bound.- Joel Seiferas: More on the New Lower Bound.- Victor Klee: Big Results.- George Dantzig: Equations, Equations, and Equations.- Srinivasa Ramanujan: The Role of Amateurs.- John Rhodes: Approaches to Problems.- John Nash: Connections.- Chee Yap: Computing Digits of .- Henri Lebesgue: Projections Are Tricky.- Nina Balcan: A New Model of Complexity.- Sam Buss: Bounded Logic.- Anton Klyachko: Car Crashes.- Bernard Chazelle: Natural Algorithms.- Thomas Jech: The Axiom of Choice.- Alfonso Bedoya: Definitions, Definitions, and Definitions.- Hartley Rogers: Complexity Classes.- Ron Fagin: Second Order Logic.- Daniel Lokshtanov: Knapsack Problem.- Albert Einstein: Beyond Polynomial Equations.- Denis Therien: Solvable Groups.- Andreas Bjoerklund: Hamiltonian Cycles.- David Hilbert: The Nullstellensatz.- John Hopcroft: Thinking out of the Box.- Dick Karp: The Polynomial Hierarchy.- Nick Howgrave-Graham and Antoine Joux: Attacking the Knapsack Problem.- Hedy Lamarr: The Role of Amateurs.- Nicolas Courtois: The Linearization Method.- Neal Koblitz: Attacks on Crypto-systems.- Richard Feynman: Miracle Numbers.- Patrick Fischer: Programming Turing Machines.- Roger Apery: Explaining Proofs.- Ron Rivest: Mathematical Gifts.- Frank Ryan: The Quarterback Teaches.- Leonard Schulman: Associativity.- Paul Seymour: Graph Minors.- Alfred Tarski: Lower Bounds on Theories.- Ken Thompson: Playing Chess.- Virginia Vassilevska: Fixing Tournaments.- Arkadev Chattopadhyay: Computing Modulo Composites.- Charles Bennett: Quantum Protocols.
Series Title: SpringerLink : Bücher
Responsibility: by Richard J. Lipton, Kenneth W. Regan
More information:

Abstract:

This book offers insights into theoretical computer science and mathematics, distilling complex topics into manageable essays that summarize and explain key developments, historical context, and  Read more...

Reviews

Editorial reviews

Publisher Synopsis

"The book has 63 chapters, each one ... representing an edited version of a post in GLL. ... this book will appeal to readers seeking an insider view on how creative mathematical ideas emerge. And it Read more...

 
User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/867051888> # People, Problems, and Proofs Essays from Gödel's Lost Letter: 2010
    a schema:CreativeWork, schema:MediaObject, schema:Book ;
    library:oclcnum "867051888" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1781887629#Place/berlin_heidelberg> ; # Berlin, Heidelberg
    schema:about <http://id.loc.gov/authorities/subjects/sh85066289> ; # Information theory
    schema:about <http://id.worldcat.org/fast/973149> ; # Information theory
    schema:about <http://dewey.info/class/004.0151/> ;
    schema:about <http://id.loc.gov/authorities/subjects/sh89003285> ; # Computer science
    schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
    schema:author <http://viaf.org/viaf/27725792> ; # Kenneth W. Regan
    schema:author <http://viaf.org/viaf/117513630> ; # Richard J. Lipton
    schema:bookFormat schema:EBook ;
    schema:datePublished "2013" ;
    schema:description "People, problems, and proofs are the lifeblood of theoretical computer science. Behind the computing devices and applications that have transformed our lives are clever algorithms, and for every worthwhile algorithm there is a problem that it solves and a proof that it works. Before this proof there was an open problem: can one create an efficient algorithm to solve the computational problem? And, finally, behind these questions are the people who are excited about these fundamental issues in our computational world. In this book the authors draw on their outstanding research and teaching experience to showcase some key people and ideas in the domain of theoretical computer science, particularly in computational complexity and algorithms, and related mathematical topics. They show evidence of the considerable scholarship that supports this young field, and they balance an impressive breadth of topics with the depth necessary to reveal the power and the relevance of the work described. Beyond this, the authors discuss the sustained effort of their community, revealing much about the culture of their field. A career in theoretical computer science at the top level is a vocation: the work is hard, and in addition to the obvious requirements such as intellect and training, the vignettes in this book demonstrate the importance of human factors such as personality, instinct, creativity, ambition, tenacity, and luck. The authors' style is characterized by personal observations, enthusiasm, and humor, and this book will be a source of inspiration and guidance for graduate students and researchers engaged with or planning careers in theoretical computer science." ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1781887629> ;
    schema:genre "Online-Publikation" ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1781887629#Series/springerlink_bucher> ; # SpringerLink : Bücher
    schema:name "People, Problems, and Proofs Essays from Gödel's Lost Letter: 2010" ;
    schema:productID "867051888" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/867051888#PublicationEvent/berlin_heidelbergimprint_springer2013> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1781887629#Agent/imprint_springer> ; # Imprint: Springer
    schema:url <http://swbplus.bsz-bw.de/bsz399526919cov.htm> ;
    schema:url <https://doi.org/10.1007/978-3-642-41422-0> ;
    schema:url <http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027098827&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA> ;
    schema:url <http://dx.doi.org/10.1007/978-3-642-41422-0> ;
    schema:url <http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027098827&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA> ;
    schema:url <http://scans.hebis.de/HEBCGI/show.pl?33493602_toc.html> ;
    schema:workExample <http://worldcat.org/isbn/9783642414220> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-642-41422-0> ;
    schema:workExample <http://worldcat.org/isbn/9783642414213> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/867051888> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1781887629#Agent/imprint_springer> # Imprint: Springer
    a bgn:Agent ;
    schema:name "Imprint: Springer" ;
    .

<http://experiment.worldcat.org/entity/work/data/1781887629#Place/berlin_heidelberg> # Berlin, Heidelberg
    a schema:Place ;
    schema:name "Berlin, Heidelberg" ;
    .

<http://experiment.worldcat.org/entity/work/data/1781887629#Series/springerlink_bucher> # SpringerLink : Bücher
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/867051888> ; # People, Problems, and Proofs Essays from Gödel's Lost Letter: 2010
    schema:name "SpringerLink : Bücher" ;
    .

<http://id.loc.gov/authorities/subjects/sh85066289> # Information theory
    a schema:Intangible ;
    schema:name "Information theory" ;
    .

<http://id.loc.gov/authorities/subjects/sh89003285> # Computer science
    a schema:Intangible ;
    schema:name "Computer science" ;
    .

<http://id.worldcat.org/fast/872451> # Computer science
    a schema:Intangible ;
    schema:name "Computer science" ;
    .

<http://id.worldcat.org/fast/973149> # Information theory
    a schema:Intangible ;
    schema:name "Information theory" ;
    .

<http://viaf.org/viaf/117513630> # Richard J. Lipton
    a schema:Person ;
    schema:familyName "Lipton" ;
    schema:givenName "Richard J." ;
    schema:name "Richard J. Lipton" ;
    .

<http://viaf.org/viaf/27725792> # Kenneth W. Regan
    a schema:Person ;
    schema:familyName "Regan" ;
    schema:givenName "Kenneth W." ;
    schema:name "Kenneth W. Regan" ;
    .

<http://worldcat.org/isbn/9783642414213>
    a schema:ProductModel ;
    schema:isbn "3642414214" ;
    schema:isbn "9783642414213" ;
    .

<http://worldcat.org/isbn/9783642414220>
    a schema:ProductModel ;
    schema:isbn "3642414222" ;
    schema:isbn "9783642414220" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.