cianfa72's latest activity
-
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...
-
cianfa72 reacted to jedishrfu's post in the thread I Deductive proof in logic formal systems with Like.
Adding semantics to a formal system doesn’t make it a “formal theory.” A theory involves the addition of specific non-logical axioms...
-
cianfa72 replied to the thread I Deductive proof in logic formal systems.Ah ok. So the point is: combining a formal system with a semantics (i.e. assigning an interpretation of the non-logical symbols) results...
-
cianfa72 replied to the thread I Deductive proof in logic formal systems.Ah ok, so an expression like ##\Gamma \;\vdash\; \varphi## is an instance of a sequent. As an aside, we can say that a formal system...
-
cianfa72 reacted to jedishrfu's post in the thread I Deductive proof in logic formal systems with
Agree.
When a sequent like: ##\Gamma \;\vdash\; \varphi## is used, it means: From the set of assumptions/premises ##\Gamma##, the formula... -
cianfa72 posted the thread I Deductive proof in logic formal systems in Set Theory, Logic, Probability, Statistics.I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where...
-
cianfa72 replied to the thread I Synchronizing clocks in an inertial frame if light is anisotropic.Yes exactly. For instance this convention does prescribe to reset to 0 the B's clock at event B2 (i.e. label it as T=0 along B's...
-
cianfa72 reacted to James Hasty's post in the thread I Synchronizing clocks in an inertial frame if light is anisotropic with Like.
I agree this works, but only because you have defined the convention for the 1-way speed of light in both directions.
-
cianfa72 replied to the thread I Synchronizing clocks in an inertial frame if light is anisotropic.Just to clarify the point, I drew the following diagram. The base grid ##(x,t)## represents of course the standard inertial coordinate...
-
-
cianfa72 replied to the thread I Synchronizing clocks in an inertial frame if light is anisotropic.Yes, as far as I can tell the key point is that basically, before the exchange of light signals between observer A and B takes place, it...
-
cianfa72 replied to the thread I About the existence of Hamel basis for vector spaces.Yes, this video addresses exactly the point you made.
-
cianfa72 replied to the thread I About the existence of Hamel basis for vector spaces.I believe the topic discussed in this thread is well addressed in R. Penrose's book "The Road to Reality". In chapter 1, he discusses...
