SSequence's latest activity
-
SSSequence replied to the thread How to show R*S(U+TR*S)* is equivalent to (R+SU*T)SU*?.I think this multiple use of ##+## is very common. Now I don't know whether the newer texts use this or not, but at least in the older...
-
SSSequence replied to the thread How to show R*S(U+TR*S)* is equivalent to (R+SU*T)SU*?.I don't know, but I am having difficulty seeing how ##(R+SU^*T)SU^*## can really be a correct expression? I mean consider any string...
-
SSSequence replied to the thread Undergrad Does Artemov's "S-consistency" really revive the Hilbert Program?.Yeah well if we just want to look at it in a very high level way, it seems that "perhaps" it can be summarized into what we can call...
-
SSSequence replied to the thread Undergrad Does Artemov's "S-consistency" really revive the Hilbert Program?.So having spent some time (looking at various resources too), this is that partial understanding of it that I can manage. Note that this...