Блокчейн. Математическая логика!

Математическая логика и теория алгоритмов

Сегодня только ленивый не пишет о платформе блокчейн, криптовалютах и биткоине. Хочется мне рассказать или показать то, на чем ныне в своей основе базируется наше будущее – это блокчейн, новейшая технология хранения данных, защищенная математическими правилами так, что никто из посторонних не может завладеть ими, как бы того не желал. А из чего вся эта основа произрастает? Кратко вот и хочу рассказать о том предмете обсуждения под названием – математическая логика и теория алгоритмов. Хотя – это то, как я думаю и понимаю. Может, все совершенно не так?! Здесь на Голосе много профессионалов и спецов, которые помогут и мне, и другим разобраться во всей этой чехарде, дополнив мой пост своим предложениями.

А речь вот о чем. Иной раз в жизни ты вдруг встречаешь такое, что это нечто полностью переворачивает всю твою жизнь. Всего год с небольшим я неожиданно начал читать и постигать эту можно сказать науку, а другого определения здесь нет. И вот итог того, что постиг именно для себя. Когда у тебя появляются вот такие труды, ты осознаешь, что – в общем-то, ничего не знаешь. Когда-то ещё в советское время был некий афганец, который на основе математических вычислений мог предсказать судьбу любого человека. Звучало, конечно же, красиво, но совсем непонятно для любого из нас. Ты прекрасно понимаешь, что такое космос, а что это такое вообще – и понятия нет. Так же и здесь… Поэтому и хотелось бы мне сообща порассуждать на эту злободневную тему для всех!

Логика возникла ещё в Древней Греции, примерно в 320 годах до нашей эры. Знакомо нам это в работах Аристотеля в его сочинении «Аналитика». Это все, что дошло до наших дней. Люди того времени уже изучали сей предмет, а мы в большинстве своём и сегодня не знаем и не понимаем элементарных основ из данного предмета. Так же теперь вот для меня знакома и буддистская логика, но и эта наука дошла до нас вот уже в наши дни, хотя мало кто знаком и с ней так же. Математическая логика отличается тем, что пользуется языком математических символов. Изучая это направление, узнаешь и ее основоположников, живших, так сказать уже почти рядом с нами – это Рассел, Буль, Фреге, Пиано. И уже начиная с 19 века, по программе Гильберта обоснование математики с помощью логики привела к формализации теорий, чем и было решено множество частных задач. Именно это мне и хотелось рассказать и получить дополнительные ответы от более знающих людей в этой области знаний.

И что в итоге, если бы мы хотели немного более узнать для себя? Благодаря этому мы теперь уже хорошо знаем то, что и в наше время полностью доказана непротиворечивость элементарной арифметики, геометрии, анализа, аксиоматической системы теории множеств. Некоторые важные теории оказались полными, например – элементарная геометрия и теория векторных пространств. Используя множество других теории, получены предложения, которые нельзя ни доказать, ни опровергнуть. В аксиоматической теории множеств – это аксиома выбора. Теперь (сегодня) выбор есть и у нас при появлении криптовалют, биткоина и особо платформы блокчейн. В математической логике было дано точное определение алгоритма и вычислимости. Здесь мы понимаем, что вопрос о существовании алгоритмов имеет для математики огромнейшее и первостепенное значение. Как мы знаем еще со школьной скамьи – это алгоритм существования решений для системы уравнений. Но не существует единого алгоритма для решения всех задач. Именно это и хорошо, так как мы получаем свободу в продвижении любого математического продукта, основанного на анархии и хаосе вначале, но в дальнейшем всегда выстраивается цепь (как раз блокчейн), ведущая к порядку.

И вот в последние годы наших дней, как мы знаем, да и убедились на практических примерах – большое внимание уделяется теории сложности алгоритмов и вычислений. С приходом новых технологий выяснилось, что одного только существования алгоритма, решающего какую-либо задачу – недостаточно для практического применения. Здесь то и пришла теперь всем нам знакомая криптографическая стойкость, ставшая настолько актуальной при развитии сетей мировой паутины Интернет с основами вычислительной техники, при которых теперь базируются все те криптовалюты, начиная с Биткоина на основе платформы блокчейн и их грандиозной системой технологической инновацией для проведения цепочек транзакций в любой точке мира. И прекрасно то, что и мы, находясь здесь на Голосе так же встроены в эту мировую цепь транзакций и можем заниматься каждый своим делом, творчески подходя к любому направлению, ведущему всех нас только вперед, предоставив удобные инструменты для работы.

Так что - не ленитесь только господа-товарищи, делайте дело, творите и будьте при этом счастливы. Мы живем сейчас в прекрасное время, когда скорости выполнения и возможности каждого увеличены настолько, что мы даже не успеваем осмыслить одно направление, как появляется масса новых. Давайте вместе штурмовать новые вершины, применяя новые технологии, а так же математическую логику! Есть возможность создать мощную команду творческих людей для решения любых задач, идей и проектов.

Подписывайтесь на мой блог @alex-zaikin.
Я всегда на связи.

С уважением ко всем - Александр!