Zulip Chat Archive

Stream: new members

Topic: Olive


Kevin Buzzard (Oct 03 2021 at 15:43):

Curses! My design decision to cripple rw certainly sometimes causes confusion but people didn't see how confused my undergraduates were when rw randomly closed goals like x+0=x. I made a deliberate decision not to teach the concept of definitional equality and unfortunately this is the collateral damage.


Last updated: Dec 20 2023 at 11:08 UTC