233 reputation
23
bio website cs.cornell.edu/~reitblatt
location Ithaca, NY
age 27
visits member for 3 years, 8 months
seen Mar 24 at 22:07

CS PhD Student at Cornell.


Jun
8
awarded  Constituent
Dec
3
awarded  Yearling
Dec
7
awarded  Teacher
Dec
7
comment I'm totally confused about this addition problem
By pointing out exactly where the trickery happens. Having a specific proof in front of you gives you the chance to really examine it and find the error. As opposed to trying to recall the proof from memory. Since he didn't give a specific argument in the question, it's a safe bet that he (she?) doesn't have it lying around.
Dec
7
answered I'm totally confused about this addition problem
Dec
6
comment The deduction theorem according to AIMA
@E.E. Exactly. In general, when you prove an "if and only if" statement, splitting the two directions is the way to go.
Dec
4
comment Is Robinson Arithmetic complete and not-complete?
@Raskolnikov Yeah, that's the idea. The number of times you have to add "x" will not be constant. If you try to write it out in the formal language, you'll get stuck.
Dec
4
awarded  Supporter
Dec
4
comment Is Robinson Arithmetic complete and not-complete?
@Raskolnikov What tools do you have to define multiplication in Presburger? It's a worthwhile exercise to try it and see why you can't do it.
Dec
3
answered formal rules for avoiding bound/unbound variable problems in lambda calculus
Dec
3
awarded  Autobiographer