# Proof

Godel proved in 1931 that if [Peano arithmetic] is consistent, then it is incomplete. He constructed a statement that was semantically true but that had no proof, by coding up formulas and proofs as numbers and then creating a formula with code n that asserted that the formula with code n had no proof.

### Context

This quote is from my CS 245 course notes. Basically, it’s saying that given this set of axioms, the Peano axioms, it is possible to construct statements that are semantically true, but have no proof of it. That is, something can be true and it will be impossible to prove it. It goes on to say later, that you can axioms to prove that these Peano axioms are consistent and complete, but you can’t prove that those axioms you’ve just added are consistent and complete.

# Strange Coincidence

I’ve noticed that I’m always busy, serving, around my birthday. Before, it was TC and stuff, and I kinda imagined that this year would be kinda uneventful. Of course, then Lifesong gets delayed from last month to now, and I get to serve in March again.

It’s been a while since I’ve made a post. I really wanted to, but I haven’t had anything really interesting to talk about and I haven’t had much time what with WoW and all, so it seemed like I’d fallen off the face of the earth. Anyhow, I’ve been doing some more thinking again… Continue reading

# Churching

So this is my first Sunday away from home. I spent a while last night deciding on whether to go to Community Fellowship Church or KWCAC. My original plan was to go to CFC, because a lot more of the people from TJCAC go there, so I could go with them. In the end, I chose KWCAC because:

1. They had only one service, while CFC had three to choose from. Choices, choices.
2. CFC looked huge (in terms of the number of people).
3. I couldn’t find any TJCAC people.

Essentially, those two points meant that I was more likely to see people that I at least met, if not knew. So I headed over to the V1 stop after having breakfast at the SLC. I see other people approaching the area too, so at least I knew I was in the right spot.

I’ve mentioned before how interesting it is that among Chinese Christians, everyone knows each other or are connected in some way. In university, the effect is much greater than in high school, because of all the people who don’t live in the same city that get together at a university and go back home and spread their new connections around.

So yes, I met some people. I met someone who was on my TC team and someone who was related to someone in my CC group. I also met this guy that I ran into randomly when I was going to CCF and a guy in my class, which in engineering means all my classes. That was pretty cool. I need to make friends.

Anyway, about KWCAC. I found KWCAC very much like TJCAC, but slightly smaller and slightly older, with about 90% univeristy students. I recognized the pastor there, Pastor Tim, from some other places before, like FX, the new student reception, and the first UWCCF meeting. I like it there, it’s kinda cozy.