cianfa72's latest activity
-
cianfa72 replied to the thread I Formal derivation of statement from Peano Arithmetic system.No, I meant Hilbert-style proof system hence not natural deduction system. Therefore rules (or axiom schemes) for Universal... -
cianfa72 replied to the thread I Formal derivation of statement from Peano Arithmetic system.From my understanding, using the Hilbert-style proof system (no natural deduction system), we have: line 1: ##\forall y (y+0=y)## is an...
-
cianfa72 replied to the thread I Formal derivation of statement from Peano Arithmetic system.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...
-
cianfa72 replied to the thread I Formal derivation of statement from Peano Arithmetic system.Sorry, could you be more explicit about this ? Thanks.
-
cianfa72 posted the thread I Formal derivation of statement from Peano Arithmetic system in Set Theory, Logic, Probability, Statistics.I was reading a Bachelor thesis on Peano Arithmetic (PA). PA has the following axioms (not including the induction schema)...
-
cianfa72 replied to the thread I Synchronizing clocks at different locations to measure speed of light.Yes, that is an invariant fact. We can check it taking the viewpoint of the inertial frame with coordinates ##(x,t)##. The worldlines of...
-
cianfa72 reacted to PAllen's post in the thread I Synchronizing clocks at different locations to measure speed of light with
Like.
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... -
cianfa72 replied to the thread I Synchronizing clocks at different locations to measure speed of light.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...
-
cianfa72 replied to the thread I Synchronizing clocks at different locations to measure speed of light.Ok yes, definitely. Sorry, could you explain in detail how you plane to check those clocks when they are apart, by using light signals...
-
cianfa72 reacted to PAllen's post in the thread I Synchronizing clocks at different locations to measure speed of light with Like.
Note, an invariant fact is that if you move the clocks away and then back together with identical acceleration profile, they will be in...
-
cianfa72 replied to the thread I Synchronizing clocks at different locations to measure speed of light.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...
-
cianfa72 reacted to jbriggs444's post in the thread I Synchronizing clocks at different locations to measure speed of light with Like.
As I understand things... Definition: two clocks are said to be "synchronized" if their readings when located at simultaneous events...
-
cianfa72 replied to the thread I Synchronizing clocks at different locations to measure speed of light.As far as I can understand, your point is: take two colocated clocks that initially read/show the same time.Then accelerate away from...
-
cianfa72 replied to the thread I Synchronizing clocks at different locations to measure speed of light.Sorry, how can one check/ascertain that they stay synchronized?
-
cianfa72 reacted to Dale's post in the thread I Variation of the lightning train thought experiment with Like.
Length contraction is the comparison of a length in a frame where it is at rest vs the length in a frame where it is not at rest. Light...