Timeline for Mathematicians with both “very abstract” and “very applied” achievements
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 25, 2020 at 11:59 | comment | added | Goldstern | @AndreasBlass Agreed. It did not occur to me to mention Boolean-valued models as his most important result because (at least for me, and perhaps for my generation) they look so natural (dare I say obvious?). | |
| Jan 19, 2020 at 15:35 | comment | added | Andreas Blass | Although the Lebesgue-measure model is surely Solovay's best-known set-theoretic achievement, I (and I suspect also some other set theorists) consider his and Dana Scott's Boolean-valued models at least equally important. At a first-year grad student in spring of 1967, I audited a class by Tony Martin on independence results. Most of the course was based on Cohen's book, but at the very end Tony briefly described Boolean-valued models. I immediately thought "Oh, so that's what this semester has really been about!" | |
| Jan 19, 2020 at 15:29 | comment | added | Andreas Blass | @ErickWong Yes. And also the same as Solovay as the Solovay-Kitaev theorem. That theorem describes how uniformly a finite;y generated subgroup fills up $SU(2)$. That sounds very pure, but it has major implications in quantum computing (taking the subgroup's generators to be quantum operations for which good error-correction is available). | |
| Jan 7, 2020 at 3:03 | comment | added | Erick Wong | This is the same Solovay as the Solovay-Strassen primality test, is it not? | |
| S Jan 3, 2020 at 13:29 | history | answered | Goldstern | CC BY-SA 4.0 | |
| S Jan 3, 2020 at 13:29 | history | made wiki | Post Made Community Wiki by Goldstern |