Oh, No, it just got worse. Please, Somebody stop me...
Well, Khun liked to liken (lichen?) Paradigms to a scientific therory. Now, in computation, we often think of a theory t as a closure of a set of axioms under First Order or Natural Deduction or Integer Arith (or, if you wana get wiggy wit' it, any grammer will do).
Now, we can actually look at that as a computer.... so taxioms under a grammer g is computer: txgc
So it really is the case that not all paradigms will shift... Or at least you can't compute when/if they will if their grammer is as rich as FOL and it contains meta statements (can you get that bus through yet?).
God, I love dishonesty with formalism.
Davin L.