Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

Views expressed in these public forums are not endorsed by Drexel University or The Math Forum.


Math Forum » Discussions » sci.math.* » sci.math.independent

Topic: Real-world example of the liar paradox
Replies: 6   Last Post: Jul 6, 2013 8:01 PM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
INFINITY POWER

Posts: 117
Registered: 11/1/11
Re: Real-world example of the liar paradox
Posted: Jul 6, 2013 5:24 AM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

On Saturday, July 6, 2013 5:08:41 PM UTC+10, Paul wrote:
> Nick Davies's book, Flat Earth News, says "it is a very safe bet that
> there are mistakes in this book." Later, I met the author and reminded him
> of this quote, and asked him what the mistakes were. He replied that the
> only error he knew of was extremely minor. (He described the error, but I
> forget the details.) If we tweak this account just a little bit and deem
> the book to be free of mistakes, then we get the liar paradox -- the only
> mistake in the book is the assertion that there are mistakes in the book.
>
>
>
> Paul Epstein




I made a quick program for this ...

herc said [liar bethy ]

bethy said
[liar herc] &
[herc said [liar bethy]]
->
truthful bethy
->
liar herc



> if you always lie, and you say that I am a liar, then I must be telling
> the truth, which means that you do always lie (?).





but I think my automated Proof got her!

http://phpprolog.com/TRUTHER-LIAR.png



5 assert herc [ liar bethy ]


7 true X :-
assert P X
truther P


8 false X :-
assert P X
liar P


10 truther X :-
assert P [ liar X ]
liar P


11 liar X :-
assert P [ liar X ]
truther P



liar herc ?

HEAD 1
liar X
TAIL 1
assert P liar X
assert P liar [ herc ]
FALSE 1
FAIL


Herc
--

www.phpPROLOG.com
ONLINE DATABASE AND LOGIC SOFTWARE




Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.