Sign In

Communications of the ACM

Blogroll



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

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

The End Of Human Science?

Could we go the way of telegraph operators? Pixabay source Lofa Polir has sent us some new information that will have widespread ramifications for math and theory...

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

Gender Bias: It Is Worse Than You Think

q Science meets bias and diversity Deborah Belle is a psychology professor at Boston University (BU) who is interested in gender differences in social behavior....

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

Is Computer Security Possible?

The breaks keep on coming… Holly Dragoo, Yacin Nadji, Joel Odom, Chris Roberts, and Stone Tillotson are experts in computer security. They recently were featured...

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

Raymond Smullyan, 1919–2017

Serious work amid the puzzles and jokes. Amazon source When Raymond Smullyan was born, Emanuel Lasker was still the world chess champion. Indeed, of the 16 universally...

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

A Panel On P vs. NP

A discussion on the famous problem William Agnew is the chairperson of the Georgia Tech Theoretical Computer Science Club. He is, of course, an undergraduate at...

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

How to Check a Proof

What to do about claims of hard theorems? Cropped from source Shinichi Mochizuki has claimed the famous ABC conjecture since 2012. It is still unclear whether or...

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

Snow And Theory

The 25th Anniversary of the ACO Program Cropped from src1 & src2 in gardens for karma Prasad Tetali and Robin Thomas are mathematicians at Georgia Tech who are...

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

Babai’s Result: Still a Breakthrough

Even after today’s retraction of quasi-polynomial time for graph isomorphism Cropped from source László Babai is famous for many things, and has made many seminal...

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

Hunting Complexity in Zeta

A second look at Voronin’s amazing universality theorem Anatoly Karatsuba and Sergei Voronin wrote a book on Bernhard Riemann’s zeta function. The book was translated...

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

Bletchley Park

Lessons from the Park that still apply today Iain Standen is the CEO of the Bletchley Park Trust, which is responsible for the restoration of the Park. After the...

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

Thanks

Theorems and Proofs—which are more important? src Ken and I wish to thank all who read and follow us. May you have a wonderful day today all day. But we would like...

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

Halloween Math Style

The top scariest possible results Head chopped from source Washington Irving was a famous writer of the early 1800’s who is best known for his short stories. The...

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

Going For Two

Some football wisdom from Dick Karp Cropped from S.I. Kids source John Urschel is a PhD student in the Applied Mathematics program at MIT. He has co-authored two...

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

Why Is Being Truthful A Good Thing?

In the context of stable matching problems Jamie Morgenstern is a researcher into machine learning, economics, and especially mechanism design. Today Ken and I...
Sign In for Full Access
» Forgot Password? » Create an ACM Web Account