Forums
New posts
Search forums
What's new
New posts
Latest activity
Members
Current visitors
Log in
Register
What's new
Search
Search
Search titles only
By:
New posts
Search forums
Menu
Log in
Register
Install the app
Install
Forums
Community
The Round Table
The Pipe Smokers Of Mombaru
JavaScript is disabled. For a better experience, please enable JavaScript in your browser before proceeding.
You are using an out of date browser. It may not display this or other websites correctly.
You should upgrade or use an
alternative browser
.
Reply to thread
Help Support Brothers of Briar:
This site may earn a commission from merchant affiliate links, including eBay, Amazon, and others.
Message
<blockquote data-quote="Roqsan" data-source="post: 126827" data-attributes="member: 1378"><p>Well I suppose the cat is out of the bag. knight/knave problems were invented by Raymond Smullyan to illustrate some ideas in propositional logic, such as Godel's theorem. I think they're a lot of fun and had a laugh trying to reformulate them in terms of pipe smoking. I see that I'll have to work a bit harder... Pretty neat to get the answer to those first three problems so quickly having never seen this stuff before! Grrr <img src="data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7" class="smilie smilie--sprite smilie--sprite3" alt=":(" title="Frown :(" loading="lazy" data-shortname=":(" /></p></blockquote><p></p>
[QUOTE="Roqsan, post: 126827, member: 1378"] Well I suppose the cat is out of the bag. knight/knave problems were invented by Raymond Smullyan to illustrate some ideas in propositional logic, such as Godel's theorem. I think they're a lot of fun and had a laugh trying to reformulate them in terms of pipe smoking. I see that I'll have to work a bit harder... Pretty neat to get the answer to those first three problems so quickly having never seen this stuff before! Grrr :( [/QUOTE]
Insert quotes…
Verification
Post reply
Forums
Community
The Round Table
The Pipe Smokers Of Mombaru
Top
