谁将Kite引入雷蒙德·斯穆里安的组合子鸟类体系？

Hey there, nice to see someone digging into the delightful world of To Mock a Mockingbird—Smullyan’s bird metaphors make λ-calculus feel like a playful puzzle instead of dry theory!

You’re spot-on about the Kestrel: Smullyan explicitly introduces it in the Hopeless Egocentricity chapter, and its behavior (A(Bx) = B) makes it a perfect stand-in for the true combinator. But the Kite (used for false in those videos and papers you’ve referenced) is a different story—it doesn’t appear anywhere in Smullyan’s original text.

From what I’ve gathered from combinatorics teaching circles and logic communities:

• The Kite was a later, community-driven addition. Educators and content creators wanted a symmetric bird counterpart to the Kestrel, making it easier to teach boolean logic using Smullyan’s whimsical framework.
• Where the Kestrel selects the first argument (aligning with true), the Kite follows the behavior A(Bx) = x—picking the second argument, which maps cleanly to the false combinator.
• There’s no single credited creator for this bird; it seems to have emerged organically as a pedagogical shortcut to bridge Smullyan’s playful system with standard λ-calculus boolean semantics.

It’s a great example of how educational communities expand on classic texts to make complex ideas more approachable!

内容的提问来源于stack exchange，提问作者jimboweb