Tag Archives: Christianity

Proof

Posted on by
4

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.

Churching

Posted on by
1

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.