| Then we'd have to discuss what was provable. | Тогда пришлось бы обсудить, насколько это доказуемо. |
| There is a gap, there is a gulf between what is true and what is provable. | Есть пропасть, есть бездна между тем, что верно и что доказуемо. |
| A cryptographic hash function has provable security against collision attacks if finding collisions is provably polynomial-time reducible from problem P which is supposed to be unsolvable in polynomial time. | Криптографическая хеш-функция является доказуемо защищённой от коллизий, если задача нахождения коллизий может быть средуцирована за полиномиальное время от задачи Р {\displaystyle P}, которая считается неразрешимой за полиномиальное время. |