Исходное сообщение
"Выпуск среды разработки PascalABC.NET 3.9.0" Отправлено Тот_Самый_Анонимус_, 27-Июл-23 15:13
>Да? Есть "математический" язык коим является ЯП, есть "живой" язык которой не подходит для описания алгоритмов. Правильно изложил исходный тезис? По сути да, с некоторыми оговорками. Потому как живой язык не обладает достаточной степенью формализации, чтобы считать его ЯП. Даже сверзафармализованные английский и эсперанто не подходят, ибо существуют предложения, которые даже носитель языка не сможет трактовать однозначно. Понятно что для описания юридических алгоритмов или техпроцессов годится живой язык, но с обязательной жёсткой формализацией. >Контрдоводом на него оверхдохрена языков, которые обходятся не то, что без +\-, но и без plus\minus - а то и вовсе без _текстового_ описания - и им это почему-то никоим образом не мешает. Пример бы не помешал. Что это за такие языки, которые не являются записью неких математических действий и при том способны содержать алгоритм. >без _текстового_ описания А кто сказал что математика обязательно в тексте?