Joshua Tindall
8
4
Joshua Tindall has not written any posts yet.
Joshua Tindall has not written any posts yet.
See also: population decline discourse
I agree that it's not impossible, but it's definitely very late in the cycle to start thinking about PhD applications, and the claim that it would be more helpful to make the case for a PhD to people earlier in the cycle seems totally reasonable to me
The scope is limited relative to what you seem to want, but I thought I might mention the book Theories of Distributive Justice by John Roemer. It walks through several popular philosophical approaches to distributive justice like utilitarianism, maximin principle, etc at a formal level, and discusses relevant results that have been proven about them. I've only leafed through it though, so I can't necessarily vouch for it, but you might want to check it out.
I agree with the criticisms of literal GOFAI here, but I can imagine a kind of pseudo-GOFAI agenda plausibly working here. Classical logic is probably hopeless for this for the reasons you outline (real-world fuzziness), but it still seems an open question whether there's some mathematical formalism with which you can reason about the input-output mapping.
I would gesture at dynamical systems analysis in RNNs, and circuit-based interpretability as the kinds of things that would enable this. For example, perhaps a model has learned to perform addition using a bag of heuristics, and you notice that there's a better set of heuristics that it didn't learn for path-dependent training reasons (e.g. clock and... (read more)