I was cruising the net looking for information about skolemization when I stumbled on a paradox that I’d never seen before. Skolem’s paradox is one of the most astounding paradoxes that I’ve ever seen.
Here are a few links I dug up on the subject:
Reflections on Skolem’s Paradox
I’m don’t totally understand all the implications of the paradox, but I do understand some of them and I find it both fascinating, and in some ways disheartening.
I’ve often had questions that I wanted answers to and didn’t know who to ask. Sometimes the questions are unanswerable unless some mighty alien intelligence were to come and give them to me. Often times however, they are questions that should in principle be answerable. Here are some questions from my current wish list.
(read on…)
Gerrymandering has always been a crime against democracy, but now people have really taken it to its limit. Thanks to the growth in computing power and some nice software packages available quite cheap, you can redistrict to ensure that you will win. Take a look at these maps in the Economist
How to rig an election
(read on…)
I didn’t realize that I had set default so that comments required moderation. Thats been fixed. If it turns out I’m getting lots of blog spam, I’ll just add a captcha or something.
I had some difficulties with my internet access provider so I switched. The upshot is that I’m back online. Recently I’ve been reading about monads and reflection. Here is an interesting article about monads and reflection and how it relates to parsing:
http://www.cs.indiana.edu/~jsobel/Parsing/explicit.html
I’ve been writing lots of hand crafted parsers recently, and I’m sick of it. Really! I hate it. I’ve made some progress on my own parsing language Twine, but it still could use a lot of work, especially in the efficiency department.