Abstract
In which we formalise some self-referencing brain teasers. Well-known examples of such puzzles are the liar paradox (i.e. “I am lying”), or fill in the blanks sentences (e.g. “There are \(\_\_\_\_\_\_\) e’s in this sentence” which has solution “eight”. Solving such puzzles requires a disciplined mind, since most of them demand a sort of recursive reasoning. Hence the joke: To understand recursion, you must first understand recursion. Some of these puzzles are not easily modelled in FOL, too.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Dudeney, H. E. (2016). 536 Puzzles and curious problems. Courier Dover Publications.
Kordemsky, B. A. (1992). The Moscow puzzles: 359 mathematical recreations. Courier Corporation.
Smullyan, R. M. (2011). What is the name of this book? The riddle of Dracula and other logical puzzles. Dover Publications.
Walicki, M. (2016). Introduction to Mathematical Logic: Extended Edition. World Scientific Publishing Company.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2021 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this chapter
Cite this chapter
Groza, A. (2021). Self-reference and Other Puzzles. In: Modelling Puzzles in First Order Logic. Springer, Cham. https://doi.org/10.1007/978-3-030-62547-4_13
Download citation
DOI: https://doi.org/10.1007/978-3-030-62547-4_13
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-62546-7
Online ISBN: 978-3-030-62547-4
eBook Packages: Computer ScienceComputer Science (R0)