Refine your search:

From Gödel's Lost Letter and P=NP
#### Timing Leaks Everything

Facing the awful truth that computers are physical machines As moderator of RSA 2016 panel Paul Kocher is the lead author on the second of two papers detailing...

From Gödel's Lost Letter and P=NP
#### P=NP: Perhaps I Change My Mind

An old result put a new way Albert Meyer knows circuit lower bounds. He co-authored a paper with the late Larry Stockmeyer that proves that small instances of the...

From Gödel's Lost Letter and P=NP
#### Proving Peano Arithmetic Partially Consistent?

An approach to consistency that could work… Kurt Gödel is feeling bored. Not quite in our English sense of “bored”: German has a word Weltschmerz meaning “world...

From Gödel's Lost Letter and P=NP
#### A Magic Madison Visit

To give a Hilldale Lecture and learn about fairness and dichotomies UB CSE50 anniversary source Jin-Yi Cai was kind enough to help get me, Dick, invited last month...

From Gödel's Lost Letter and P=NP
#### Lotfi Zadeh 1921–2017

But fuzzy logic lives on forever New York Times obituary source Lotfi Zadeh had a long and amazing life in academics and the real world. He passed away last month...

From Gödel's Lost Letter and P=NP
#### Michael Cohen 1992-2017 and Vladimir Voevodsky 1966–2017

Two more tragic losses coming before a greater tragedy Composite of crops from src1, src2 Michael Cohen and Vladimir Voevodsky were in different stages of their...

From Gödel's Lost Letter and P=NP
#### Drama Therapy: A Math Viewpoint

What is drama therapy? Kathryn Farley obtained her PhD from Northwestern University in performance studies in 2007. After almost a decade working in that area,...

From Gödel's Lost Letter and P=NP
#### Happy Birthday Ken

It was just Ken’s birthday Kenneth Regan’s birthday was just the other day. I believe I join all in wishing him a wonder unbirthday today. The idea of unbirthday...

From Gödel's Lost Letter and P=NP
#### A TSP Breakthrough

A new approximation algorithm Composite of src1, src2, src3 Ola Svensson, Jakub Tarnawski, and László Végh have made a breakthrough in the area of approximation...

From Gödel's Lost Letter and P=NP
#### A Retirement Party for Joel Seiferas

A gathering this Labor Day in Rochester Announcement source Joel Seiferas retired on December 31, 2016 and is now a professor emeritus in the University of Rochester...

From Gödel's Lost Letter and P=NP
#### On the Edge of Eclipses and P=NP

A topical look at Norbert Blum’s paper and wider thoughts. Thales of Miletus may—or may not—have accurately predicted one or more total solar eclipses in the years...

From Gödel's Lost Letter and P=NP
#### Modeling Reality

A surprising theorem about differential equations Composite of src1, src2. Olivier Bournez and Amaury Pouly have proved an interesting theorem about modeling physical...

From Gödel's Lost Letter and P=NP
#### Kitchen Tile Catalog Complete

All tessellating convex polygons found Cropped and combined from src1, src2. Michaël Rao and Marjorie Rice are linked in this month’s news. Rao has just released...

From Gödel's Lost Letter and P=NP
#### Oded Wins The Knuth Prize

Just announced Oded Goldreich is one of the top researchers in cryptography, randomness, and complexity theory. Today Ken and I wish to thank the Knuth Prize Committee...

From Gödel's Lost Letter and P=NP
#### TOC In The Future

Results of the panel at the Theory Fest Géraud Sénizergues proved in 1997 that equivalence of deterministic pushdown automata (DPDAs) is decidable. Solving this...

From Gödel's Lost Letter and P=NP
#### Does Logic Apply To Hearings?

The problem of mining text for implications 2016 RSA Conference bio, speech Michael Rogers, the head of the National Security Agency, testified before the Senate...

From Gödel's Lost Letter and P=NP
#### Goldilocks Principle And P vs. NP

The rule of three Wikimedia Commons source Robert Southey was the Poet Laureate of Britain from 1813 until his death in 1843. He published, anonymously, “The Story...

From Gödel's Lost Letter and P=NP
#### A Great Solution

A great conjecture too Alternate photo by Quanta Thomas Royen is a retired professor of statistics in Schwalbach am Taunus near Frankfurt, Germany. In July 2014...

From Gödel's Lost Letter and P=NP
#### Theory Fest—Should You Go?

Theory Fest—Should You Go? Boaz Barak and Michael Mitzenmacher are well known for many great results. They are currently working not on a theory paper, but on a...

From Gödel's Lost Letter and P=NP
#### Turing Award 2016

It takes a … Sir Tim Berners-Lee is the latest winner of the ACM Turing Award. He was cited for “inventing the World Wide Web (WWW), the first web browser, and...