cianfa72's latest activity
-
cianfa72 reacted to Ibix's post in the thread Undergrad Question about Parallel Transport with
Like.
The connection defines how vector components at one point in a space are related to vector components at a nearby point. Consider a... -
cianfa72 reacted to PAllen's post in the thread Undergrad Question about Parallel Transport with Like.
I've generally seen FW transport only defined along timelike curves, so that definition would simply not apply to Riemannian manifolds...
-
cianfa72 reacted to A.T.'s post in the thread Undergrad Question about Parallel Transport with
Informative.
Every time he himself turns by an angle x relative to the ground beneath his feet, he also turns the arrow by -x relative to himself, so... -
cianfa72 replied to the thread Undergrad Question about Parallel Transport.Yes, as @Orodruin said in #27, we can assume a sort of 2D gyroscope (i.e. free to rotate only around one axis).
-
cianfa72 replied to the thread Undergrad Question about Parallel Transport.As far as I understand this, using a gyroscope internal to the tank's hull and programming the turret to counter-rotate at the same...
-
cianfa72 reacted to PAllen's post in the thread Undergrad Question about Parallel Transport with Like.
I disagree. The definition of a geodesics as a curve that parallel transports its tangent vector makes no sense without parallel...
-
cianfa72 reacted to WWGD's post in the thread Undergrad About the existence of Hamel basis for vector spaces with Like.
Statements that aren't tautologies, like ##A \rightarrow B ##, which is not true when A is true and B is false.
-
cianfa72 replied to the thread Undergrad About the existence of Hamel basis for vector spaces.Ok, a well-formed formula (wff) is (syntactically) provable if and only if it is valid since we're assuming a sound and (semantically)...
-
cianfa72 replied to the thread Undergrad About the existence of Hamel basis for vector spaces.Sorry, let me try to show my understanding: classic FOL is sound and complete (by Godel completeness theorem) hence a FOL wff is...
-
cianfa72 reacted to WWGD's post in the thread Undergrad About the existence of Hamel basis for vector spaces with Like.
Wff's are Syntactic, i.e., strings of symbols formed by precise rules, but without any assigned meaning. Interpretations, models, are...
-
cianfa72 replied to the thread Undergrad About the existence of Hamel basis for vector spaces.Sorry, could you be more explicit? Thanks.
-
cianfa72 replied to the thread Undergrad About the existence of Hamel basis for vector spaces.As far as I can tell, ##|\mathbb N|## and ##|\mathbb R|## denote the cardinality of sets ##\mathbb N## and ##\mathbb R## respectively...
-
Yes. Yes, good point: True is used with respect to a specific model. For statements concerning all models, a different terminology is...
-
cianfa72 replied to the thread Undergrad Value of intuitionistic logic.Yes, valid is understood as semantically valid.
-
cianfa72 replied to the thread Undergrad Value of intuitionistic logic.Ok, you mean that a proposition is True on the elements of the topological model assigned open subset. Then if such a set is the entire...