Results 1 to 3 of 3

Thread: Robots Don't Like Paradoxes

  1. #1
    Sep 2007

    Robots Don't Like Paradoxes

    A thinking machine called 'truth-a-tron', designed to only make true statements, answer questions correctly and destroy anything that makes an incorrect statement, had succeeded in performing these functions before it made the following statement and blew itself up: "I always make statements of truth".

    The designers of 'truth-a-tron' have no idea why it identified its last words as being false. Assuming that 'truth-a-tron' didn't malfunction, do you?

    (I'm sorry in advance for the difficulty that will almost definitely be had for anyone attempting to explain this).
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Junior Member
    Oct 2009
    He doesn't always make statements of truth, he sometimes does and sometimes destroys things that make an incorrect statement.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Oct 2009
    I think I have the answer!

    That statement can be true or false (if it always lied it could still say that statement and it would be a lie) so it's lying and telling the truth at the same time and since it's lying it destroys itself!
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Resolution of Russell's and Cantor's paradoxes
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: Aug 1st 2011, 05:07 AM
  2. Walking robots
    Posted in the Advanced Statistics Forum
    Replies: 4
    Last Post: Jun 22nd 2009, 10:32 PM

Search Tags

/mathhelpforum @mathhelpforum