This is embarrassing to admit but after a few badly timed trades on GameStop options I find myself a bit tight on money. To raise some cash, I reluctantly decided to sell one of my prized possessions, one of my theorems.
For Sale: Boolean formula satisfiability cannot be solved in both logarithmic space and quasilinear time. For a more formal and slightly more general statement and a proof, see this paper.
Bidding starts at 12 BTC (about $705,000).
The winning bid, upon verified payment, will receive:
- The ability to give the theorem the name of your choice such as your own name, your best friend's mother's name or "Teddy McTheoremface".
- A non-fungible token (NFT) attesting ownership of the theorem and the name you have chosen for it.
- Anyone citing this result will be required to note that you own it and use the name you chose above. You cannot, however, limit the use of the theorem or receive compensation for its use.
- By virtue of owning this theorem you will a Fortnow number of zero. This immediately gives you an Erdős number of 2. If you have previously written a paper with Paul Erdős then both of us will now have an Erdős number of 1.