Refine your search:

From Gödel's Lost Letter and P=NP
#### Cleverer Automata Exist

A breakthrough on the separating words problem Zachary Chase is a graduate student of Ben Green at Oxford. Chase has already solved a number of interesting problems...

From Gödel's Lost Letter and P=NP
#### A Brilliant Book on Combinatorics

And Razborov’s brilliant proof method Stasys Jukna is the author of the book Extremal Combinatorics With Applications in Computer Science. Today we talk about Jukna...

From Gödel's Lost Letter and P=NP
#### Ron Graham, 1935–2020

Ron Graham passed away, but he lives on… Cropped from tribute by Tom Leighton Ron Graham just passed away Monday at the age of in La Jolla near UCSD. Today Ken...

From Gödel's Lost Letter and P=NP
#### Intellectual Fireworks?

Some different ideas for marking the Fourth “Founding Frenemies” source John Adams and Thomas Jefferson did not use Zoom. Their correspondence, from 1777 up to...

From Gödel's Lost Letter and P=NP
#### Some Real and Some Virtual News

Gossip and more. Composite of , src1, src3 Jessica Deters, Izabel Aguiar, and Jacqueline Feuerborn are the authors of the paper, “The Mathematics of Gossip.” They...

From Gödel's Lost Letter and P=NP
#### P

Some thoughts on P versus NP Norbert Blum is a computer science theorist at the University of Bonn, Germany. He has made important contributions to theory over...

From Gödel's Lost Letter and P=NP
#### Proof Checking: Not Line by Line

Proofs and perpetual motion machines Leonardo da Vinci is, of course, famous for his paintings and drawings, but was also interested in inventions, and in various...

From Gödel's Lost Letter and P=NP
#### The Truth

What is the truth? Alfred Whitehead was a logician and philosopher, who had a student of some note. The student was Bertrand Russell and together they wrote the...

From Gödel's Lost Letter and P=NP
#### Just Arvind

Theory and practice [ MIT ] Arvind Mithal—almost always referred to as Arvind—is now the head of the faculty of computer science at a Boston trade school. The school...

From Gödel's Lost Letter and P=NP
#### Proof of the Diagonal Lemma in Logic

Why is the proof so short yet so difficult? Saeed Salehi is a logician at the University of Tabriz in Iran. Three years ago he gave a presentation at a Moscow workshop...

From Gödel's Lost Letter and P=NP
#### Math Tells

How to tell what part of math you are from Gerolamo Cardano is often credited with introducing the notion of complex numbers. In 1545, he wrote a book titled Ars...

From Gödel's Lost Letter and P=NP
#### The 2020 Y Prize

Can one maintain privacy while publicly congratulating? X Facemask src X, who shall go nameless here, recently won a prize for research. Today we congratulate X...

From Gödel's Lost Letter and P=NP
#### Consistency and P=NP

Can we at least show that is consistent? [ From personal page ] Jan Krajicek is an expert on linking computational complexity and mathematical logic. He has authored...

From Gödel's Lost Letter and P=NP
#### Mathematics of COVID-19

Its not just [ Sir Francis Galton by Charles Wellington Furse ] Francis Galton is a perfect example of a Victorian era scientist. Sir Galton, he was knighted in...

From Gödel's Lost Letter and P=NP
#### Time For Some Jokes

Can we still smile? [ Hardy and Littlewood] John Littlewood lived through the 1918–1919 flu pandemic, yet he appears not to have remarked on it in print. Nor can...

From Gödel's Lost Letter and P=NP
#### Proof and Cake Envy

Our proofs can be big too [Mackenzie and Aziz] Haris Aziz and Simon Mackenzie are computer scientists at UNSW and CMU respectively. Of course UNSW is the University...

From Gödel's Lost Letter and P=NP
#### John Horton Conway 1937–2020

An appreciation Names for large numbers source John Horton Conway just passed away from complications of COVID-19. We are all saddened by this news, and we hope...

From Gödel's Lost Letter and P=NP
#### Nina Balcan Wins

Congrads and More [ CMU ] Nina Balcan is a leading researcher in the theory of machine learning. Nina is at Carnegie-Mellon and was previously at Georgia Tech—it...

From Gödel's Lost Letter and P=NP
#### Not As Easy As ABC

Is the claimed proof of the ABC conjecture correct? [ Photo courtesy of Kyodo University ] Shinichi Mochizuki is about to have his proof of the ABC conjecture published...

From Gödel's Lost Letter and P=NP
#### Leprechauns Stay Home

Stay safe, everyone Cropped from Floss Dance source Neil L. is a Leprechaun. He has visited me once every year since I started GLL. I had never seen a leprechaun...