B Is this equation at all sensical?

AI Thread Summary
The discussion revolves around the interpretation of a logical expression involving time and conditions, specifically ∀t(T(x,t)⟹(¬H(x,t)∨H(x,t+Δt))). Participants note the lack of context makes it challenging to derive meaning, with some suggesting it may relate to formal hardware description languages or theorem proving systems like ACL2. The expression implies relationships between variables over time, indicating transitions in truth values. There is also mention of its potential connection to logical operators and the Boyer-Moore Theorem Prover. Overall, the conversation highlights the complexities of interpreting abstract logical statements without sufficient context.
DaveC426913
Gold Member
Messages
23,829
Reaction score
7,813
TL;DR Summary
This looks like nonsense, or at least nothing meaningful.
(Yes, I'm guilty of passing along something incomplete and of utterly unknown provenance that someone saw somewhere and didn't understand. I feel dirty.)


∀t(T(x,t)⟹(¬H(x,t)∨H(x,t+Δt)))

Certainly, without specifying any of the variables, it's got to be useless. At least we can assume t and Δt refer to time/delta time - which is my rationale for posting here in the physics subforum)

Chat GPT made a broad guess but couldn't make heads or tails of it either. Don't judge me.
 
Physics news on Phys.org
I would normally interpret those symbols as logical operators, so you might be better asking in the relevant maths forum. Difficult to tell without context, though.
 
∀t(T(x,t)⟹(¬H(x,t)∨H(x,t+Δt)))
For all t, T(x,t) implies ( NOT( H(x,t) ) OR H(x,t+Δt) )
T(x,t) is FALSE if H(x,t) was TRUE, and H(x,t+Δt) is FALSE.
T(x,t) is FALSE when H(x,t) transitions to FALSE in next sample.
A negative edge in H causes T to go low for one cycle.

Maybe it is from a formal HDL used to describe logic functions.
 
  • Like
Likes SammyS, Ibix and PeroK
It looks a bit like input code for a Boyer-Moore Theorem Prover.
Example here: https://en.wikipedia.org/wiki/Nqthm#Theorem_formulation
"(IMPLIES (AND (NOT (ZEROP X)) (p (SUB1 X) Z))"

ACL2 or "A Computational Logic for Applicative Common Lisp", an applicative (side-effect free) variant of Common LISP. ACL2 is both a programming language which can model computer systems, and a tool to help proving properties of those models.
 
Thread 'Question about pressure of a liquid'
I am looking at pressure in liquids and I am testing my idea. The vertical tube is 100m, the contraption is filled with water. The vertical tube is very thin(maybe 1mm^2 cross section). The area of the base is ~100m^2. Will he top half be launched in the air if suddenly it cracked?- assuming its light enough. I want to test my idea that if I had a thin long ruber tube that I lifted up, then the pressure at "red lines" will be high and that the $force = pressure * area$ would be massive...
I feel it should be solvable we just need to find a perfect pattern, and there will be a general pattern since the forces acting are based on a single function, so..... you can't actually say it is unsolvable right? Cause imaging 3 bodies actually existed somwhere in this universe then nature isn't gonna wait till we predict it! And yea I have checked in many places that tiny changes cause large changes so it becomes chaos........ but still I just can't accept that it is impossible to solve...
Hello! I am generating electrons from a 3D gaussian source. The electrons all have the same energy, but the direction is isotropic. The electron source is in between 2 plates that act as a capacitor, and one of them acts as a time of flight (tof) detector. I know the voltage on the plates very well, and I want to extract the center of the gaussian distribution (in one direction only), by measuring the tof of many electrons. So the uncertainty on the position is given by the tof uncertainty...
Back
Top