Timeline for Explicit computations using the Haar measure
Current License: CC BY-SA 4.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 26, 2020 at 13:30 | comment | added | LSpice | Isn't Halmos's proof (essentially counting how many translates of a given open it takes to cover a compact) pretty constructive? I guess that here the precise meaning of 'constructive' might overcome any intuition about what is or isn't constructive. | |
| Jul 26, 2020 at 12:49 | history | answered | Arno | CC BY-SA 4.0 |