Communications of the ACM
Refine your search:
How the “Frontier” Became the Slogan of Uncontrolled AI
Artificial intelligence (AI) has been billed as the next frontier of humanity: the newly available expanse whose exploration …
From Gödel's Lost Letter and P=NP
Legal Complexity
Formal logical methods may be needed to represent the Donald Trump documents case her page Monica Palmirani is a Professor of Computer Science and Law at the University...
From Gödel's Lost Letter and P=NP
Juris Hartmanis 1928–2022
A sure foundation for Computational Complexity source—wonderful 2015 CACM interview Juris Hartmanis passed away this morning. He was a professor in Cornell’s computer...
From Gödel's Lost Letter and P=NP
Complexity 2022
Weaving patterns of proof and the accepted papers for this week’s conference her bio page Karen Donde is the Chair of Complexity 2022, which is being held this...
From Gödel's Lost Letter and P=NP
Sorting and Proving
A proof tells us where to concentrate our doubts—Morris Kline Tony Hoare is also known informally as Sir Charles Antony Richard Hoare. He has made key contributions...
From Gödel's Lost Letter and P=NP
Laws and Laughs
Rules are a great way to get ideas. All you have to do is break them—Jack Foster Roy Amara was a researcher and president of the Institute for the Future. Among...
From Gödel's Lost Letter and P=NP
Women In Theory
I like crossing the imaginary boundaries people set up between different fields—it’s very refreshing. There are lots of tools, and you don’t know which one would...
From Gödel's Lost Letter and P=NP
Easy as ABC
A modern mathematical proof is not very different from a modern machine: the simple fundamental principles are hidden and almost invisible under a mass of technical...
From Gödel's Lost Letter and P=NP
CCC 2022 Conference
I have a private plane. But I fly commercial when I go to environmental conferences—Arnold Schwarzenegger Computational Complexity Conference CCC is about to happen...
From Gödel's Lost Letter and P=NP
Being Different
In mathematics you don’t understand things. You just get used to them—John von Neumann. Harvey Friedman is a famous mathematical logician who spent most of his...
From Gödel's Lost Letter and P=NP
Hilbert’s Lost Problem
Mathematics consists in proving the most obvious thing in the least obvious way—Pólya. David Hilbert famously presented 23 important open mathematical problems...
From Gödel's Lost Letter and P=NP
Take Wing
It is a capital mistake to theorize before one has data—Sherlock Holmes Jeannette Wing is a Professor of Computer Science at Columbia University. She was recently...
From Gödel's Lost Letter and P=NP
Rafail Is No Secret
Never say anything in an electronic message that you wouldn’t want appearing, and attributed to you, in tomorrow morning’s front-page headline in the New York Times...
From Gödel's Lost Letter and P=NP
Differential Privacy
I’m low-key. I like my privacy—Kemba Walker. Avrim Blum, Irit Dinur, Cynthia Dwork, Frank McSherry, Kobbi Nissim, and Adam Smith, received the ACM 2021 Paris Kanellakis...
From Gödel's Lost Letter and P=NP
Peter’s Face
Mathematics is not about numbers, equations, computations, or algorithms: it is about understanding—Bill Thurston. Peter Weinberger is a computer scientist who...
From Gödel's Lost Letter and P=NP
Sedgewick to Emeritus Status
Retire from your job, but never retire your mind. Bob Sedgewick is becoming an emeritus professor: When Faculty transfer to emeritus status and retain a professional...
From Gödel's Lost Letter and P=NP
Math Monthly
Just because we can’t find a solution, it doesn’t mean there isn’t one—Andrew Wiles. Della Dumbaugh is a professor of mathematics at the University of Richmond....
From Gödel's Lost Letter and P=NP
A Paradox
If you can’t solve a problem, it’s because you’re playing by the rules—Paul Arden Dietrich Braess is a professor of mathematics at Ruhr University in Bochum, Germany...
From Gödel's Lost Letter and P=NP
Discussion About Proving—Again
Deja Vu All Over Again—Yogi Berra Rich DeMillo is one of my greatest friends, colleagues, and terrific co-authors. He is currently fighting an illness, and we wish...
From Gödel's Lost Letter and P=NP
Blogs that are Current
Just because we can’t find a solution, it doesn’t mean there isn’t one—Andrew Wiles. Harry Lewis is the Gordon McKay Professor of Computer Science in Harvard’s...
From Gödel's Lost Letter and P=NP