Форум программистов
 
Контакты: о проблемах с регистрацией, почтой и по другим вопросам пишите сюда - alarforum@yandex.ru, проверяйте папку спам! Обязательно пройдите активизацию e-mail.

Вернуться   Форум программистов > Технологии > Общие вопросы по программированию, компьютерным наукам
Регистрация

Восстановить пароль
Повторная активизация e-mail

Ответ
 
Опции темы
Старый 17.06.2018, 11:48   #51
bulygin69
Пользователь
 
Регистрация: 06.11.2015
Сообщений: 39
Репутация: 10
По умолчанию

Является ли X ≠ X в определении пустого множества {X | X ≠ X} формулой? Да. Это всегда ложная формула, поскольку она превращается в ложное высказывание при подстановке конкретных высказываний вместо ее переменных.

Всегда ложная формула X ≠ X является отрицанием тавтологии: not (X = X)
bulygin69 вне форума   Ответить с цитированием
Старый 17.06.2018, 15:22   #52
bulygin69
Пользователь
 
Регистрация: 06.11.2015
Сообщений: 39
Репутация: 10
По умолчанию

И наоборот, свойство НЕ пустого множества {X | X = X} можно использовать:

Код:

#Если элемент множества равен себе,
#то он существует. Чтобы считать, достаточно:
#равным себе элементам попарно различаться.
def sum(y):
    ''' Поскольку элементы множества (по определению)
    попарно различаются, выделяем в каждом из них
    свойство "равняться себе" '''
    s = False
    for x in y:
        s = s + (x==x)
    return s
    
print(sum({'', 6-3, None, False})) #вернет 4
print(sum({})) #вернет False, т.е ноль

bulygin69 вне форума   Ответить с цитированием
Старый 17.06.2018, 15:44   #53
bulygin69
Пользователь
 
Регистрация: 06.11.2015
Сообщений: 39
Репутация: 10
По умолчанию

При этом (код выше) False здесь равен себе (поэтому суммируем)

Но вот что писал (вложение) Фреге: 0 – это число, соответствующее понятию «равно 0, но не равно 0».

Перефразирую: False – это число, соответствующее понятию «равно False, но не равно False» ... c полным соответствии с False==(False!=False).
Изображения
Тип файла: jpg Фреге_основоположеия_арифметики-стр-50.jpg (35.4 Кб, 13 просмотров)
bulygin69 вне форума   Ответить с цитированием
Старый 18.06.2018, 05:39   #54
bulygin69
Пользователь
 
Регистрация: 06.11.2015
Сообщений: 39
Репутация: 10
По умолчанию

Как сконструировать натуральный ряд чисел?

В программе выше используется встроенная возможность
python плюсовать единицы. Но можно написать свою.

Правило: каждое последующее натуральное число
(первый, второй, третий и т.д.) - то, что равно себе
и при этом различается с каждым предыдущим.


0-й = то, что равно и не равно себе (т.е. False)
1-й = то, что равно себе и не тоже, что 0-й (т.е. True)
2-й = то, что равно себе и не тоже, что 0-й, 1-й
3-й = то, что равно себе и не тоже, что 0-й, 1-й, 2-й

Например: для множества {a, b}
Выберем какой-то элемент, например, b. Он равен себе? Да.
Он различается с неравным себе? Да. Тогда он 1-й.
Выберем другой элемент. Он равен себе? Да.
Он различается с предыдущими (с 0-й, 1-й)? Да. Тогда он 2-й.
bulygin69 вне форума   Ответить с цитированием
Старый 18.06.2018, 05:54   #55
alexzk
Участник клуба
 
Регистрация: 12.04.2017
Сообщений: 889
Репутация: 172
По умолчанию

Такие тонкости....а вы в курсе, что 1 не обязательна? Чаще всего используется, но...есть старые компиляторы С, которые поставят просто "не ноль", но совершенно не обязательно 1. Это не оговаривалось стандартом (мб и щас не оговаривается - не помню).

Вобще вы на чат-бота смахивать начинаете...мб снова админы эксперементируют с ИИ на нас.
alexzk вне форума   Ответить с цитированием
Старый 18.06.2018, 05:55   #56
bulygin69
Пользователь
 
Регистрация: 06.11.2015
Сообщений: 39
Репутация: 10
По умолчанию

Для справки (о формулах):
ТЕОРЕМА ГЁДЕЛЯ О НЕПОЛНОТЕ В ЭЛЕМЕНТАРНОМ ИЗЛОЖЕНИИ [стр 10]

1) выражения языка (такие, как 2 + 3, х + 3, х = у, х = 3, 2 = 3, 2 = 2 — в отличие от таких как + = х)

2) среди выражений выделяются так называемые формулы, означающие при интерпретации «утверждения, зависящие, быть может, от параметра» (такие, как х = 3, х = у, 2 = 3, 2 = 2)

