Согласны ли вы с утверждением, что компьютерная программа - это математическая формула?
Следовательно, в основе виртуального мира-математика.
ПрограммированиеМатематикаКомпьютерные программы
Вары Грин (Vary Green)Философия
· 19,7 K
Инженер - строитель. Экономист - математик. к.э.н. "Математические и инструментальные... · 21 июл 2022
Я Вам еще более интересное могу сказать. Программа и формула это - число. Сейчас покажу как это делается. Представьте что у нас есть некая формальная система, состоящая из алфавита: "Пробел", А, М, Л, Р, У, Ы. Сопоставим каждому символу алфавита номер: Пробел =1, А=2, М=3, и т.д.
Есть основная теорема арифметики: любое число можно представить как произведение простых чисел в степенях. Теперь зашифруем фразу "Мама мыла раму" исходя из этой теоремы: (см в приложении). Получим невообразимо большое число. Если это число факторизовать (разложить на простые множители), то восстановим фразу. Причем любое число можно разложить единственным образом. Соответственно, любому числу соответствует конкретная фраза (неважно осмысленная или нет).
Так можно числом зашифровать хоть "Войну и Мир", а не то что формулу или программу. Вопрос в том, что факторизация больших чисел недоступна современным компьютерам, но будет доступна квантовым (алгоритм квантовой факторизации открыл Д. Дойч)
У вас в вопросе и в дополнении к нему всё в кучу смешалось.
Нет, я не согласен с этим утверждением, потому что я точно знаю, что в общем смысле программа для компьютера - это не математическая формула, по определению. Да, можно прикопаться к словарному определению слова "формула", что программа это действительно "условное выражение (числами, буквами, специальными... Читать далее
1 эксперт согласен
Nikita Dvorets
15 июня 2022подтверждает
Содержательный ответ по различиям понятий "формула" и "программа". В дополнение - от формулы ожидается какой-то... Читать дальше
Моё мнение: программы чаще похожи на художественный текст, т.к. изложены в хаотичной манере, немного непредсказуемы и поэтому с трудом познаются лишь только рационально.
Непредсказуемость в программах вызвана не только их чрезмерной для единомоментного схватывания умом сложностью, но и влиянием независящих от программы состояний. И я не уверен, что это то же самое, как... Читать далее
1 эксперт согласен
Вы описываете структуры и своиства формул. Как бы анализируете содержание формулы, а не суть самой записи программы... Читать дальше
Член ММО - Московского математического Общества. Кстати, старейшего в мире.
Л.М. Коганов. · 2 мая 2022
Не согласен. Полагаю,что программная реализация алгоритма это его отбражение в кодах машины, либо выше - в языке, пригодном для трансляции в кодовую цепочку. Доставляющую детерминированный порядок действий.
Есть языки типа ЛИСП'а, допускающие квазиформульную запись.
Формула есть слово / фраза метаязыка над любым естественным, достаточно развитым "человеческим" языком... Читать далее
2 эксперта согласны
Программное обеспечение (также известное как приложение или программная сущность). Это набор или серия команд... Читать дальше
Инженер - строитель. Экономист - математик. к.э.н. "Математические и инструментальные... · 21 июл 2022
Да, компьютерную программу можно назвать математической формулой. Мало того, именно это она собой и представляет в конечном итоге. Информатика и, в частности, "Теория алгоритмов" основана на дискретной математике. Фундамент информатики и теории алгоритмов был заложен математиками Аланом Тьюрингом, Чёрчем, Фон Нейманом, К. Гёделем…. Есть классический стэнфордский учебник... Читать далее
1 эксперт согласен
Денис Васильковский
23 июля 2022подтверждает
Есть и практические применения строгого математического подхода к программированию. Многие современные функциональн... Читать дальше
Математика, конечно, находится в основе всего мира – и виртуального, и любого другого.
Насчёт же того, можно ли ставить знак равенства между программой и формулой – это вопрос игры в слова, зависящий от того, как мы определим одно и другое понятие.
В принципе это разное:
- программа (греч. пропись) – последовательность действий, которые нужно выполнить;
- формула (лат... Читать далее
Программа, имеется в виду, как листинг, текст, а не процесс её исполнения.
При чем и логика процессора тоже входит... Читать дальше
Математическая формула подобна идеальной компьютерной программе. Мы забрасываем что-то на входе и получаем нужный ответ на выходе.
Компьютерная программа из-за ошибок программиста может выдать совершенно бесполезный ответ на выходе. Но от этого компьютерная программа не перестает оставаться компьютерной программой.
Ответ: Я не согласен с таким утверждением, так как... Читать далее
"Нужное-ненужное" это оценка создателя программы.
Но программе-формуле это безразлично. Она получила данные и... Читать дальше
Ну в Си - подобных языках широко используется понятие "функция" или "метод". Я бы сказал, что "подпрограммы" в современных языках программирования имеют даже более продвинутый смысл.
Чем вам не формула:
А это ведь еще и программный модуль наложения маски на изображение. Аргументами здесь являются матрицы и возвращает функция матрицу.
Сама по себе программа или бинарный... Читать далее
Вы, утверждая, что это не формула, с чем сравнивает программу, со своим представлением о формулах или с определением формулы?
Компьютерная программа это частный случай математической формулы по определению. Наверно нет ничего «плохого» в том, чтобы считать, что это одно и тоже. В основе виртуального мира ничего не лежит т.к. виртуальный мир никак не определён. Математика никак не определена над чем то или в основе чего то.
1 эксперт не согласен
Марк Сафронов
17 июня 2022возражает
"По определению" - отлично, давайте ссылку на это определение. Про математику комментировать не буду, не та... Читать дальше
Утверждение вполне обоснованное, а вот следствие из него на первый взгляд неочевидное (но это только на первый взгляд). Спасибо за вопрос, очень забавляют атаки отвечающих знатоков программирования на математику, без понимания которой негоже называться программистом.
1 эксперт не согласен
konstantin kazartsev
3 мая 2022возражает
Computer science && computer engeneering давно уже переросли породившую их математику по целям и масштабам (как в... Читать дальше