Surprisingly, this echoes to me a recent thought: “frames blind us”; it comes to mind when I think of how traditional agent models (RL, game theory...) blinded us for years to their implicit assumption of no embeddedness. As with non-Euclidean shift, the change has come from relaxing the assumptions. This post seems to complete your good old Traps of Formalization. Maybe it’s a hegelian dialectic: I) intuition domination (system 1) II) formalization domination (system 2) III) modulable formalization (improved system 1/cautious system 2) Deconfusion is reached only when one is able to go from I to III.
That definitely feels right, with a caveat that is dear to Bachelard: this is a constant process of rectification that repeats again and again. There is no ending, or the ending is harder to find that what we think.
Surprisingly, this echoes to me a recent thought: “frames blind us”; it comes to mind when I think of how traditional agent models (RL, game theory...) blinded us for years to their implicit assumption of no embeddedness. As with non-Euclidean shift, the change has come from relaxing the assumptions.
This post seems to complete your good old Traps of Formalization. Maybe it’s a hegelian dialectic:
I) intuition domination (system 1)
II) formalization domination (system 2)
III) modulable formalization (improved system 1/cautious system 2)
Deconfusion is reached only when one is able to go from I to III.
See also Terry Tao on three levels of mathematical understanding.
That definitely feels right, with a caveat that is dear to Bachelard: this is a constant process of rectification that repeats again and again. There is no ending, or the ending is harder to find that what we think.
Most things are embedded, so it’s the right assumption to choose, if you have to choose one.
Agreed. It’s the opposite assumption (aka no embeddedness) for which I wrote this; fixed.