2024-11-21 |
For what d is the following true: For all 2-colorings of (R^d) has a mono unit square (Answering(?) the Question) |
gasarch |
|
2024-11-18 |
For what d is the following true: for all 2-colorings of (R^d) there is a mono unit square (Asking the Question) |
gasarch |
|
2024-11-15 |
Favorite Theorems: Learning from Natural Proofs |
Lance Fortnow |
|
2024-11-11 |
Steven Rudich (1961-2024) |
Lance Fortnow |
|
2024-11-07 |
Higher Education Under Trump |
Lance Fortnow |
|
2024-11-04 |
A new Mersenne Prime Has Been Found. When will we find the next one? |
gasarch |
|
2024-10-30 |
FOCS 2024 |
Lance Fortnow |
|
2024-10-28 |
Random Thoughts on the Election |
gasarch |
|
2024-10-23 |
Family Feud vs Pointless |
Lance Fortnow |
|
2024-10-21 |
Contrast an Episode of Columbo with the recent Nobel Prizes |
gasarch |
|
2024-10-16 |
Computing and the Nobels |
Lance Fortnow |
|
2024-10-14 |
A Trip Down Memory Lane: Desc comp, Constant Round Sorting, Division Breakthrough, Derandomization. |
gasarch |
|
2024-10-09 |
Fall Jobs Post 2024 |
Lance Fortnow |
|
2024-10-07 |
Emil Post Anticipated (more than anticipated) Godel and Turing |
gasarch |
|
2024-10-02 |
Favorite Theorems: Gradient Descent |
Lance Fortnow |
|
2024-09-30 |
Progress on R(5). Will there be more? |
gasarch |
|
2024-09-26 |
LeetCode and AI |
Lance Fortnow |
|
2024-09-24 |
I thought I knew what pizza was... |
gasarch |
|
2024-09-19 |
Embracing the Future of Manufacturing |
Lance Fortnow |
|
2024-09-16 |
How will chatGPT affect Homework? |
gasarch |
|
2024-09-11 |
Natural Proofs is Not the Barrier You Think It Is |
Lance Fortnow |
|
2024-09-09 |
Very few problems are in NP intersect coNP but not known to be in P. What to make of that? |
gasarch |
|
2024-09-04 |
Favorite Theorems: Parity Games |
Lance Fortnow |
|
2024-09-02 |
Six degrees of separation has been proven. Really? |
gasarch |
|
2024-08-29 |
My Quantum Summer |
Lance Fortnow |
|
2024-08-27 |
Whats worse for a company: being hacked or having technical difficulties? I would have thought being hacked but... |
gasarch |
|
2024-08-21 |
The Levin Translation |
Lance Fortnow |
|
2024-08-19 |
Request open problems in honor of Luca Trevisan |
gasarch |
|
2024-08-14 |
Favorite Theorems: Random Oracles |
Lance Fortnow |
|
2024-08-11 |
The combinatorics of Game Shows |
gasarch |
|
2024-08-05 |
Determing which math problems are hard is a hard problem |
gasarch |
|
2024-07-28 |
In the future we will all have songs written about us, and it will be Lance's fault. |
gasarch |
|
2024-07-24 |
Complexity in Michigan |
Lance Fortnow |
|
2024-07-21 |
FLT solution annouement had its 31's anniv was about a month ago. Some poems about FLT NOT from ChatGPT |
gasarch |
|
2024-07-18 |
The Story of Shor's Algorithm |
Lance Fortnow |
|
2024-07-15 |
The Term Quantum Being Misused ... Again |
gasarch |
|
2024-07-10 |
Favorite Theorems: Extracting Ramsey Graphs |
Lance Fortnow |
|
2024-07-08 |
The combinatorics of picking a Vice President |
gasarch |
|
2024-07-03 |
Why is called the Turing Award (revisited)? |
Lance Fortnow |
|
2024-07-01 |
Technology: 1966, 2006, 2023. |
gasarch |
|
2024-06-26 |
E versus EXP |
Lance Fortnow |
|
2024-06-24 |
Soliciting open problems in honore of Luca T for my Open Problems Column |
gasarch |
|
2024-06-20 |
Luca Trevisan (1971-2024) |
Lance Fortnow |
|
2024-06-19 |
Rethinking Heuristica |
Lance Fortnow |
|
2024-06-17 |
Should Prover and Verifier have been Pat and Vanna? |
gasarch |
|
2024-06-13 |
Favorite Theorems: Algebraic Circuits |
Lance Fortnow |
|
2024-06-10 |
CFG-Kolm-complexity is singleton sets with Lance and Bill |
gasarch |
|
2024-06-06 |
The Godzilla Moment |
Lance Fortnow |
|
2024-06-04 |
FOCS 2024 Test of Time Award. Call for nominations and my opinion |
gasarch |
|
2024-05-29 |
Double Digit Delights |
Lance Fortnow |
|
2024-05-27 |
National BBQ day vs World Quantum Day |
gasarch |
|
2024-05-23 |
Peer Review |
Lance Fortnow |
|
2024-05-20 |
I don't do that well when the Jeopardy category is Math |
gasarch |
|
2024-05-15 |
Jim Simons (1938-2024) |
Lance Fortnow |
|
2024-05-12 |
What is Closed Form? The Horse Numbers are an illustration |
gasarch |
|
2024-05-09 |
Favorite Theorems: Dichotomy |
Lance Fortnow |
|
2024-05-06 |
May the fourth be with you. Too many -days? |
gasarch |
|
2024-05-02 |
Our Obsession with Proofs |
Lance Fortnow |
|
2024-04-29 |
Math Thoughts Inspired by the TV show Succession |
gasarch |
|
2024-04-25 |
Is Persistence an Anachronism? |
Lance Fortnow |
|
2024-04-22 |
Intelligent Comments on Bill's G.H. Hardy/Avi W post that we did not post. |
gasarch |
|
2024-04-18 |
Favorite Theorems: Quantum Provers |
Lance Fortnow |
|
2024-04-15 |
Avi Wigderson is a counterexample to TWO stupid thoughts of G.H. Hardy |
gasarch |
|
2024-04-11 |
Avi wins the Turing Award |
Lance Fortnow |
|
2024-04-09 |
Rance Cleaveland passed away on March 27, 2024. He will be missed |
gasarch |
|
2024-04-03 |
Answer to Question. MetaQuestion remains unsolved |
gasarch |
|
2024-04-02 |
A Math Question and a Meta Question |
gasarch |
|
2024-03-27 |
The Softening of Computing Jobs: Blip or Trend? |
Lance Fortnow |
|
2024-03-25 |
I know what A-B-C-D-F mean but what about V? X? HP? |
gasarch |
|
2023-09-04 |
The CONTRADICTION of Margaritaville and other songs |
gasarch |
|
2023-08-31 |
What Makes a Constructive Proof? |
Lance Fortnow |
|
2023-08-28 |
Theorems and Lemmas and Proofs, Oh My! |
gasarch |
|
2023-08-24 |
Transcripts for the 21st Century |
Lance Fortnow |
|
2023-08-22 |
Why I have some sympathy for the Simulation Theory (We are all characters in a video game.) |
gasarch |
|
2023-08-15 |
Turning Sixty |
Lance Fortnow |
|
2023-08-10 |
The Acting Professor |
Lance Fortnow |
|
2023-08-07 |
Permutable Primes and Compatible Primes |
gasarch |
|
2023-08-02 |
The College Visits |
Lance Fortnow |
|
2023-07-31 |
Another problem with CHATgpt |
gasarch |
|
2023-07-27 |
Paper Writing Before Overleaf |
Lance Fortnow |
|
2023-07-23 |
"Never give AI the Nuclear Codes" Really? Have you seen Dr. Strangelove? |
gasarch |
|
2023-07-19 |
More on Pseudodeterminism |
Lance Fortnow |
|
2023-07-17 |
Finding and answer to a math question: 1983 vs 2023. |
gasarch |
|
2023-07-13 |
Whither Twitter |
Lance Fortnow |
|
2023-07-10 |
A further comment on Chernoff--- and the future of .... |
gasarch |
|
2023-07-05 |
Automating Mathematicians |
Lance Fortnow |
|
2023-07-01 |
Chernoff Turns 100 |
Lance Fortnow |
|
2023-06-24 |
Can you put n pennies on an n x n chessboard so that all of the distances are distinct/how to look that up? |
gasarch |
|
2023-06-23 |
Don't Negotiate with Logic |
Lance Fortnow |
|
2023-06-18 |
Ted Kaczynski was at one time the worlds most famous living mathematician |
gasarch |
|
2023-06-16 |
Randomized Acceptances |
Lance Fortnow |
|
2023-06-10 |
Posting a book online with a password- that you broadcast. |
gasarch |
|
2023-06-05 |
Quantifiers: To Parenthesize or not to Parenthesize? Matrix of Formula: To Bracket or not to Bracket? |
gasarch |
|
2023-05-29 |
On Nov 10, 2014 the TV show Scorpion mentions Software that is like ChatGPT for Music |
gasarch |
|
2023-05-25 |
Finding Primes Pseudodeterministically |
Lance Fortnow |
|
2023-05-21 |
Logic and lack of Logic of Anti Vaxers |
gasarch |
|
2023-05-18 |
Community Guidelines that Ignore History |
Lance Fortnow |
|
2023-05-15 |
Take a number and map it to the number of letters in its name |
gasarch |
|
2023-05-11 |
Winter is Coming |
Lance Fortnow |
|
2023-05-09 |
Other Ramsey's |
gasarch |
|