4 ms·
For a fun introduction to this field, check out Raymond Smullyan's To Mock a Mockingbird. If you have kids, this and his other books are a great way to let them
by texaslonghorn5 4y ago
For a fun introduction to this field, check out Raymond Smullyan's To Mock a Mockingbird. If you have kids, this and his other books are a great way to let them get interested in puzzle solving and math without realizing that they're doing math (he cites such an anecdote in another book).
- lgm__ 4y agoThank you, I never heard about Smullyan, I'll check that out.
- sn41 4y agoGreat suggestion, thanks!!! I'm about to teach simply-typed lambda calculus and fixed-point combinators in my class. This book is a great suggestion (as are all books by Smullyan). Shame that the pace of courses today and bite-size youtubization has killed the joy of sitting around with a single puzzle in a cozy nook or a bus.
- Breza 4y agoLately I've really gotten into reading Dover math books. They're written with such a love of the underlying topic without much concern for practical applications (most predate modern computers). For example, I read a book about graph theory before delving into the Neo4j documentation, and the code makes so much more sense.
- dullcrisp 4y agoThat’s easy though: Mockingbird mockMockingbird = Mockito.mock(Mockingbird.class); MockingbirdMocker mockingbirdMocker = new MockingbirdMocker(); mockingbirdMocker.mock(mockMockingbird); verify(mockMockingbird).mock();
- tantalor 4y agowhen(mockingBird).dontSing(thenReturn(diamondRing));