Timeline for Analogues of P vs. NP in the history of mathematics
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 9 at 13:49 | comment | added | Timothy Chow | So the paper is Tomek Bartoszyński, Additivity of measure implies additivity of category, Transactions of the American Mathematical Society 281 (1984), no. 1, 209–213. | |
| Aug 21 at 4:00 | history | edited | C7X | CC BY-SA 4.0 |
Might confuse someone who misreads it as a counterexample to CH being found
|
| Feb 7, 2020 at 13:16 | comment | added | Andreas Blass | Thanks for the link. Actually, the paper I had in mind is Bartoszynski's 1984 paper listed as item 1 in the bibliography of the paper you linked to. | |
| Feb 7, 2020 at 4:06 | comment | added | Timothy Chow | @AndreasBlass : Interesting. I assume that you're referring to the paper After all, there are some inequalities which are provable in ZFC? | |
| Feb 7, 2020 at 2:28 | comment | added | Andreas Blass | The "rule of thumb" about "easy to prove or independent" is indeed often good, but there are older counterexamples than $\mathfrak p=\mathfrak t$. I'm thinking particularly of Bartoszynki's inequality comparing the additivities of Lebesgue measure and Baire category. It's a theorem of ZFC but not an easy one, and it ran counter to the previously prevailing wisdom (as in Oxtoby's book) that measure and category should be very similar. | |
| S Feb 6, 2020 at 23:23 | history | answered | Timothy Chow | CC BY-SA 4.0 | |
| S Feb 6, 2020 at 23:23 | history | made wiki | Post Made Community Wiki by Timothy Chow |