#bookstodon #bookReview #knowledgeRepresentation actually a chapter review.
My notes after Chapter 1: Classical Logic of The Handbook of Knowledge Representation.
https://screwlisp.small-web.org/books/handbook-of-kr-ch1-logic/
#bookstodon #bookReview #knowledgeRepresentation actually a chapter review.
My notes after Chapter 1: Classical Logic of The Handbook of Knowledge Representation.
https://screwlisp.small-web.org/books/handbook-of-kr-ch1-logic/
Will the toughest problem in maths ever be solved?
For many, not just mathematicians, the Riemann hypothesis is the very definition of a supremely difficult problem that might be forever beyond our intellect. Most mathematicians had given up on it, being pessimistic about making any headway. But recently, the first progress – although not a solution – in more than 50 years has been made.
By David Whitehouse via @spectator
https://www.spectator.co.uk/article/will-the-toughest-problem-in-maths-ever-be-solved/
“There is an island of knights who always say the truth and of knaves who never do. There is a country of day-knights who speak truthfully only at daytime and of night-knights whose speech at the day is a lie. There is an island of Democrats and Republicans.” – I have a new blog entry about knights-and-knaves riddles and how to understand them with propositional logic (https://functor.network/user/414/entry/510).