Hacker News Reader

I believe that compactness has a different meaning in topology than in logic btw (though my degree was so long ago now that I'm rusty on it all!).

I do find it implausible that you'd need the type of background that I had in logic back then, which included the type of stuff mentioned, for doing stuff in Lean though.

View on HN

That makes sense. You need no background in logic whatsoever to learn lean. For some reason that person was gate-keeping.

You need no background in anything to learn anything.

If you want to master it and use it effectively for something real, yeah some reading would help.

Reply on news.ycombinator.com