Арифметика для взрослых
Снятие парадокса.

Теорвер оперирует таким понятием, как множество элементарных событий, основные требования к которому следующие:

1) Множество элементарных событий исчерпывает все возможные события.
(Здесь "событие" не тождественно "элементарному событию" и может представлять комбинацию каких либо "элементарных событий").
2) Вероятности всех элементарных событий равновероятны.
3) Сумма вероятностей всех элементарных событий равна единице.

Для снятия оного "парадокса" важно понимать, что решение о том, что является "элементарным событием" принимается за пределами теорвера, а чаще всего и за пределами математики. У теорвера нет инструментария, чтобы оценить правильность или неправильность такого решения.
И если оное множество состоит из событий "встретит"/"не встретит", то да, 50%.
Но очевидная абсурдность результата не является проблемой теорвера.
Выбор конкретного МЭС под конкретную задачу это проблема той области знаний, в которой сформулирована задача.

Кстати, подавляющее количество ошибок, возникающих при решении вероятностных задач связано именно с неправильным выбором МЭС.