I guess you could also try to use the Church-Turing teorem in a claim that no instruction level patent are enforceable, since they are all equivalent... But th

I guess you could also try to use the Church-Turing teorem in a claim that no instruction level patent are enforceable, since they are all equivalent... But this is logic bordering to philosophy, which isn't exactly what the courts love to argue about. They look at intents and damages. My guess is that a simple 'I sell X using my patents, they also sell X but are not paying" is vastly more likely to succeed. "But, but, Church-Turing" will just piss them off.