Page 1 of 3 123 LastLast
Results 1 to 10 of 29

Thread: Where to start with mathematical logic?

  1. #1
    Aporia Dysphoria Dirac's Avatar
    Type
    INTP
    Join Date
    Dec 2013
    Posts
    835

    Where to start with mathematical logic?

    I'm writing a story right now in which there are machines being used to try automate the answering of questions, but the machines have difficulty answering questions about themselves. It's come to my attention that this seems to be related to mathematical logic, and Godel's incompleteness theorems. I've never studied this kind of maths before and wondered if anybody knows of a good place to start?

  2. #2
    Senior Member Tetris Champion notdavidlynch's Avatar
    Type
    INXP
    Join Date
    Dec 2013
    Posts
    2,047
    http://www.amazon.com/The-Logic-Book...the+logic+book

    That's what I used IIRC.

    I think the painting used as an illustration makes it worth all the money.

  3. #3
    fhtagn Rhu's Avatar
    Type
    INTP
    Join Date
    Dec 2013
    Location
    wershingten deesee
    Posts
    147
    Quote Originally Posted by Dirac View Post
    I'm writing a story right now in which there are machines being used to try automate the answering of questions, but the machines have difficulty answering questions about themselves.
    This immediately reminded me of the Halting Problem. Of course, this veers off a bit from the pure math logic, but may relate to your story if your machines fit the definition of Turing machines.

  4. #4
    Aporia Dysphoria Dirac's Avatar
    Type
    INTP
    Join Date
    Dec 2013
    Posts
    835
    Quote Originally Posted by notdavidlynch View Post
    http://www.amazon.com/The-Logic-Book...the+logic+book

    That's what I used IIRC.

    I think the painting used as an illustration makes it worth all the money.
    Looks pretty decent, thanks. How maths-y is it though? Would prefer to get stuck in with that but I guess I've never actually studied logic so maybe I'm jumping the gun a bit.

    Quote Originally Posted by Rhu View Post
    This immediately reminded me of the Halting Problem. Of course, this veers off a bit from the pure math logic, but may relate to your story if your machines fit the definition of Turing machines.
    The machines are a fairly recent addition to the story and the details aren't clear in my mind. I'm not sure how clear the details will actually need to be so who knows if they are Turing machines? Maybe I'll never find out.

  5. #5
    a cantori Perdix's Avatar
    Type
    INTj
    Join Date
    Jan 2014
    Location
    the deep end
    Posts
    2,436
    If it is a story and not a real life scenario I would just give them "strong" artificial intelligence by means of genetic algorithms...

    You're essentially looking for a mathematical version of sentience -- no?

  6. #6
    Senior Member Tetris Champion notdavidlynch's Avatar
    Type
    INXP
    Join Date
    Dec 2013
    Posts
    2,047
    Don't try to get out of learning basic logic. It's essential for far more than your story.

  7. #7
    Aporia Dysphoria Dirac's Avatar
    Type
    INTP
    Join Date
    Dec 2013
    Posts
    835
    Quote Originally Posted by prometheus View Post
    If it is a story and not a real life scenario I would just give them "strong" artificial intelligence by means of genetic algorithms...

    You're essentially looking for a mathematical version of sentience -- no?
    I don't really want them to be sentient, no. More like http://en.wikipedia.org/wiki/Automated_theorem_proving

    Quote Originally Posted by notdavidlynch View Post
    Don't try to get out of learning basic logic. It's essential for far more than your story.
    Yeah I sort of know that you're right though. Seems kinda dry to me without the maths though :P Also, if I'm going to buy an expensive book I'd like it to actually get to the stuff I'm primarily interested in. Maybe I'll be able to find a pdf of it though.

  8. #8
    Quote Originally Posted by Dirac View Post
    Also, if I'm going to buy an expensive book I'd like it to actually get to the stuff I'm primarily interested in.
    You mean like digital logic? I used this for my digital logic design class, but it's pretty computer-focused. I used this for my discrete math class and it's more general and mathy. Both are available for free on tpb.

  9. #9
    Utisz's Avatar
    Type
    INxP
    Join Date
    Dec 2013
    Location
    Ayer
    Posts
    2,839
    Quote Originally Posted by Dirac View Post
    I'm writing a story right now in which there are machines being used to try automate the answering of questions, but the machines have difficulty answering questions about themselves. It's come to my attention that this seems to be related to mathematical logic, and Godel's incompleteness theorems. I've never studied this kind of maths before and wondered if anybody knows of a good place to start?
    If I understand your intent, you could always just ask the machine, right? ... "Is there any question you cannot answer?" ... or more correctly "Is there any question you cannot answer correctly and in finite time?"

    If the machine is a deterministic Turing machine (the model of pretty much every [Turing-complete] machine we know), there are questions it certainly can't answer, proven by (as Rhu mentions) the "Halting Problem" and other undecidable problems.

    If it is a clever machine (which it sounds like it is), it will be able to give you a question it cannot answer and then you can ask that question. Otherwise you win at step 1.


    Would this work for your story?

  10. #10
    your cheapest wine Johnny's Avatar
    Type
    INTj
    Join Date
    Mar 2014
    Location
    Kamino
    Posts
    218
    At one time I thought the "problem" with any sort of logic is that it starts with assumptions.

    But then I heard someone say that philosophy is a game. I stopped thinking of problems and started playing after that.

    Maybe losing oneself is a consequence?
    What's the difference? It's just soda, bro.

Similar Threads

  1. Complete the Phrase then Start the Next One!
    By stigmatica in forum The Playground
    Replies: 39
    Last Post: 05-01-2015, 01:24 AM

Posting Permissions

  • You may not post new threads
  • You may not post replies
  • You may not post attachments
  • You may not edit your posts
  •