Monthly archive

Январь 2017- стр. 9

15 января, 2017

Нельзя создавать глобальный язык не оставив при этом локальных языков

Иначе мы будем иметь только одну картину миру, столь же наивную как наивны историки, разделяющие историю на этапы от древнего мира до средних веков и нового времени.
15 января, 2017

Сначала любая вещь проходит этап постоянного улучшения и взросления, она совершенствуется за счет добавления новых функций

Позже она улучшается удаляя часть ненужных функций. Прогресс никогда не стоит на месте и сегодняшняя бабочка изменилась на очень много, хотя думается что она осталась прежней. Существа стремятся прийти к идеалы — законченному произведению. Тоже самое происходит и с предметами. Например, создается велосипед. Он модифицируется, к нему добавляются новые характеристики. Спустя какое-то время его как бы заново изобретают, делая прочнее, дешевле, удобней и убрав «плохие» функции. Так же можно объяснить почему до сих живут почти не изменившиеся бактерии, насекомые. Просто в определенный период они останавливают свой «рост», зацикливаясь на улучшении в сторону упрощения. Человек, как часть природы, понаберет кучу новых
15 января, 2017

Про паранепротиворечивую логику

Давно думаю, что бинарная логика где-то может давать сбой, когда на вход поступает несколько независимых источников с угрозой противоречивости информации. Нужна паранепротиворечивая логика. Поэтому классическая, интуиционистская, конструктивная и ряд других логик не годятся в качестве логик, которые могут быть основанием противоречивых, но нетривиальных теорий. Положительные логики также для этого не годятся, ибо в них нет операции отрицания. Некоторое современные логики (например, немецкий логик К. Вессель) не признают паранепротиворечивых логик. Построением паранепротиворечивых логических систем занимаются, однако, отечественные логики А. С. Карпенко, А. Т. Ишмурагов и др. Одно высказывание про четырехзначную логику Белнапа Как пример — четырехзначная логика: Т — “говорит только
1 7 8 9 10 11