orthonormal comments on Decision Theories, Part 3.75: Hang On, I Think This Works After All

orthonormal 6 Sep 2012 18:27 UTC
8 points
Yeah, it’s the syntax “□A” for “there is a Gödel-numbered proof of A”, and “|-” for “the following is provable”.

Or is your browser showing a lot of junk instead of things that cash out to “it is provable that (a Gödel-numbered proof of A) implies B”?
- wedrifid 7 Sep 2012 3:34 UTC
  2 points
  Parent
  
  Or is your browser showing a lot of junk instead of things that cash out to “it is provable that (a Gödel-numbered proof of A) implies B”?
  
  Assuming the only operators you used were , “|-” and “->” it all came through.