News for hackers. Stuff that matters.
Re:Lean 4.0.0, first official lean4 release by kristopolous on Friday September 08, 2023 @07:32PM (#37440579)
I had a chance to sleep on this and think it over.

I don't know who goes this deep in to these threads so this is mostly for myself.

My primary critique is from a lifelong love of mathematics. I actually hold a few fancy degrees in the subject.

I cannot stand however, power structures for the sake of power structures. The primary reason I left academia and broke away from the field is my, well, disgust really, with how, I believe willfully obtuse things are.

It's not so much how things are stated although there's problems there, it's the relationship dynamics, interactions, and style of expressions.

Before the rise of the term science, math was called a "natural philosophy" and I really have felt that the mathematics community, at least on the west coast, which is what I've experienced, has an accentuated form of the most off-putting characteristics of philosophy including a steadfast refusal and denial to acknowledge it.

I really think it makes what I consider a beautiful field of study to be hostile, insular and needlessly esoteric.

I still care a lot about it and I want it to be healthier and more open.

There are no comments on this comment yet.