Full threadjamespropp·Richard Dedekind didn't just invent Dedekind cuts (and rings and ideals); he gave us a new way to think about (or avoid thinking about) the ultimate nature of mathematical reality.View on HN