Zulip Chat Archive

Stream: Zulip meta

Topic: offtopic math


view this post on Zulip Julian Berman (Jan 30 2021 at 15:12):

Is there a stream for math-with-no-real-intention-of-formalizing questions by any chance? Is the #maths stream used in that way?

view this post on Zulip Kevin Buzzard (Jan 30 2021 at 15:21):

There's always math.stackexchange :-) but I would imagine that if it was just a one-off people wouldn't object, after all you're a member of the community with a history of on-topic posts

view this post on Zulip Julian Berman (Jan 30 2021 at 15:23):

Ah true, I've never actually used math.stackexchange, my alternative was IRC's #math which doesn't tend to be helpful for the question I have.

view this post on Zulip Julian Berman (Jan 30 2021 at 15:23):

But thanks! Appreciated.

view this post on Zulip Johan Commelin (Jan 30 2021 at 15:23):

#maths is typically used for stuff related to formalizing, but I agree with Kevin that one-off's are fine (in my opinion)


Last updated: May 08 2021 at 21:09 UTC