| Decidability: there should be an algorithm for deciding the truth or falsity of any mathematical statement. | Алгоритмическая разрешимость: существует алгоритм для определения истинности или ложности любого математического утверждения. |
| The author refers to the Joint Declaration referenced in paragraph 3.1 above, as well as regional and national jurisprudence that sustain that the plaintiff should bear the burden of proving the falsity of any facts on matters of public concern. | Автор ссылается на совместное заявление, упомянутое в пункте 3.1 выше, а также на региональную и национальную юридическую практику, в которых подтверждается, что бремя доказывания ложности каких-либо фактов по вопросам, представляющим общественный интерес, должно быть возложено на истца. |
| Rome's vocation consisted in playing the part of arbiter, settling contentious issues by witnessing to the truth or falsity of whatever doctrine was put before them. | Призвание Рима заключалось в выполнении роли арбитра, улаживающего спорные проблемы посредством свидетельства об истинности или ложности того или иного учения. |
| In 1980, Searle presented the "Chinese room" argument, which purports to prove the falsity of strong AI. | В 1980 году Сёрл представил аргумент «Китайской комнаты», целью которого является доказательство ложности взглядов на сильный ИИ. |