Истинное утверждение

Cтраница 2

Каков по крайней мере один пример истинного утверждения среди следующих: дворецкий что-то скрывает; служанка наверху знает больше, чем говорит; стоит еще раз расспросить садовника. [16]

Утверждение ( 5), противоречащее истинному утверждению ( 2), может быть только ложным, а утверждение ( 6), как и в предыдущем случае, истинным: Бела занял пятое место. [17]

Если формальная математика больше не претендует на установление истинных утверждений, следует задать вопрос, какую же тогда цель она вообще ставит перед собой. Ответ Кузанского и Лейбница, что математика будто бы отражает в конечных символах идеи, которыми Бог обладает в непосредственной интуиции бесконечного, в наше время находит мало сочувствия, и он во всяком случае слишком односторонне теологичен. Убедительней звучит указание на естественно-научное применение математики, на роль, которую она играет при конструктивном построении теории реального мира в физике. [18]

Принцип, согласно которому в теории структур из любого истинного утверждения при замене пересечения объединением, а объединения - пересечением получается истинное утверждение. [19]

Таким образом, у Юльчи набирается уже 2 истинных утверждения. [20]

Может ли какой-либо мозговой процесс с абсолютной точностью отличать истинные утверждения ТТЧ от ложных, не нарушая при этом Тезиса Черча-Тюринга, или же подобное в принципе невозможно. Является ли восприятие красоты мозговым процессом. [21]

Мы, с нашим человеческим интеллектом, можем вывести некое истинное утверждение теории чисел, истинность которого компьютер не в состоянии заметить ( то есть, компьютер никогда не выведет этого утверждения) именно из-за Геделева аргумента, действующего как бумеранг. [22]

Как отмечает он, в антиномиях-проблемах констатируется не совокупность одновременно истинных утверждения и его отрицания, но проблема, которая подлежит исследованию. [23]

Кроме того, пусть нам известно, что первая машина печатает только истинные утверждения, а вторая - только ложные. Условимся называть некоторое утверждение доказуемым в том и только том случае, если оно допускает распечатку первой машиной, и ложным-в том и только том случае, если оно может быть напечатано второй машиной. [24]

Очень схематичное представление рекурсивного множества. [25]

А как насчет подмножества Г множества N, которое состоит из истинных утверждений нашей формальной системы. [26]

Зазеркальный логик убежден в истинности всех ложных и не убежден в истинности истинных утверждений. [27]

Во-вторых, на более высоком уровне, у нас имеется соответствие между истинными утверждениями и теоремами. Заметим, однако, что это соответствие высшего уровня не может быть осознано, пока мы не выберем интерпретации для символов. [28]

Начнем хотя бы с вопроса, может ли зазеркаль-ный логик быть убежденным в истинности истинного утверждения - предложил Шалтай-Болтай. [29]

При замене многоточия словами необходимо, достаточно, необходимо и достаточно получаются, очевидно, истинные утверждения. [30]

Страницы: 1 2 3 4