Talk:Skolem's Paradox

As mentioned in the summary on the page creation, please let me know if the exposition here doesn't make sense, and feel free to try to add clarification if you see a way to (or make suggestions here). -- Qedetc 00:23, 11 June 2011 (CDT)

Interesting but way over my head at the moment. I confess you left me behind a while ago. I will re-gather the threads of my understanding of mathematical logic (scant) and model theory (less) after I've finished my topology project (and maybe not immediately after, either).

From now till then you're on your own here, unless there someone else out there who's got further than me, because I have lots of work to do before I've caught up. --prime mover 01:57, 11 June 2011 (CDT)

It would be nice if it was at least somewhat intelligible for people without much background in set theory or formal logic. So even if you feel like it's over your head, that's a useful comment to make since it means the exposition isn't down-to-earth enough. I suspect most of the people who would find it more interesting or surprising are exactly those people who don't have as much background in those areas. It's still interesting after you've learned-away the problem, but I guess I'm wondering who the target audience should be from either a pedagogical or a hey-check-out-this-weird-math-thing view.

Qedetc 15:43, 13 June 2011 (CDT)

Seriously, I need to attack it when I have the headspace. The day-job is taking a lot out of me at the moment, and weekends are a bit of a loss right now. I sort of understand what you're trying to do, but I'm not in a position to think about it right now. --prime mover 16:34, 13 June 2011 (CDT)