Reputation
Top tag
Next privilege 250 Rep.
View close votes
Badges
2 3
Newest
 Constituent
Impact
~340 people reached

  • 0 posts edited
  • 0 helpful flags
  • 13 votes cast
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