SanguineEmpiricist comments on Open Thread, Jun. 8 - Jun. 14, 2015

[SanguineEmpiricist]

Bishop built real analysis constructively right? Jayne’s probability theory is from finite sets as well.