#1  
Old 11-22-2013, 01:07 PM
dasadler dasadler is offline
Junior Member
 
Join Date: Apr 2012
Location: San Bernardino, CA USA
Posts: 12
Default Math?????

I see a number of posts where people allude to having used math in finding a solution.

At the risk of sounding like a bonehead... can someone explain what that means and how math would be used? Maybe some examples or at least point me to a tutorial that discusses this?

thanks
Reply With Quote
  #2  
Old 11-23-2013, 08:19 PM
JulieC JulieC is offline
Junior Member
 
Join Date: Mar 2013
Posts: 24
Default

I think there isn't so much math as just the way different people notate their logic. Personally, I use + to mean AND ("Josie+Monday" means a circle found for Josie on Monday). Though I generally write out ORs on this forum, if I make notes for myself I use | ("Josie+Monday+(Green|Purple)" means that same circle found, plus all that combined with either Green or Purple).

If I was true to my C/C++ programming roots when doing logic puzzles, I'd use && rather than + (and || rather than just |), but computer programmers in general probably understand my notation without thinking too hard. The + is easier to read in my typical scribbling than &.
Reply With Quote
  #3  
Old 11-24-2013, 07:12 AM
Anachronismatic's Avatar
Anachronismatic Anachronismatic is offline
Junior Member
 
Join Date: May 2013
Posts: 10
Default

I wonder how many of us work with C++ for a living.
Reply With Quote
  #4  
Old 11-24-2013, 07:56 AM
pcuser pcuser is offline
Senior Member
 
Join Date: Nov 2009
Posts: 122
Default

Symbolic logic underlies most of mathematics. For instance, it's what is used in geometric proofs. That same logic can be applied the exact same way to finding equivalencies among the various entities in logic puzzles and, at a deeper level, in the puzzles themselves. A course in symbolic logic formalizes what we do in solving these puzzles.
Reply With Quote
  #5  
Old 11-24-2013, 03:23 PM
JulieC JulieC is offline
Junior Member
 
Join Date: Mar 2013
Posts: 24
Default

Quote:
Originally Posted by Anachronismatic View Post
I wonder how many of us work with C++ for a living.
I'm guessing a much larger than average percentage.
Reply With Quote
  #6  
Old 11-25-2013, 01:23 PM
zenobia43 zenobia43 is offline
Senior Member
 
Join Date: Mar 2012
Posts: 105
Default

Lewis Carroll wrote about logic.

If you're really interested in the historical treatment of this, you might find the pdf at the following link useful:

https://archive.org/details/gameoflogic00carruoft

... and Dover published "Mathematical Recreations of Lewis Carroll" for a while.

Using the ISBN-10 ID:

http://www.isbnsearch.org/isbn/0486204928

This book doesn't exactly read like a "page-turner" novel. It is somewhat interesting from a historical, pre-computer age perspective.

Carroll alludes to the practical application of logic in contracts and laws.

Every time I try to read a bit more in this book, it is a chore, and I find something more interesting to do after a short while.

Also consider what it takes to construct a logic puzzle so that:

1. It has one and only one solution, and this property can be tested.
2. It doesn't require guessing at any point.
3. It has the "right" level of difficulty: Challenging enough to keep the interest of the best solvers and easy enough to encourage the relative beginners.
4. It has a sufficiently entertaining translation of math equations to "story" clues.
5. It can be stored, delivered, solved by users, and checked by a computer program.
6. It lends itself to machine generation to avoid the huge expense of manually constructing each puzzle.

If a given puzzle is just math, is it possible to measure the difficulty of a puzzle without a user-provided score or without a calculation of user completion rates and times? I.e, can the difficulty be calculated when the puzzle is constructed?

There are some interesting articles on the web that discuss this question.

Last edited by zenobia43; 11-25-2013 at 01:27 PM.
Reply With Quote
Reply

Thread Tools
Display Modes

Posting Rules
You may not post new threads
You may not post replies
You may not post attachments
You may not edit your posts

BB code is On
Smilies are On
[IMG] code is On
HTML code is Off
Forum Jump


All times are GMT. The time now is 07:45 PM.


Powered by vBulletin® Version 3.7.2
Copyright ©2000 - 2014, Jelsoft Enterprises Ltd.

About Puzzle Baron

The Puzzle Baron family of web sites has served millions and millions of puzzle enthusiasts since its inception in 2006. From cryptograms to acrostics, logic puzzles to drop quotes, patchwords to wordtwist and even sudoku, we run the gamut in word puzzles, printable puzzles and logic games.