display all the ideas for this combination of texts
3 ideas
9618 | Bolzano wanted to reduce all of geometry to arithmetic [Bolzano, by Brown,JR] |
9830 | Bolzano began the elimination of intuition, by proving something which seemed obvious [Bolzano, by Dummett] |
22293 | Hilbert said (to block paradoxes) that mathematical existence is entailed by consistency [Hilbert, by Potter] |