кавычки ("") | Поиск точной строки. |
---|---|
AND | Поиск двух выражений (по умолчанию). |
OR | Поиск одного из выражений. |
минус (-) | Исключить страницы, содержащие следующее за ним без пробелов слово (в середине запроса должен отделяться пробелом от предыдущего слова). Можно использовать вместе с ключевыми словами. |
звёздочка (*) | В конце слова, чтобы расширить поиск (wildcard). |
тильда (~) | В начале запроса — гарантирует именно поиск, а не автоматический переход на точный результат. В конце слова — включит в результаты поиска похожие по написанию слова. |
intitle: | Поиск слова только в названиях страниц. |
prefix: | Поиск только на страницах, названия которых начинаются с указанных слов. Эта инструкция должна стоять в конце. |
incategory: | Поиск только на страницах, входящих в указанную категорию. |
linksto: | Поиск только на страницах, ссылающихся на указанную страницу. |
hastemplate: | Поиск только на страницах, содержащих указанный шаблон. |
insource: | Поиск в вики-тексте, а не в тексте, выводимом в браузере. |
При поиске фразы в intitle:, incategory: и т. п. возьмите её в кавычки.
Результаты поиска
Перейти к навигации
Перейти к поиску
Создать страницу «ДОКАЗУЕМЫЙ» (страницы, начинающиеся с этого названия • ссылающиеся на это название)
- Верификация (перенаправление с Доказуемость)положений на соответствие реальности при помощи эксперимента. В значении доказуемости, проверяемости объяснений (моделей) объектов/явлений, в зависимости от...12 КБ (712 слов) - 05:20, 19 марта 2023
- взаимоисключающих (противоречащих) суждения оказываются в равной мере доказуемыми. Логический парадокс — противоречие, имеющее статус логически корректного...18 КБ (1120 слов) - 20:11, 17 октября 2023
- может быть ложным. Если бы g было доказуемым, оно было бы ложным, отсюда, оно не доказуемо. Следовательно, оно не доказуемо и истинно (поскольку это именно...31 КБ (2660 слов) - 12:21, 1 июня 2023
- насколько и решение этой задачи. Криптографическая хеш-функция является доказуемо защищённой от коллизий, если задача нахождения коллизий может быть средуцирована...65 КБ (4024 слова) - 23:32, 7 декабря 2023
- тождественно истинная формула исчисления предикатов, то Φ {\displaystyle \Phi } доказуема в исчислении предикатов. Из тождественной истинности Φ {\displaystyle...3 КБ (141 слово) - 18:28, 29 июня 2023
- модальный оператор необходимо, чтобы (в модальной логике), или доказуемо (в логике доказуемости[англ.]), или обязательно (в нормативной логике), или убеждены...22 КБ (882 слова) - 18:02, 7 марта 2024
- Антиномия — наличием двух противоречащих друг другу, якобы одинаково доказуемых суждений. Н. Н. Непейвода. Парадокс логический // Новая философская энциклопедия :...2 КБ (101 слово) - 21:54, 6 мая 2020
- имеет место закон Дунса Скота. В этих условиях доказуемость противоречия означает, что становится доказуемым. Формальные системы, обладающие этим свойством...8 КБ (416 слов) - 18:34, 29 июня 2023
- {\displaystyle P} доказуемость высказывания «доказуемость P {\displaystyle P} влечет P {\displaystyle P} » возможна только в случае доказуемости самого высказывания...3 КБ (143 слова) - 05:54, 19 мая 2021
- математики, изучающий математические обозначения, формальные системы, доказуемость математических суждений, природу математического доказательства в целом...42 КБ (2532 слова) - 12:30, 2 марта 2024
- внутренний, психический мир человека. Как гипотетическое, эмпирически не доказуемое, описывающее субстанциальное единство человеческих переживаний, опытно...62 КБ (4270 слов) - 03:59, 21 апреля 2024
- безопасность некоторых языков (например, Standard ML) математически доказуема. Безопасность других (например, Ada) была обеспечена ad hoc-образом, без...177 КБ (10 452 слова) - 16:34, 3 мая 2024
- математической логики. См. Гёделева нумерация «Bew» сокр. от нем. «Beweisbar» — доказуемый, выводимый Источники Клини 1957 с.513 чл.-корр. РАН Лев Дмитриевич Беклемишев...39 КБ (2835 слов) - 05:32, 6 мая 2024
- теорема о множествах (то есть не упоминающая о классах), доказуемая в одной системе, также доказуема и в другой. Теория множеств Цермело — Френкеля (ZF) —...51 КБ (7234 слова) - 01:08, 24 декабря 2023
- области доказуемого разумом. Постепенно (в основном — ко времени возобновления номинализма в XIV веке) круг теологических положений, доказуемых разумом...129 КБ (9360 слов) - 03:57, 14 апреля 2024
- кроме истин, не требующих доказательства (аксиом), различаются два рода доказуемых положений (θέσις): определение (ὁρισμός), относящееся к сущности предмета
- склонения по классификации А. Зализняка — 1a. Сравнительная степень — доказу́емее, доказу́емей. Корень: -доказ-; интерфикс: -у-; суффикс: -ем; окончание: -ый
- сообщает Forklog со ссылкой на их твиты и посты в других соцсетях. «Доказуемый дефицит — это то, что делает биткоин интересным, вы забыли упомянуть это»
- доказательствам и опровержениям, - поскольку метафизические теории не являются ни доказуемыми, ни опровержимыми. Таким образом, критерий демаркации догматического
- и стремится построить формальную систему логики, чтобы «доказать всё доказуемое». Однако, даже в XVIII веке понятие доказательства было всё ещё слишком
- однако при описании исследований необходимо придерживаться ссылочно - доказуемого подхода, используя только Библейские тексты. Следует избегать "харизмотических"