Talk:Deolalikar P vs NP paper: Difference between revisions
From Polymath Wiki
Jump to navigationJump to search
Dfruzzetti (talk | contribs) a question supporting anuj dawar's concerns |
Dfruzzetti (talk | contribs) No edit summary |
||
| Line 1: | Line 1: | ||
I think Dr. Dawar's concern regarding non-order-invariance of individual stages of the LFP formula is the biggest issue here; because the formula itself is order-invariant does not entitle us to wish that its stages are; this includes a (necessarily) non-operation-preserving mapping to its successor, if I am truly able to read math at this level. My question is: can a method be found to show mutual congruence of some or all differently-ordered LFP stages, or at least to show equivalence wrt LFP? | I think Dr. Dawar's concern regarding non-order-invariance of individual stages of the LFP formula is the biggest issue here; because the formula itself is order-invariant does not entitle us to wish that its stages are; this includes a (necessarily) non-operation-preserving mapping to its successor, if I am truly able to read math at this level. My question is: can a method be found to show mutual congruence of some or all differently-ordered LFP stages, or at least to show equivalence wrt LFP? [[User:Dfruzzetti|Dfruzzetti]] 17:44, 20 August 2010 (UTC) | ||
Latest revision as of 10:44, 20 August 2010
I think Dr. Dawar's concern regarding non-order-invariance of individual stages of the LFP formula is the biggest issue here; because the formula itself is order-invariant does not entitle us to wish that its stages are; this includes a (necessarily) non-operation-preserving mapping to its successor, if I am truly able to read math at this level. My question is: can a method be found to show mutual congruence of some or all differently-ordered LFP stages, or at least to show equivalence wrt LFP? Dfruzzetti 17:44, 20 August 2010 (UTC)
