Computational Complexity

Computational Complexity and other fun stuff in math and computer science from Lance Fortnow and Bill Gasarch

Wednesday, March 25, 2026

My Oxford Term

›
High table dinner at Magdalen My time in Oxford has come to an end and I head back to Chicago this week. I was a visiting Fellow at Magdalen...
3 comments:
Sunday, March 22, 2026

A $100 gift card could be legit. A $1000 is obviously a Scam. What should scammers do?

›
 If I get an email offering me a $1000 for I DON"T KNOW SINCE  I ignore it and don't even bother looking for other signs it is a sc...
6 comments:
Wednesday, March 18, 2026

Bennett and Brassard Win the Turing Award

›
Gilles Brassard and Charlie Bennett Charlie Bennett and Gilles Brassard will receive the 2025 ACM Turing Award  for their work on the founda...
8 comments:
Sunday, March 15, 2026

For \(R^3\) the problem is open. That's too bad. We live in \(R^3\)

›
(If you live in Montgomery County Maryland OR if you care about Education, you MUST read this guest blog by Daniel Gottesman on Scott Aarons...
Tuesday, March 10, 2026

Tony Hoare (1934-2026)

›
Turing Award winner and former Oxford professor  Tony Hoare passed away last Thursday at the age of 92. Hoare is famous for quicksort, ALGO...
52 comments:
Sunday, March 08, 2026

How does AI do on Baseball-Brothers-Pitchers

›
In my graduate Ramsey Theory class I taught Kruskal's tree theorem (KTT) which was proven by Joe Kruskal in his PhD thesis in 1960.  (Sh...
6 comments:
Wednesday, March 04, 2026

The Purpose of Proofs

›
In discussions of AI and Mathematics, the discussion often goes to mathematical proofs, such as the the  First Proof  challenge. So let'...
7 comments:
Sunday, March 01, 2026

Goodhart's law: Ken Jennings and Types of Knowledge

›
Goodhart's law :  When a measure becomes a target, it stops being a measure.    I was watching the show Masterminds where Ken Jennings i...
6 comments:
›
Home
View web version
Powered by Blogger.