Do we know why jokes are funny? If so, why don't we have an algorithm that can write jokes?

I think you're right that we have some good descriptive models of humor, but we don't have any generative models of humor.