To Mock a Mocking Bird by Raymond M. Smullyan

To Mock a Mocking Bird by Raymond M. Smullyan

Author:Raymond M. Smullyan [Smullyan, Raymond]
Language: eng
Format: epub, mobi
ISBN: 978-0-307-81979-6
Publisher: Knopf Doubleday Publishing Group
Published: 2012-05-15T16:00:00+00:00


5 • The Bird W’

“Show that from B, T, and M you can derive a bird W’ satisfying the following condition:

W’xy = yxx

“We might call W’ a converse warbler,” said Bravura. “Curiously enough, W’ is easier to derive than W. It is particularly simple to derive W’ from B, R, and M. Can you see how?”

6 • The Warbler

“Now that you have W’, it is simple to get W. In fact, W can be derived from B, R, C, and M using an expression of only four letters. Can you see how?”



Download



Copyright Disclaimer:
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.