2 events
when toggle format what by license comment
May 5 '21 at 16:57 comment added Joshua Grochow "create a secure base for mathematics out of nothing - that would be an indefensible position" - I agree. I thought historically this was precisely the position that Hilbert, Russell, Frege, etc. were aiming for. Do you know this aspect of the history?
May 5 '21 at 14:11 history answered Andrej Bauer CC BY-SA 4.0