Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

I highly speculate that combinator SSS(SS)SS is not strongly normalizing. What is the argument for the non strong normalization?

share|improve this question
1  
Could you give some motivation for this? Why do you suspect it is not strongly normalizing? Also, why is this particular combinator interesting? –  Noah S May 7 '13 at 21:18
    
I suspect it is strongly normalizing because it reduces as follows (no room for that) This combinator is interesting because it is the smallest with is no SN. –  Pierre Lescanne May 9 '13 at 6:09
add comment

Know someone who can answer? Share a link to this question via email, Google+, Twitter, or Facebook.

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.