Во-первых, если речь идет об одном соответствии - через дифференциацию значения соответствия. Если возникает ситуация при которой оказывается, что аргументам «Вольво» и «Форд» соответствует одно значение - семейный класс, то следует добавить что-то еще, чтобы эти представительские классы были бы различными. Во-вторых соответствие может быть делимо, т.е. может распасться на два соответствия. Так, например я могу ввести соответствия «шведский автомобиль» и «американский автомобиль». Это будут два соответствия и тогда соответствия ««Вольво» -- семейный класс» и ««Форд» -- семейный класс» не будут представлять собой проблемы в смысле деликатности.
18. Скажут: «вы все равно никуда не денетесь от высказываний вроде «HP LaserJet 1020» это принтер». Пусть так, но я интерпритирую его не иначе, как соответствие, а именно соответствие тождества:
Принтер
HP LaserJet 1020 HP LaserJet 1020
Философы интерпритируют высказывание «HP LaserJet 1020» это принтер» как обращение к более общему и более фундаментальному - к общей идее. Я в ответ на это скажу: простите, но прежде всего должен заметить вам, что «HP LaserJet 1020» это прежде всего «HP LaserJet 1020». «HP LaserJet 1020» это сначала «HP LaserJet 1020», а только потом, на основании этого - «принтер».
19. Как видно из вышесказанного я в конце концов примирился с классическим типом определения через род и видовое отличие, но понимаю их совершенно особым образом. Если говорится: ««Вольво» -- автомобиль семейного класса», то говорится, я полагаю, следующее: «Вольво» это «Вольво», но ему поставлено в соответствие «семейный класс» и это соответствие как для «Вольво» и «семейного класса» так и другие мы называем «автомобиль». Дедуктивное определение понимается мною как индуктивное и является не определением понятия, а заданием соответствия.
20. Итак, я отрицаю «общие идеи», т.е. роды и таким образом определения через род и видовое отличие. Единственные «общие идеи», которые я согласен признать это соответствия.
Функция и инструкция.
21. В математике термин «род» давно потеснен. Когда говорят «2 это число» мыслят в сущности архаично. Формальный математический язык сегодня реформирован в соответствии с теоретико-множественной концепцией Кантора. Сегодня уже все чаще говорят «2 это элемент из множества натуральных чисел». Термин «множество» оказывается не менее фундаментальным, чем термин «число». Подход Кантора -- либерален и фундаментален, достаточно сказать «2 это элемент множества». В том-то и дело, что мы открываем в себе способность оперировать объектами и характеризовать объекты, которые не можем подвести под общее имя, но можем перечислить: человек, лягушка, бутылка вина. Есть множество, заданное простым перечислением. Мы можем охарактеризовать это множество, заявив, что это множество мощности три. Мы можем оперировать им: рассмотрим множество (человек, лягушка, бутылка вина). Далее: рассмотрим множество (статуя, лягушка). Возьмем пересечение этих множеств. Получим: множество (лягушка). Речь идет о фундаментальной математической операции, не предполагающей ссылки на какое-либо «качество», возможной без представления «общей идеи».
22. В пределах современной, практикующей теоретико-множественный подход, математики стремительно развивается такое понятие как функция. Это сравнительно новый термин в математике введенный только в 17 веке Бернулли, но если сегодня просмотреть философскую, математическую, физиологическую, психологическую литературу, то можно заметить, что это едва ли не самый популярный из математических терминов. Особую роль термин функция играет в программировании. В так называемом классическом программировании, о программе говорят, что она - последовательное вычисление функций. Современное определение функции следующее: функция это функциональное соответствие.
23. Эта идея функции как соответствия между элементами двух множеств, т.е. того, что не предполагает общей идеи для аргумента и значения все еще очень «свежа» так как ранее математики не могли при определении функции обойтись без общих идей. Бернулли определял функцию следующим образом: «функцией переменной величины называют количество, образованное каким угодно способом из этой переменной величины и постояных». Ученик Бернулли Эйлер: «Функция переменного количества есть аналитическое выражение, составленное каким-либо образом из этого количества и чисел или постоянных количеств». Речь здесь идет об общей идее «количества». Так понимали функцию на протяжении почти всего 18 века Даламбер, Лагранж, Фурье и другие видные математики. Только в 1837 году немецкий математик П.Л. Дирихле так сформулировал общее определение понятия функции: «y есть функция переменной x (на отрезке a ( x ( b), если каждому значению x на этом отрезке соответствует совершенно определенное значение y, причем безразлично каким образом установлено это соответствие -- аналитической формулой, графиком, таблицей либо даже просто словами». И здесь присутствует «общая идея» -- «переменная». Но здесь во всяком случае уже не предполагается «общей идеи» для аргументов и значений. «Общая идея» предполагается только для аргументов. Я же настаиваю на том, что и для аргументов и для значений может не быть общих идей.
24. Вслед за термином «функция» стал актуален термин «алгоритм», который, впрочем, древнее чем термин инструкция и введен еще Аль-Хорезми. Говорят, что алгоритм -- вычисляет функцию.
25. Однако при построении теории алгоритмов многие математики замечают, что алгоритм более фундаментальное понятие, чем множество. При построении теории алгоритмов замечают, что понятие множества не фундаментально, его нельзя рассматривать как первичное. Этот подход в математике называется «конструктивным». Представителем этого подхода в Советском Союзе был Марков, который в качестве первичного ввел понятие «конструктивного объекта». «Конструктивный объект» определяется с помощью некоторой моделирующей процедуры, т.е. собственно, алгоритма. Вместо терминов «множество» и «элемент» вводятся такие термины как «слово» и «буква». Т.е. множество задается некоторым алгоритмом, который позволяет записать букву, стереть букву, добавить букву в слово с правой стороны и т.п.
26. «Конструктивизм» в математике делает понятие алгоритма первичным, более основательным, чем понятие множества ибо конструктивизм рассматривает множество (т.е. то, что может быть задано перечислением без определения) как порожденное алгоритмом.
27. Я долгое время размышлял над проблемой соотношения этих терминов - «множество», «функция», «алгоритм», «конструктивный объект» пока собственно не придумал своего - «инструкция» (и последующих). Я намерен заинтересовать этим термином и дальнейшей терминологией, математиков, программистов, психологов, философов и менеджеров.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49
18. Скажут: «вы все равно никуда не денетесь от высказываний вроде «HP LaserJet 1020» это принтер». Пусть так, но я интерпритирую его не иначе, как соответствие, а именно соответствие тождества:
Принтер
HP LaserJet 1020 HP LaserJet 1020
Философы интерпритируют высказывание «HP LaserJet 1020» это принтер» как обращение к более общему и более фундаментальному - к общей идее. Я в ответ на это скажу: простите, но прежде всего должен заметить вам, что «HP LaserJet 1020» это прежде всего «HP LaserJet 1020». «HP LaserJet 1020» это сначала «HP LaserJet 1020», а только потом, на основании этого - «принтер».
19. Как видно из вышесказанного я в конце концов примирился с классическим типом определения через род и видовое отличие, но понимаю их совершенно особым образом. Если говорится: ««Вольво» -- автомобиль семейного класса», то говорится, я полагаю, следующее: «Вольво» это «Вольво», но ему поставлено в соответствие «семейный класс» и это соответствие как для «Вольво» и «семейного класса» так и другие мы называем «автомобиль». Дедуктивное определение понимается мною как индуктивное и является не определением понятия, а заданием соответствия.
20. Итак, я отрицаю «общие идеи», т.е. роды и таким образом определения через род и видовое отличие. Единственные «общие идеи», которые я согласен признать это соответствия.
Функция и инструкция.
21. В математике термин «род» давно потеснен. Когда говорят «2 это число» мыслят в сущности архаично. Формальный математический язык сегодня реформирован в соответствии с теоретико-множественной концепцией Кантора. Сегодня уже все чаще говорят «2 это элемент из множества натуральных чисел». Термин «множество» оказывается не менее фундаментальным, чем термин «число». Подход Кантора -- либерален и фундаментален, достаточно сказать «2 это элемент множества». В том-то и дело, что мы открываем в себе способность оперировать объектами и характеризовать объекты, которые не можем подвести под общее имя, но можем перечислить: человек, лягушка, бутылка вина. Есть множество, заданное простым перечислением. Мы можем охарактеризовать это множество, заявив, что это множество мощности три. Мы можем оперировать им: рассмотрим множество (человек, лягушка, бутылка вина). Далее: рассмотрим множество (статуя, лягушка). Возьмем пересечение этих множеств. Получим: множество (лягушка). Речь идет о фундаментальной математической операции, не предполагающей ссылки на какое-либо «качество», возможной без представления «общей идеи».
22. В пределах современной, практикующей теоретико-множественный подход, математики стремительно развивается такое понятие как функция. Это сравнительно новый термин в математике введенный только в 17 веке Бернулли, но если сегодня просмотреть философскую, математическую, физиологическую, психологическую литературу, то можно заметить, что это едва ли не самый популярный из математических терминов. Особую роль термин функция играет в программировании. В так называемом классическом программировании, о программе говорят, что она - последовательное вычисление функций. Современное определение функции следующее: функция это функциональное соответствие.
23. Эта идея функции как соответствия между элементами двух множеств, т.е. того, что не предполагает общей идеи для аргумента и значения все еще очень «свежа» так как ранее математики не могли при определении функции обойтись без общих идей. Бернулли определял функцию следующим образом: «функцией переменной величины называют количество, образованное каким угодно способом из этой переменной величины и постояных». Ученик Бернулли Эйлер: «Функция переменного количества есть аналитическое выражение, составленное каким-либо образом из этого количества и чисел или постоянных количеств». Речь здесь идет об общей идее «количества». Так понимали функцию на протяжении почти всего 18 века Даламбер, Лагранж, Фурье и другие видные математики. Только в 1837 году немецкий математик П.Л. Дирихле так сформулировал общее определение понятия функции: «y есть функция переменной x (на отрезке a ( x ( b), если каждому значению x на этом отрезке соответствует совершенно определенное значение y, причем безразлично каким образом установлено это соответствие -- аналитической формулой, графиком, таблицей либо даже просто словами». И здесь присутствует «общая идея» -- «переменная». Но здесь во всяком случае уже не предполагается «общей идеи» для аргументов и значений. «Общая идея» предполагается только для аргументов. Я же настаиваю на том, что и для аргументов и для значений может не быть общих идей.
24. Вслед за термином «функция» стал актуален термин «алгоритм», который, впрочем, древнее чем термин инструкция и введен еще Аль-Хорезми. Говорят, что алгоритм -- вычисляет функцию.
25. Однако при построении теории алгоритмов многие математики замечают, что алгоритм более фундаментальное понятие, чем множество. При построении теории алгоритмов замечают, что понятие множества не фундаментально, его нельзя рассматривать как первичное. Этот подход в математике называется «конструктивным». Представителем этого подхода в Советском Союзе был Марков, который в качестве первичного ввел понятие «конструктивного объекта». «Конструктивный объект» определяется с помощью некоторой моделирующей процедуры, т.е. собственно, алгоритма. Вместо терминов «множество» и «элемент» вводятся такие термины как «слово» и «буква». Т.е. множество задается некоторым алгоритмом, который позволяет записать букву, стереть букву, добавить букву в слово с правой стороны и т.п.
26. «Конструктивизм» в математике делает понятие алгоритма первичным, более основательным, чем понятие множества ибо конструктивизм рассматривает множество (т.е. то, что может быть задано перечислением без определения) как порожденное алгоритмом.
27. Я долгое время размышлял над проблемой соотношения этих терминов - «множество», «функция», «алгоритм», «конструктивный объект» пока собственно не придумал своего - «инструкция» (и последующих). Я намерен заинтересовать этим термином и дальнейшей терминологией, математиков, программистов, психологов, философов и менеджеров.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49