Computational Complexity

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

Sunday, September 10, 2023

Asymptotics of R(4,k)- a new result!

›
 At the workshop  Ramsey Theory: Yesterday, Today, and Tomorrow, Edited by Alexander Soifer, 2011. (There is a printed proceedings that you ...
Wednesday, September 06, 2023

Books to Inspire Math

›
Two of my colleagues and co-authors from my early days at the University of Chicago have released books over the past few months designed to...
7 comments:
Sunday, September 03, 2023

The CONTRADICTION of Margaritaville and other songs

›
Jimmy Buffett passed away on Sept 1, 2023. His Wikipedia entry (see  here ) says his death was peaceful and he was surrounded by friends, fa...
9 comments:
Wednesday, August 30, 2023

What Makes a Constructive Proof?

›
In this weblog, we've used constructive in different ways. Often we talk about constructive as something we can create in polynomial tim...
15 comments:
Sunday, August 27, 2023

Theorems and Lemmas and Proofs, Oh My!

›
I was recently asked by a non-mathematician about the difference between the terms Theorem, Lemma, etc. My first reaction was I probably hav...
11 comments:
Thursday, August 24, 2023

Transcripts for the 21st Century

›
When I start a new academic job, I need to prove that I actually have a PhD. I have to log in my MIT alumni page, pay my $10 and they email ...
Monday, August 21, 2023

Why I have some sympathy for the Simulation Theory (We are all characters in a video game.)

›
There are some people who believe that we are all characters in a video game written by Abisola (this is sometimes called The   S i mulation...
30 comments:
Tuesday, August 15, 2023

Turning Sixty

›
I turn sixty today, spending my birthday reviewing a computer science department in Asia. Sixty is a good time to look back and reflect in a...
12 comments:
Wednesday, August 09, 2023

The Acting Professor

›
When I taught Programming for Engineers  at Northwestern in 2008, the textbook gave access to PowerPoint slides I could use to teach the cla...
2 comments:
Sunday, August 06, 2023

Permutable Primes and Compatible Primes

›
This post is about an open problems column by Gasarch-Gezalyn-Patrick so they can be considered co-authors on this post. The column is here ...
7 comments:
Wednesday, August 02, 2023

The College Visits

›
My wife's cousin and her daughter came and visited Chicago. The daughter, between junior and senior year of high school, is on the tail ...
4 comments:
Sunday, July 30, 2023

Another problem with CHATgpt

›
 I was giving a recruiting talk for my REU program and I had some slides with testimonials from students: ----------------------------------...
3 comments:
Wednesday, July 26, 2023

Paper Writing Before Overleaf

›
 A twitter question from a young researcher. Wait, how do paper writing collaborations work with LaTeX that doesn’t use overleaf? You need...
14 comments:
Saturday, July 22, 2023

"Never give AI the Nuclear Codes" Really? Have you seen Dr. Strangelove?

›
(I covered a simlar topic  here .)   In the June 2023 issue of The Atlantic is an article titled:                                     Never...
14 comments:
Wednesday, July 19, 2023

More on Pseudodeterminism

›
Back in May I posted about a paper that finds primes pseudodeterministically and Quanta magazine recently published a story on the result...
12 comments:
Sunday, July 16, 2023

Finding and answer to a math question: 1983 vs 2023.

›
In 1983, as a grad student, I knew that HALT \( \le_T \) KOLG but didn't know how to prove it. I asked around and A MONTH later through ...
10 comments:
Thursday, July 13, 2023

Whither Twitter

›
Twitter tells me it's my twitterversary, 15 years since I first started tweeting. Not sure I'll make it to sweet sixteen. No longer ...
4 comments:
Sunday, July 09, 2023

A further comment on Chernoff--- and the future of ....

›
Ravi Boppana recently did a guest blog on Chernoff turning 100 for us  here .  Consider this unpublished comment on that post:    ----------...
8 comments:
Wednesday, July 05, 2023

Automating Mathematicians

›
The New York Times published an article with the ominous title A.I. Is Coming for Mathematics, Too . We know by the work of Gödel and Turing...
Saturday, July 01, 2023

Chernoff Turns 100

›
Guest post by Ravi Boppana Herman Chernoff  celebrates a milestone today: he turns 100 years old.  We in theoretical computer science know...
‹
›
Home
View web version
Powered by Blogger.