6
votes
3answers
350 views

Signal Processing reference for pure mathematician

Before giving a more detailed question below, the basic one is: can anyone recommend a good signal-processing reference which would be maximally readable by a pure mathematician (who nevertheless ...
4
votes
1answer
443 views

Non-trivial consequences of Lob's theorem

Informally, Löb's theorem (Wikipedia, PlanetMath) shows that: a mathematical system cannot assert its own soundness without becoming inconsistent [Yudkowsky] In symbols: if $PA\vdash$ ...
12
votes
3answers
796 views

Applications of and motivation for von Neumann's mean ergodic theorem

I stated von Neumann's mean ergodic theorem (VNMET) in a talk recently and someone in the audience asked what it was good for. The only application I knew of VNMET was to prove Birkhoff's ergodic ...
3
votes
3answers
1k views

Why are divisible abelian groups important?

I just quote wikipedia: "Divisible groups are important in understanding the structure of abelian groups, especially because they are the injective abelian groups." I am asking for detail ...