Python-сообщество

Rodegast
> Из формулы

Ты бы своими фантазиями на математическом форуме поделился

Rodegast
> Возьми множество натуральных чисел или множество целых чисел. Есть там порядок?

Нет.

#include <iostream>
using namespace std;

/*ЛОГИКА ТА ЖЕ 
('y' не есть) == ('y' != 'y') 
('y' есть) == ('y' == 'y')
в законах де Моргана: */

int main() {
    char x;
    do {
        cout << "x: ";  
        cin >> x;
    } while (x != 'y' && x != 'n');
             //цикл прерываем: ('y' не есть  и  'n' не есть)
    //} while (!(x == 'y' || x == 'n'));
             //цикл прерываем: not ('y' есть или 'n' есть)
           
      
       
    /*если (каждое Х, такое что Х не существует), 
    то не (хотя бы одно Х существует)*/
    
    /*если не (хотя бы одно Х существует), 
    то (каждое Х, такое что Х не существует), 
    */
    
    cout << "y/n: " << x << endl;
}

 #Тоже на python
x = input("x: ")
while (x != 'y' and x != 'n'): 
#while not (x == 'y' or x == 'n'):
    x = input("x: ")
print("y/n: ", x)

Отредактировано bulygin69 (Ноя. 22, 2018 05:39:47)

Более наглядно …



Если каждый (зверь – животное), то хотя бы один (зверь – животное).
Если каждый (зверь – не насекомое), то каждое (насекомое – не зверь).
Если каждый (зверь – не насекомое), то хотя бы одно (насекомое – не зверь).
Если каждый (зверь – животное), то нет такого, что хотя бы один (зверь – не животное).
Если каждый (зверь – не насекомое), то нет такого, что хотя бы один (зверь – насекомое).



P.S. Если посмотреть сверху-вниз на эти множества, то получим круги Эйлера

Отредактировано bulygin69 (Ноя. 22, 2018 06:45:57)

И последнее, что хотелось бы сказать …

Успенский / Теорема Геделя о неполноте:

Ссылка:

##################
Для каждой формальной системы невозможно доказать (выразить истинно): либо Х, либо not Х.
Всегда найдется хотя бы одно Х, такое что: Х истинно и оно же ложно.

Вот NULL таковым и является:
NULL = (False == False and False != False)
т.е. ноль равен нулю и ноль не равен нулю.

> В 2014 написал статью “Фундаментальное ограничение математики”, лицензия на которую была получена от ведущего научного сотрудника Курчатовского института.

Скажи честно, тебе клоуном быть не надоело? Математическая логика в первую очередь нужна для проверки истинности утверждений. Ты же берёшь заведомо ложное высказывание, при помощи мат. логики ты доказываешь его ложность (твоё феерическое False == False and False != False ложно), а потом зачем то сравниваешь эту ложь с нулём.

> А в школе у тебя по математике что было?

Не путай множество натуральных чисел и натуральный ряд.

bulygin69 это забавная дисскусия, я даже прочитал вашу статью, не скажу что я все понял, но думаю основную мысль я уловил. А вот вы кажеться не понимаете как работает тот или иной ЯП вообще и в частности, пайтон.
Давайте по порядку рассмотрим ваш код :
Возможно с точки зрения математики NULL = (False == False and False != False) так и есть, но это выражения нельзя просто взять и перенести в пайтон “в тупую” как это сделали вы:

 y = (False == False and False != False)

 for i in x:        
        y = (i == i) + y

 def sum(x):
    y = 0
    for i in x:
        y = 1 + y
    return y

 m = {'d', 9, True, None, 9, 'd'}

[code python][/code]

Отредактировано PEHDOM (Ноя. 22, 2018 10:42:26)

Rodegast
Не путай множество натуральных чисел и натуральный ряд.

> А множество целых чисел - это целый ряд? Что значит “на множестве задано отношение”?

Нет. ℕ это не упорядоченное множество. А натуральный ряд это уже упорядоченная структура т.е. это ℕ на котором задано отношение (в данном случае отношением является функция следования см аксиому Пеано на которую ссылается bulygin69 в начале дискуссии).

PEHDOM
Вы могли с тем же успехом написать y = False

PEHDOM
(False == False and False != False) ВСЕГДА равно False

PEHDOM
(i == i) у нас ВСЕГДА будет True

PEHDOM
Следовательно ваше y = True + y можно записать как y = 1 + y.

PEHDOM
Множество не может содержать неуникальных элентов и ваше множество превращаеться в {9, None, ‘d’, True}