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
The Graph of Ancestors
Is there an “Implex Method” in complexity theory? Wikipedia src Bill Wyman was the bass guitarist of the Rolling Stones until 1993. He married Mandy Smith in 1989...
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
An Ozone Hole in Logic
Set Theory proved to be perpetually paradoxigenic… Poem and analysis src Mr. Apollinax might have made a good escort for Lofa Polir, had she lived a hundred years...
From Gödel's Lost Letter and P=NP
The 2021 Turing Award
If a machine is expected to be infallible, it cannot also be intelligent.—Alan Turing Jack Dongarra has just won the 2021 Turing Award. Congrats to him. Dongarra...
From Gödel's Lost Letter and P=NP
Waiting For Self-Deriving Cars
Once you trust a self-driving car with your life, you pretty much will trust Artificial Intelligence with anything—Dave Waters. ITProToday src Keith Kirkpatrick...
From Gödel's Lost Letter and P=NP
Meta Wishes
When faced with two choices, simply toss a coin. It works because in that brief moment when the coin is in the air, you suddenly know what you are hoping for. Neil...
From Gödel's Lost Letter and P=NP
Are These the Last Digits of Pi?
Ghoulish reflections on whether mathematics is emergent Composite of src1, src2 Thomas Keller and Heiko Rölke led a team at the University of Applied Sciences in...
From Gödel's Lost Letter and P=NP
Inequalities on the Gridiron
Q: Why are Buffalo Bills unlike Dollar Bills? A: Dollar Bills are good for 4 quarters Reddit “outsmarting math” source Josh Allen is not appearing in today’s Super...
From Gödel's Lost Letter and P=NP
National Academy of Engineering Elects
The problem in this business isn’t to keep people from stealing your ideas; it’s making them steal your ideas!—Howard Aiken Composite crop of homepage photos Taher...
From Gödel's Lost Letter and P=NP
Bill Gasarch Also 1,000
Another theory of computing blogging milestone 2016 Gathering For Gardner lecture William Gasarch turned 1,000 earlier this month. Or in October, depending on how...
From Gödel's Lost Letter and P=NP
A List of Most Theory Blogs
The list doesn’t destroy culture; it creates it. Wherever you look in cultural history, you will find lists—Umberto Eco Luca Trevisan, Stefan Schmid, James Lee,...
From Gödel's Lost Letter and P=NP
Cheating In Chess
Colonel Stok: Do you play chess? Harry Palmer: Yes, but I prefer a game with a better chance of cheating.—Funeral in Berlin Ken Regan is well known to us all, and...
From Gödel's Lost Letter and P=NP
Zoom Workshop E-Minder: 4pm ET Today
And a place to look for fallback info in case things go wrong This is a deviation from the “blog invariants” that were maintained for 1,000 posts. We’ll be happy...
From Gödel's Lost Letter and P=NP
Happy 1,000th Post and 75th Birthday, Dick
Plus an open Zoom mini-workshop Monday 1/17, 4–5:30pm ET From Rich DeMillo Richard Lipton founded this blog 1,000 posts ago. He was not quite as young as in the...
From Gödel's Lost Letter and P=NP
Quantum Graph Theory
More ways quantum can invigorate “classical” research Composite crop of src1, src2, src3 Axel Dahlberg, Jonas Helsen, and Stephanie Wehner are researchers from...
From Gödel's Lost Letter and P=NP
Favorite Theorems of the Next Ten Years
The best way to predict the future is to create it—Abraham Lincoln 2016 memorial by David Bailey Jonathan Borwein passed away a few years ago. He had been one of...
From Gödel's Lost Letter and P=NP
The New Journal
Publish and be damned!—attributed to the Duke of Wellington after a blackmail over memoirs Seminar src Paul Beame is a Professor in the Department of Computer Science...
From Gödel's Lost Letter and P=NP
Best To Dean Mynatt
Plus updates on gender disparity, equity, and POPL 2022 IPaT page Beth Mynatt is heading north to become the new Dean of Computer Science at Northeastern University...
From Gödel's Lost Letter and P=NP
POPL 2022—Et Tu, Brute?
Some things just cannot wait. Men must stand up now for women’s equality— Rick Goings Kathleen Booth, Cicely Popplewell, Grace Hopper, and Jean Sammet were four...
From Gödel's Lost Letter and P=NP