Timeline for PCP theorem to check hard proofs
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 21, 2021 at 16:43 | comment | added | Timothy Chow | Just for the record, I stated a similar opinion on the Foundations of Mathematics mailing list back in January 2018. | |
| Apr 9, 2020 at 12:06 | comment | added | VS. | @none That is what I am thinking. | |
| Apr 9, 2020 at 0:28 | comment | added | none | Well, it would be enough to formalize Corollary 3.12 or just write up its proof in more detail ;). Note that the 40 million ¥ going to the new "center" is around 370K USD, which sounds like enough to support a part time professor plus a grad student or two for a few years, not exactly a sprawling research empire. Giving the IUTT project its own funding might even partly be to free it up from possible skepticism in the regular math program. | |
| Apr 8, 2020 at 21:37 | history | edited | Sam Hopkins | CC BY-SA 4.0 |
edited body
|
| Apr 8, 2020 at 19:50 | history | answered | Timothy Chow | CC BY-SA 4.0 |