That's great, Brent; I'll definitely include a link to that page along with a brief discussion of the Henkin sentence. Thanks very much. Jim On Friday, November 11, 2016, Brent Meeker <meekerdb@verizon.net> wrote:
Is something like this exposition of Loeb's theorem what you have in mind?
https://xorshammer.com/2008/08/13/loebs-theorem/
Brent Meeker
On 11/11/2016 8:25 AM, James Propp wrote:
I started writing a new draft titled "Breaking Logic with Self-Referential Sentences" and would love to get your feedback. I plan on publishing it on the 17th and will continue to tinker with it over the coming week.
Suggestions for references, and comments of all kinds, are welcome. I appreciate candid criticism from people who are sympathetic to my aims but think I've fallen short of them. My prose style is designed to make the material accessible, but my breeziness should not be interpreted as indicating indifference to scholarly correctness.
I'm especially in need of a good illustration or two for this post. I like each of my essays to contain at least one visual. And I *don't* want my readers to have to see Escher's "Drawing Hands" for the gazillionth time. Surely there's something less familiar that I could include.
Please leave your feedback at https://mathenchant.wordpress.com?p=1338&shareadraft=581cfacf126c7 keeping in mind that the comments of EVERYONE on math-fun will get funneled through the same email conduit; if you want me to know who you are, please sign your comments!
If you sign your comments I'll assume (unless you indicate otherwise) that you don't mind my acknowledging your contribution.
Title: Breaking logic with self-referential sentences Beginning: I don't especially like people who talk a lot about themselves, but I have a soft spot for sentences that do. Case in point: the self-referential sentence "This sentence is false." I really like that one. You may think you've seen this sentence before, but in fact you've seen other sentences, each m... Read more: https://mathenchant.wordpress.com?p=1338&shareadraft= 581cfacf126c7
Thanks,
Jim Propp _______________________________________________ math-fun mailing list math-fun@mailman.xmission.com https://mailman.xmission.com/cgi-bin/mailman/listinfo/math-fun
_______________________________________________ math-fun mailing list math-fun@mailman.xmission.com https://mailman.xmission.com/cgi-bin/mailman/listinfo/math-fun