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

CS PhD Student at Cornell.


Jun
8
awarded  Constituent
Dec
3
awarded  Yearling
Dec
7
awarded  Teacher
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