Компьютер моей мечты - такой, который обладает гигантской пропускной в плане взаимодействия с пользователем. Лично я набираю этот текст на клавиатуре примерно на 1/20 от той скорости, с которой я бы его читал, а читаю этот текст я примерно на 1/3 от скорости моего мышления. Это крайне медленно. Прорывной компьютер должен быть на прямое считывание наших мыслей, никаких клавиатур, мышей и микрофонов. Естественно, у него должна быть нерушимая защита от взлома. И еще кое-что - на нем должна быть программа мощного ИИ для значительного усиления моих творческих, познавательных и коммуникативных Только делать ИИ умнее меня не стоит, ибо могут проявиться некоторые "непредсказуемые последствия". Хоть сейчас все это и кажется фантастикой, но примерно через 40-50 лет и прямая связь с мозгом, и ИИ уровня человека (или чуть повыше) вполне могут стать обыденностью, как это сейчас и произошло с Айфонами и интернетом.
Воот. Мне определенно следует меньше читать Тима Урбана...
Суть в том, что Эйлер развил метод (кое-какие наработки были и до него) когда множество обозначается кругом (или подмножества - в зависимости от условий) или, как вариант, если задача логическая, то кругом обозначают высказывание. В последнем случае то, что отрицает высказывание - это часть плоскости уже за кругом. Наглядно получается и удобно. Но, надо заметить, что дальнейшее развитие эти схемы получили в трудах англичанина Джона Венна, поэтому сейчас их называют диаграммами Эйлера-Венна. На них наглядно можно показать все логические действия с высказываниями. Например, умножение двух или более высказываний. Область пересечений этих высказываний - это и есть результат их умножения. По сложению - результат сложения двух высказываний это вся их область вместе взятая. И так далее. Так с диаграмм можно доказывать логические равенства или неравенства. Сам Эйлер занимался не только математикой, но ещё и физикой, астрономией и механикой. Жил в 18 веке.
Воот. Мне определенно следует меньше читать Тима Урбана...