/sci/ - Science & Math

>>9402657
It's possible, but you'd have to give up the idea that your objects of study (individuals, societies, countries etc.) satisfy immutable "true" laws. Instead you'd describe them as processes that mutate the state of the world, and formalize laws that syntactically "represent" (more precisely: are isomorphic to) their observed "soft" behaviour. Church-Turing and all that.

>>9349418
>All seemed to want to infect the question with their pesky = sign.

Looks like you need some homotopy type theory.

>>9283080
From what I have heard he is very comfy to spend time with, shame he retired in 2009, would be pretty nice to have him as an advisor and be one person away from Kolmogorov