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
Problems Better Than Solutions
Defining the problem often means more than solving it Avrim Blum is the CAO at TTIC who got his degrees at MIT and then was at CMU almost for 25 years: CAO is Chief...
From Gödel's Lost Letter and P=NP
Céad Míle GPT
The gift of Broadscale Linguistic Affinely Regressed Neurally Encoded Yakking By Simplified from “leprechaun robot” Neil L. is sentient. As a fantastical creature...
From Gödel's Lost Letter and P=NP
STACS 2023
The Symposium on Theoretical Aspects of Computer Science—STACS—will take place from 7th March to 9th March 2023 in Universitat Hamburg, Hamburg, Germany. It starts...
From Gödel's Lost Letter and P=NP
SODA 2023
Traces of strings, plus ways of tracing accepted papers Anindya De was at Northwestern University and is now at the University of Pennsylvania—see here. He was...
From Gödel's Lost Letter and P=NP
STOC 2023
STOC 2023 is the 55th Annual ACM Symposium on Theory of Computing. It will be held on June 20-23, 2023 in Orlando, Florida. Perhaps the best paper ever at STOC...
From Gödel's Lost Letter and P=NP
Thanks to Rich
Richard DeMillo deserves, in my opinion, an award for his decades of research. A difficulty I believe is that he has worked on multiple areas and made important...
From Gödel's Lost Letter and P=NP
Novel Proofs of the Infinitude of Primes
Can they inform computational complexity theory? Bill Gasarch and Christian Elsholtz both like primes and jokes and graphs and ways of sharing baked goods. Bill...
From Gödel's Lost Letter and P=NP
Are We Nuts?
Gil Kalai is one of the top researchers in the world in the area of combinatorics. His blog is one of the best in the universe. He also has some of the top results...
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