|
|
Регистрация Восстановить пароль |
Регистрация | Задать вопрос |
Заплачу за решение |
Новые сообщения |
Сообщения за день |
Расширенный поиск |
Правила |
Всё прочитано |
|
|
Опции темы | Поиск в этой теме |
17.06.2018, 10:48 | #51 |
Пользователь
Регистрация: 06.11.2015
Сообщений: 39
|
Является ли X ≠ X в определении пустого множества {X | X ≠ X} формулой? Да. Это всегда ложная формула, поскольку она превращается в ложное высказывание при подстановке конкретных высказываний вместо ее переменных.
Всегда ложная формула X ≠ X является отрицанием тавтологии: not (X = X) |
17.06.2018, 14:22 | #52 |
Пользователь
Регистрация: 06.11.2015
Сообщений: 39
|
И наоборот, свойство НЕ пустого множества {X | X = X} можно использовать:
Код:
|
17.06.2018, 14:44 | #53 |
Пользователь
Регистрация: 06.11.2015
Сообщений: 39
|
При этом (код выше) False здесь равен себе (поэтому суммируем)
Но вот что писал (вложение) Фреге: 0 – это число, соответствующее понятию «равно 0, но не равно 0». Перефразирую: False – это число, соответствующее понятию «равно False, но не равно False» ... c полным соответствии с False==(False!=False). |
18.06.2018, 04:39 | #54 |
Пользователь
Регистрация: 06.11.2015
Сообщений: 39
|
Как сконструировать натуральный ряд чисел?
В программе выше используется встроенная возможность python плюсовать единицы. Но можно написать свою. Правило: каждое последующее натуральное число (первый, второй, третий и т.д.) - то, что равно себе и при этом различается с каждым предыдущим. 0-й = то, что равно и не равно себе (т.е. False) 1-й = то, что равно себе и не тоже, что 0-й (т.е. True) 2-й = то, что равно себе и не тоже, что 0-й, 1-й 3-й = то, что равно себе и не тоже, что 0-й, 1-й, 2-й Например: для множества {a, b} Выберем какой-то элемент, например, b. Он равен себе? Да. Он различается с неравным себе? Да. Тогда он 1-й. Выберем другой элемент. Он равен себе? Да. Он различается с предыдущими (с 0-й, 1-й)? Да. Тогда он 2-й. |
18.06.2018, 04:54 | #55 |
Форумчанин
Регистрация: 12.04.2017
Сообщений: 889
|
Такие тонкости....а вы в курсе, что 1 не обязательна? Чаще всего используется, но...есть старые компиляторы С, которые поставят просто "не ноль", но совершенно не обязательно 1. Это не оговаривалось стандартом (мб и щас не оговаривается - не помню).
Вобще вы на чат-бота смахивать начинаете...мб снова админы эксперементируют с ИИ на нас. |
18.06.2018, 04:55 | #56 |
Пользователь
Регистрация: 06.11.2015
Сообщений: 39
|
Для справки (о формулах):
ТЕОРЕМА ГЁДЕЛЯ О НЕПОЛНОТЕ В ЭЛЕМЕНТАРНОМ ИЗЛОЖЕНИИ [стр 10] 1) выражения языка (такие, как 2 + 3, х + 3, х = у, х = 3, 2 = 3, 2 = 2 — в отличие от таких как + = х) 2) среди выражений выделяются так называемые формулы, означающие при интерпретации «утверждения, зависящие, быть может, от параметра» (такие, как х = 3, х = у, 2 = 3, 2 = 2) 3) среди формул выделяются так называемые замкнутые формулы, или утверждения, не зависящие от параметра, (такие, как 2 = 3,2 = 2) 4) среди утверждений выделяются истинные утверждения (такие, как 2 = 2) |
18.06.2018, 08:46 | #57 |
Старожил
Регистрация: 17.11.2010
Сообщений: 18,922
|
Из полемики вынес - все программы работают не правильно, потому, что ложь не равна лжи, а равна истине )) И на закус - при этом еще равна лжи, и вообще не существует
Если бы архитекторы строили здания так, как программисты пишут программы, то первый залетевший дятел разрушил бы цивилизацию
Последний раз редактировалось Аватар; 18.06.2018 в 08:49. |
18.06.2018, 09:11 | #58 | |
Пользователь
Регистрация: 06.11.2015
Сообщений: 39
|
Цитата:
Впервые к весьма похожим рассуждениям пришел Фреге. Гедель поставил же точку на надежду математиков выразить всё истинно. Это невозможно. Вот всегда истинные и всегда ложные формулы и используются, чтобы выразить это всё на абстрактом уровне (т.е. не только истинно). |
|
18.06.2018, 09:40 | #59 |
Старожил
Регистрация: 17.11.2010
Сообщений: 18,922
|
Парадоксальность и абстрактность формальной логики не мешают её использованию в математике и в том же программировании. Так же абстрактность точки, прямой или нерастяжимой абсолютно упругой струны в математике совершенно не мешают при использовании их в расчетах, естественно с какой то степенью точностью.
Если бы архитекторы строили здания так, как программисты пишут программы, то первый залетевший дятел разрушил бы цивилизацию
|
18.06.2018, 09:59 | #60 | |
Пользователь
Регистрация: 06.11.2015
Сообщений: 39
|
Цитата:
Так, в таблице истинности эквиваленция и конъюнкция различны лишь одним: когда оба операнда - ложь (в остальном все тоже). В этом как раз и заключается парадоксальность нуля. И именно для избежания этого, нулю "быть равным себе" и "быть не равным себе" разнесены по разным операциям. Отлично! Но чтобы выразить сам ноль - это же и мешает. Последний раз редактировалось bulygin69; 18.06.2018 в 10:09. |
|
|
Похожие темы | ||||
Тема | Автор | Раздел | Ответов | Последнее сообщение |
Что такое "заведомая ложь"... | waleri | Свободное общение | 18 | 15.01.2015 08:44 |
Возврат ИСТИНА или ЛОЖЬ при выполнении нескольких условий | HorrorJuice | Microsoft Office Excel | 4 | 01.02.2014 13:41 |
Не могу понять почему в результате "ЛОЖЬ" | Questru | Microsoft Office Excel | 5 | 16.08.2013 14:27 |