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
FOCS 2022 Program
Alvy Ray Smith designed the distinctive cover art that was a notable feature of FOCS proceedings until FOCS ended the production of printed proceedings in 2010....
From Gödel's Lost Letter and P=NP
Back From A Vacation
I am just back from a multi-week vacation on the cruise ship the Voyager. My dear wife—Kathryn Farley—and I were on the trip together with her brother. It was wonderful...
From Gödel's Lost Letter and P=NP
Artificial Intelligence Just Lost a Leader
Roger Schank just passed away. Roger was a top leader of AI. I overlapped with him for my time at Yale. In 1974, he became a professor of computer science and psychology...
From Gödel's Lost Letter and P=NP
Why Study Logic?
Before and after it is mechanized… Peter Andrews is a Professor of Mathematics, Emeritus at Carnegie Mellon University (CMU) in Pittsburgh, Pennsylvania. He has...
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