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
Rabin-Scott Time
Nondeterminism—why did it take so long? 2010 interview src1, Society for Science src2 Michael Rabin and Dana Scott won the 1976 Turing Award. They obtained their...
From Gödel's Lost Letter and P=NP
Art as Math that Meets Crochet
Gabriele Meyer is a Senior Lecturer Emerita in the Department of Mathematics, at the University of Wisconsin. She creates beautiful art by crocheting mathematical...
From Gödel's Lost Letter and P=NP
Cargo Cult Redo
Richard Feynman during his 1974 commencement address at the California Institute of Technology coined the term cargo cult. The term was just used over at the blog...
From Gödel's Lost Letter and P=NP
Logicians are Everywhere
So where were they between 1720 and 1820? Helena Rasiowa was a famous logician from Poland. She visited Case Western Reserve University when I was an undergraduate...
From Gödel's Lost Letter and P=NP
The Gift of Nonconstructivity
Can we quantify “nonconstructive advantage”? Japan Times source Péter Frankl has been in the news again this year. The news is substantial partial progress on his...
From Gödel's Lost Letter and P=NP
A Mutation Carol 2
Ghosts of creations past and citations not present Domenico Amalfitano, Ana Paiva, Alexis Inquel, Luis Pinto, Anna Rita Fasolino, and René Just are the authors...
From Gödel's Lost Letter and P=NP
Thanks
Thanks to you all. I must explain why I have not been active in the last six months. I have had several illnesses. I had a broken hip that needed surgery I also...
From Gödel's Lost Letter and P=NP
Quantum Circuits in the New York Times
Can quantum circuits have something to do with wormholes? Wikipedia src Maria Spiropulu, a physicist at the California Institute of Technology, is featured in an...
From Gödel's Lost Letter and P=NP
Cheating at Chess—Not Again
Play the opening like a book, the middle game like a magician, and the end game like a machine — Rudolf Spielmann Kenneth Regan is my dear friend and co-writer...
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