Lukasz Stafiniak

@lukstafi.bsky.social

327 Followers 1033 Following

Currently I'm an independent wannabe researcher working on Machine Learning and AI in OCaml.

12:45 Restate my assumptions. (a) The appropriate tool for the representation of scientific theories is mathematics. (b) The relationships between successive theories, and theories at different scales whether spatio-temporal or energetic, are often limiting relations and similarities of mathematical structure (formally captured by structure-preserving maps or morphisms of various kinds), rather than logical relations between propositions. (c) Theories, like Newtonian mechanics, can be literally false as fundamental physics, but still capture important modal structure and relations. (*) Therefore, there are patterns, everywhere in nature. (*) quote from Ladyman & Ross