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

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


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

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

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

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

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













Фото размещено из открытых источников Интернета...