← Feed

Posts

• Post #3054906

  RE: https://mathstodon.xyz/@paysmaths/116641712582065054 At a high level, with Newtonian mechanics, this seems true. But it seems less true nowadays than in his time. As you dig into things the #math gets more and more complicated and you need more and more laws - some of which don't seem to be so "immutable" (quantum v relativistic physics)

• Post #3054905

  RE: https://mastodon.social/@winbuzzer/116640379007256611 This is interesting, and basically the idea I had when I went through a phase of interest in formal proof checkers (in those days it was Coq, not Lean, and some interesring outsiders like Naproche) But of course at that time there was no such thing as LLMs which could guide the formal proof. I can imagine though that there will be a somewhat low ceiling to this kind of approach.

• Post #2109961

  Ahhh a good bit of clickbait to get everyone enraged! https://www.scientificamerican.com/article/why-some-mathematicians-think-we-should-abandon-pi/ Which constant do you prefer to use? #math #mathematics #pi