People, problems, and proofs: essays from Gödel's lost letter: 2010
Gespeichert in:
Internformat
MARC
LEADER | 00000nam a2200000zc 4500 | ||
---|---|---|---|
001 | BV041658373 | ||
003 | DE-604 | ||
005 | 00000000000000.0 | ||
007 | cr|uuu---uuuuu | ||
008 | 140219s2013 xx o|||| 00||| eng d | ||
015 | |a 14,O01 |2 dnb | ||
016 | 7 | |a 1045207977 |2 DE-101 | |
020 | |a 9783642414213 |9 978-3-642-41421-3 | ||
020 | |a 9783642414220 |c Online |9 978-3-642-41422-0 | ||
024 | 7 | |a 10.1007/978-3-642-41422-0 |2 doi | |
024 | 3 | |a 9783642414220 | |
035 | |a (OCoLC)867051888 | ||
035 | |a (DE-599)DNB1045207977 | ||
040 | |a DE-604 |b ger |e rakddb | ||
041 | 0 | |a eng | |
049 | |a DE-473 |a DE-M347 |a DE-20 |a DE-703 |a DE-859 |a DE-Aug4 |a DE-92 |a DE-29 |a DE-634 |a DE-739 |a DE-355 | ||
082 | 0 | |a 004.0151 | |
084 | |a 910 |2 sdnb | ||
100 | 1 | |a Lipton, Richard J. |d 1946- |e Verfasser |0 (DE-588)142572888 |4 aut | |
245 | 1 | 0 | |a People, problems, and proofs |b essays from Gödel's lost letter: 2010 |c Richard J. Lipton ; Kenneth W. Regan |
264 | 1 | |a Berlin [u.a.] |b Springer |c 2013 | |
300 | |a 1 Online-Ressource | ||
336 | |b txt |2 rdacontent | ||
337 | |b c |2 rdamedia | ||
338 | |b cr |2 rdacarrier | ||
700 | 1 | |a Regan, Kenneth W. |e Verfasser |4 aut | |
856 | 4 | 0 | |u https://doi.org/10.1007/978-3-642-41422-0 |x Verlag |3 Volltext |
856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027098827&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027098827&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
912 | |a ZDB-2-SCS | ||
943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-027098827 | |
966 | e | |u https://doi.org/10.1007/978-3-642-41422-0 |l DE-634 |p ZDB-2-SCS |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-642-41422-0 |l DE-Aug4 |p ZDB-2-SCS |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-642-41422-0 |l DE-M347 |p ZDB-2-SCS |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-642-41422-0 |l DE-92 |p ZDB-2-SCS |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-642-41422-0 |l DE-859 |p ZDB-2-SCS |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-642-41422-0 |l DE-473 |p ZDB-2-SCS |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-642-41422-0 |l DE-355 |p ZDB-2-SCS |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-642-41422-0 |l DE-703 |p ZDB-2-SCS |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-642-41422-0 |l DE-20 |p ZDB-2-SCS |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-642-41422-0 |l DE-29 |p ZDB-2-SCS |x Verlag |3 Volltext | |
966 | e | |u https://doi.org/10.1007/978-3-642-41422-0 |l DE-739 |p ZDB-2-SCS |x Verlag |3 Volltext |
Datensatz im Suchindex
_version_ | 1819297008143302656 |
---|---|
adam_text | PEOPLE, PROBLEMS, AND PROOFS
/ LIPTON, RICHARD J.
: 2013
TABLE OF CONTENTS / INHALTSVERZEICHNIS
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
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
PEOPLE, PROBLEMS, AND PROOFS
/ LIPTON, RICHARD J.
: 2013
ABSTRACT / INHALTSTEXT
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 CHARACTERIZE D 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
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
any_adam_object | 1 |
author | Lipton, Richard J. 1946- Regan, Kenneth W. |
author_GND | (DE-588)142572888 |
author_facet | Lipton, Richard J. 1946- Regan, Kenneth W. |
author_role | aut aut |
author_sort | Lipton, Richard J. 1946- |
author_variant | r j l rj rjl k w r kw kwr |
building | Verbundindex |
bvnumber | BV041658373 |
collection | ZDB-2-SCS |
ctrlnum | (OCoLC)867051888 (DE-599)DNB1045207977 |
dewey-full | 004.0151 |
dewey-hundreds | 000 - Computer science, information, general works |
dewey-ones | 004 - Computer science |
dewey-raw | 004.0151 |
dewey-search | 004.0151 |
dewey-sort | 14.0151 |
dewey-tens | 000 - Computer science, information, general works |
discipline | Informatik Geographie |
doi_str_mv | 10.1007/978-3-642-41422-0 |
format | Electronic eBook |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02827nam a2200529zc 4500</leader><controlfield tag="001">BV041658373</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">140219s2013 xx o|||| 00||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">14,O01</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1045207977</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642414213</subfield><subfield code="9">978-3-642-41421-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642414220</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-642-41422-0</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-41422-0</subfield><subfield code="2">doi</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642414220</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)867051888</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1045207977</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.0151</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">910</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Lipton, Richard J.</subfield><subfield code="d">1946-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)142572888</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">People, problems, and proofs</subfield><subfield code="b">essays from Gödel's lost letter: 2010</subfield><subfield code="c">Richard J. Lipton ; Kenneth W. Regan</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Regan, Kenneth W.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-41422-0</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027098827&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027098827&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027098827</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-41422-0</subfield><subfield code="l">DE-634</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-41422-0</subfield><subfield code="l">DE-Aug4</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-41422-0</subfield><subfield code="l">DE-M347</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-41422-0</subfield><subfield code="l">DE-92</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-41422-0</subfield><subfield code="l">DE-859</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-41422-0</subfield><subfield code="l">DE-473</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-41422-0</subfield><subfield code="l">DE-355</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-41422-0</subfield><subfield code="l">DE-703</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-41422-0</subfield><subfield code="l">DE-20</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-41422-0</subfield><subfield code="l">DE-29</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-642-41422-0</subfield><subfield code="l">DE-739</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
id | DE-604.BV041658373 |
illustrated | Not Illustrated |
indexdate | 2024-12-20T16:51:40Z |
institution | BVB |
isbn | 9783642414213 9783642414220 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027098827 |
oclc_num | 867051888 |
open_access_boolean | |
owner | DE-473 DE-BY-UBG DE-M347 DE-20 DE-703 DE-859 DE-Aug4 DE-92 DE-29 DE-634 DE-739 DE-355 DE-BY-UBR |
owner_facet | DE-473 DE-BY-UBG DE-M347 DE-20 DE-703 DE-859 DE-Aug4 DE-92 DE-29 DE-634 DE-739 DE-355 DE-BY-UBR |
physical | 1 Online-Ressource |
psigel | ZDB-2-SCS |
publishDate | 2013 |
publishDateSearch | 2013 |
publishDateSort | 2013 |
publisher | Springer |
record_format | marc |
spellingShingle | Lipton, Richard J. 1946- Regan, Kenneth W. People, problems, and proofs essays from Gödel's lost letter: 2010 |
title | People, problems, and proofs essays from Gödel's lost letter: 2010 |
title_auth | People, problems, and proofs essays from Gödel's lost letter: 2010 |
title_exact_search | People, problems, and proofs essays from Gödel's lost letter: 2010 |
title_full | People, problems, and proofs essays from Gödel's lost letter: 2010 Richard J. Lipton ; Kenneth W. Regan |
title_fullStr | People, problems, and proofs essays from Gödel's lost letter: 2010 Richard J. Lipton ; Kenneth W. Regan |
title_full_unstemmed | People, problems, and proofs essays from Gödel's lost letter: 2010 Richard J. Lipton ; Kenneth W. Regan |
title_short | People, problems, and proofs |
title_sort | people problems and proofs essays from godel s lost letter 2010 |
title_sub | essays from Gödel's lost letter: 2010 |
url | https://doi.org/10.1007/978-3-642-41422-0 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027098827&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027098827&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
work_keys_str_mv | AT liptonrichardj peopleproblemsandproofsessaysfromgodelslostletter2010 AT regankennethw peopleproblemsandproofsessaysfromgodelslostletter2010 |