3) среди формул выделяются так называемые замкнутые формулы, или утверждения, не зависящие от параметра, (такие, как 2 = 3,2 = 2)

4) среди утверждений выделяются истинные утверждения (такие, как 2 = 2)
bulygin69 вне форума   Ответить с цитированием
Старый 18.06.2018, 09:46   #57
Аватар
Модератор
Заслуженный модератор
 
Аватар для Аватар
 
Регистрация: 17.11.2010
Адрес: Северодонецк.ua
Сообщений: 17,990
Репутация: 6304
По умолчанию

Из полемики вынес - все программы работают не правильно, потому, что ложь не равна лжи, а равна истине )) И на закус - при этом еще равна лжи, и вообще не существует
__________________
Если бы архитекторы строили здания так, как программисты пишут программы, то первый залетевший дятел разрушил бы цивилизацию

Последний раз редактировалось Аватар; 18.06.2018 в 09:49.
Аватар вне форума   Ответить с цитированием
Старый 18.06.2018, 10:11   #58
bulygin69
Пользователь
 
Регистрация: 06.11.2015
Сообщений: 39
Репутация: 10
По умолчанию

Цитата:
Сообщение от Аватар Посмотреть сообщение
Из полемики вынес - все программы работают не правильно, потому, что ложь не равна лжи, а равна истине )) И на закус - при этом еще равна лжи, и вообще не существует
На самом деле все очень просто. Рассуждения примерно такие, как у физиков: что было, когда ничего не было

Впервые к весьма похожим рассуждениям пришел Фреге. Гедель поставил же точку на надежду математиков выразить всё истинно. Это невозможно. Вот всегда истинные и всегда ложные формулы и используются, чтобы выразить это всё на абстрактом уровне (т.е. не только истинно).
bulygin69 вне форума   Ответить с цитированием
Старый 18.06.2018, 10:40   #59
Аватар
Модератор
Заслуженный модератор
 
Аватар для Аватар
 
Регистрация: 17.11.2010
Адрес: Северодонецк.ua
Сообщений: 17,990
Репутация: 6304
По умолчанию

Парадоксальность и абстрактность формальной логики не мешают её использованию в математике и в том же программировании. Так же абстрактность точки, прямой или нерастяжимой абсолютно упругой струны в математике совершенно не мешают при использовании их в расчетах, естественно с какой то степенью точностью.
__________________
Если бы архитекторы строили здания так, как программисты пишут программы, то первый залетевший дятел разрушил бы цивилизацию
Аватар вне форума   Ответить с цитированием
Старый 18.06.2018, 10:59   #60
bulygin69
Пользователь
 
Регистрация: 06.11.2015
Сообщений: 39
Репутация: 10
По умолчанию

Цитата:
Сообщение от Аватар Посмотреть сообщение
Парадоксальность и абстрактность формальной логики не мешают её использованию в математике и в том же программировании. Так же абстрактность точки, прямой или нерастяжимой абсолютно упругой струны в математике совершенно не мешают при использовании их в расчетах, естественно с какой то степенью точностью.
Верно, не мешает. Поскольку используется отдельно либо одна сторона парадоксальности, либо другая. Но не вместе! Сама суть математики - поиск истины. А тут получается, что требуется выход за ее пределы.

Так, в таблице истинности эквиваленция и конъюнкция различны лишь одним: когда оба операнда - ложь (в остальном все тоже). В этом как раз и заключается парадоксальность нуля. И именно для избежания этого, нулю "быть равным себе" и "быть не равным себе" разнесены по разным операциям.

Отлично! Но чтобы выразить сам ноль - это же и мешает.

Последний раз редактировалось bulygin69; 18.06.2018 в 11:09.
bulygin69 вне форума   Ответить с цитированием
Ответ

Опции темы

Ваши права в разделе
Вы не можете создавать новые темы
Вы не можете отвечать в темах
Вы не можете прикреплять вложения
Вы не можете редактировать свои сообщения

BB коды Вкл.
Смайлы Вкл.
[IMG] код Вкл.
HTML код Выкл.

Быстрый переход

Похожие темы
Тема Автор Раздел Ответов Последнее сообщение
Что такое "заведомая ложь"... waleri Свободное общение 19 15.01.2015 09:44
Возврат ИСТИНА или ЛОЖЬ при выполнении нескольких условий HorrorJuice Microsoft Office Excel 4 01.02.2014 13:41
Не могу понять почему в результате "ЛОЖЬ" Questru Microsoft Office Excel 5 16.08.2013 14:27


08:37.


Powered by vBulletin® Version 3.8.8 Beta 2
Copyright ©2000 - 2018, Jelsoft Enterprises Ltd.

RusProfile.ru


Справочник российских юридических лиц и организаций.
Проекты отопления, пеллетные котлы, бойлеры, радиаторы
интернет магазин respective.ru