MHB What is the probability of two people meeting in a bar for exactly 15 minutes?

  • Thread starter Thread starter Ganesh Ujwal
  • Start date Start date
AI Thread Summary
The probability of two people meeting in a bar for exactly 15 minutes, given uniform arrival times between 12:00 and 13:00, raises questions about the assumptions involved. A key point is that they must arrive within a specific timeframe, with arrival times restricted to between 12:00 and 12:45 to ensure a 15-minute overlap. The initial assumption of independent uniform arrival is crucial for a well-defined problem. A discussion on Math Stack Exchange provides a graphical solution and highlights the importance of formal modeling in probability calculations. Overall, the problem's formulation and assumptions significantly impact the probability outcome.
Ganesh Ujwal
Messages
51
Reaction score
0
Two people have to spend exactly 15 consecutive minutes in a bar on a given day, between 12:00 and 13:00. Assuming uniform arrival times, what is the probability they will meet?I am mainly interested to see how people would model this formally. I came up with the answer 50% (wrong!) based on the assumptions that:- independent uniform arrival
- they will meet iff they actually overlap by some $$ ϵ>0$$
- we can measure time continuouslybut my methods felt a little ad hoc to me, and I would like to learn to make it more formal.Also I'm curious whether people think the problem is formulated unambiguously. I added the assumption of independent arrival myself for instance, because I think without such an assumption the problem is not well defined.
 
Physics news on Phys.org
I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...
Back
Top