Very cute argument, and very much in his style--he was famous, as the author notes, for heuristic arguments that weren't very formalizable but had a lot of beauty.
One story I heard is that a computer scientist tried to explain the P=NP? problem to him; Feymnan couldn't understand why this was a problem. It was obviously true that P != NP, what even needed proving?
Per "Surely You're Joking" and the article, one of the cognitive techniques Feynman used was to keep a physical example, a demo, in his mind that conformed to the math being explained. I wonder if he used that for this, and what his model was.
NP is most certainly not "trivially definitionally not equivalent (equal) to P". (Do you think everyone puzzling over the question of whether P = NP is a moron? You are aware there is a million dollar prize for a proof one way or the other, yes?). What definition are you using for NP?
It's true I did not understand you were joking, but I didn't personally malign you either. If you are referring to the word "moron", I didn't call you a moron; I was shocked that you thought P vs. NP was so trivial, and asked whether you therefore thought everyone puzzling over it was a moron.
As for whether "the physical model of P != NP is definitionally trivial", I suppose it depends on what "the physical model" is, but I don't see any physical reason why it should trivially be impossible to decide the Boolean satisfiability problem in polynomial time... Why shouldn't there be some algorithm to do so?
I didn't malign others, either, as I didn't call anyone a moron... Yes, it's true I implied that you might think that others who puzzled over P vs. NP were morons. I was, after all, laboring under the belief that you thought P vs. NP was trivial. Is that a malignment?
Anyway. Nevermind that. Feynman joked that P was trivially not equal to NP? Where can I find that joke given by Feynman?
I presume you mean the idea of physical examples in general comes up in "Surely You're Joking"; I can't find any discussion of P vs. NP (or Fermat's Last Theorem, for that matter) within it.
As for why Feynman didn't publish a full(er) proof: a full(er) proof of what? He didn't have anything near a proof of P != NP or of Fermat's Last Theorem... There was nothing of the sort to publish.
Oh, my question was more in the vein of "Obviously the standard notation doesn't make sense here. I assume you are not an idiot, so you must have meant something else."
Alas, jokes and sarcasm don't travel well over text. One of the reasons they are frowned upon in the HN guidelines.
One story I heard is that a computer scientist tried to explain the P=NP? problem to him; Feymnan couldn't understand why this was a problem. It was obviously true that P != NP, what even needed proving?