My love-hate relationship with forcingThere are 2 comments on this post.
Sep 10 2014, 08:27
Forcing is great. Forcing is an amazing method. If you can think about it, then you can probably force to make it happen. All it requires is some creativity and rudimentary understanding of the objects that you are working with.
Forcing is horrible. If you can think about it, you can encode it into generic objects. If you can't think about it, you can encode it into generic objects. If you think that you can't encode it into generic objects, then you are probably wrong, and you can still encode it into generic objects.
It gets even worse when talking about names and their properties. On the one hand, forcing is awesome. It allows us to talk with relative certainty about objects "in the next world", and that is great. On the other hand, forcing is horrible, because when you really want to talk about the objects, you can't because they don't exist, only by name. Until some generic deity breathes life into them in the form of interpretation.
But then again, you can still encode all those crazy ideas into these names. How awesful is that?