cianfa72's latest activity

I'm taking a look at intuitionistic propositional logic (IPL). Basically it exclude Double Negation Elimination (DNE) from the set of...

@zenterix - I would say the problem is that your approach is making something really quite simple into an abominably complicated...

Note the following: O' is at rest in S' frame and can use S' coordinates to locate events. Now when lightning strike both ends of the...

Note that the figures you've reproduced show two different experiments. In figure 2-1 the strikes are simultaneous in S, and if that...

After reviewing it, this is my formal deduction of the sentence ##\varphi(0)## in first-order Peano Arithmetic (PA) formalized by using...

From my understanding, using the Hilbert-style proof system (no natural deduction system), we have: line 1: ##\forall y (y+0=y)## is an...

Sorry just to be sure: what you said in bold is an instance of axiom A4, you meant that formally (x+y)+1=x+(y+1) is the instance of A4...

Sorry, could you be more explicit about this ? Thanks.

I was reading a Bachelor thesis on Peano Arithmetic (PA). PA has the following axioms (not including the induction schema)...

Yes, that is an invariant fact. We can check it taking the viewpoint of the inertial frame with coordinates ##(x,t)##. The worldlines of...

At time t, clock 1 sends a signal to clock 2, triggering clock 2 to send its time reading to clock 1. We are assuming the clocks...

I believe you meant: when the light signal arrives back at clock 1 from clock 2 (at clock 1's own time t+k), the clock 2's sent encoded...

Ok yes, definitely. Sorry, could you explain in detail how you plane to check those clocks when they are apart, by using light signals...

Note, an invariant fact is that if you move the clocks away and then back together with identical acceleration profile, they will be in...

I.e. they remain always synchronized w.r.t. the definition you gave (namely their readings are identical if they are located at a pair...