I suppose what I was doing is attempting a half-baked analogy: Kinetics:kinematics::intuitionistic logic:classical logic [or: Kinetics:kinematics :: brouwer:hilbert Hilbert is far more useful; kinematics is also far more useful; how objects move, but there’s a place for intuitionistic logic just as there’s a place for kinetics (in chemistry it’s very useful, although it may someday be replaced by quantum chemistry. There _is_ quantum kinetics (I’ve looked) but it’s a specialty field within semiconductors.

I suppose what I was doing is attempting a half-baked analogy:

Kinetics:kinematics::intuitionistic logic:classical logic

[or: Kinetics:kinematics :: brouwer:hilbert

Hilbert is far more useful; kinematics is also far more useful; how objects move, but there’s a place for intuitionistic logic just as there’s a place for kinetics (in chemistry it’s very useful, although it may someday be replaced by quantum chemistry. There _is_ quantum kinetics (I’ve looked) but it’s a specialty field within semiconductors.

Leave a comment

Your email address will not be published. Required fields are marked *


eight + = 9

Leave a Reply