majikaja

Consider a function on R as an |R|-dimensional vector...

Yes I am aware of this one, it seems like a good intro.

I am just thinking more along the lines of - other than times where a computer is not available to us, why do we keep using traditional notion/pen and paper at all?

If everything is digitalized no one will have mark homework ever again.

This is cool

I guess intros based on the structure of mathlib could work for people who haven't published their own textbooks.

I think an important thing for something like Lean to gain traction is the availability of learning resources (math 'textbooks') based on the technology so people actually use it for day to day mathematics instead of just formalizing what has already been proven without it.

I don't think many people are going to read Rudin (etc.) then try to rewrite the book or do the exercises in Lean by themselves or read through the mathlib files to see how everything is defined/proved in full generality.

Like a lot of people (I imagine), I'm not a professional mathematician working on advanced, complex problems but I would like to have the ability to have the computer check my solutions to exercises and maybe even aid me with hints for tackling problems if needed.

If math textbooks gave free use for people to rewrite them into computer format and post online it would make life a lot easier.

If men don't want to be around women out of fear of being accused of something I think that should also be respected.

Funny I'm being downvoted for this comment when it's you engineers that created the social media and dating apps that contributed to this situation.

Standards changed, lots of people are too unattractive to marry now.

RSS Guard

Anyone know any guys making money from this site?

Maybe not the exact wording but the exact meaning...

Maybe the focus is cheaper junior devs?

If America doesn't do as Israel wants then Israel might side with another country.

And they know they'll be facing allegations themselves for helping to enable the situation.

>The next government might decide to turn him over to the ICC simply to get him off the political stage.

I thought it was the USA that makes these decisions