Что такое определение?

[Someone]

Определение — это сокращение. Оно позволяет, например, говорить "непрерывная функция" вместо дублирования полного определения непрерывной функции везде, где требуется упоминание непрерывности.

katzenelenbogen в сообщении #1666149 писал(а):

определение - это логическая операция установления смысла термина

Нету такой логической операции. И логика вообще ничего о смысле не говорит. Логике смысл безразличен.

[b4b5]

Логика говорит о части смысла.
И определение - не является сокращением в общем случае.

[Mihr]

b4b5 в сообщении #1666499 писал(а):

Логика говорит о части смысла.
И определение - не является сокращением в общем случае.

Можете подтвердить примерами оба эти тезиса?

[GAA]

Someone в сообщении #1666495 писал(а):

Определение — это сокращение. Оно позволяет, например, говорить "непрерывная функция" вместо дублирования полного определения непрерывной функции везде, где требуется упоминание непрерывности.

Нет ли неточности? Может быть «термин — это сокращение. Он позволяет, например, говорить "непрерывная функция" вместо ...»

(какие все формалисты, а смысл в попытках формализации?)

А определение — это пара строк символов или строка символов и последовательность строк символов. Первая строка называется термином, а вторая строка / последовательность строк...(Естественно, символы должны принадлежать заданному алфавиту. Естественно можно наложить ещё ограничения на эти строки символов.)
...
Но большая часть математических дисциплин строится неформально: изложение идёт на естественном языке. Нигде в предисловии к курсу анализа мы не найдем задание алфавита, синтаксиса и т.п.

[Someone]

GAA в сообщении #1666504 писал(а):

Нет ли неточности? Может быть «термин — это сокращение.

Ну да, это и имелось в виду.

[epros]

Someone в сообщении #1666495 писал(а):

И логика вообще ничего о смысле не говорит. Логике смысл безразличен.

Это, конечно, правильно, по крайней мере, в части синтаксического аспекта логики. Но чтобы топикстартер не решил, что ему опять говорят что-то противоречащее вычитанному во всяких википедиях, прокомментирую: "Смысл" любого текста заключается не в нём самом, как в значках на бумаге, а в его применении читателем.

Например, сложение в арифметике натуральных чисел определяется двумя аксиомами:
$x+0=x$,
$x+(y+1)=(x+y)+1$.

"Смысл" этого заключается в том, чтобы свести сложение к многократному применению инкремента: $5+3=5+1+1+1$. Тому, кто уже умеет считать, это позволяет вычислить сумму. Т.е. "смысл" общего определения суммы заключается в том, что его правильное применение позволяет эту сумму найти в каждом конкретном случае.

[b4b5]

Mihr в сообщении #1666503 писал(а):

Можете подтвердить примерами оба эти тезиса?

Какая из аксиом логики высказываний не имеет смысла?
Про определение уже ответили.

[Anton_Peplov]

b4b5 в сообщении #1666521 писал(а):

Какая из аксиом логики высказываний не имеет смысла?

Этот смысл мы им приписываем, когда сопоставляем термы логики высказываний с понятиями естественного языка. Когда говорим, что 1 - это истина, 0 - это ложь, $\neg$ - это "не", $A$ - это "предложение, о котором имеет смысл сказать, что оно истинно или ложно". Однако сама по себе логика высказываний - это просто набор функций на двухэлементном множестве. Он не зависит от того, как мы его понимаем и понимаем ли. Компьютер точно не понимает никаких смыслов, но успешно проверяет тождественность преобразований. Для того, собственно, формализация и затевалась: чтобы не зависеть от зыбких материй в нашей голове.

[EminentVictorians]

b4b5, Вам говорят, что логика абстрагируется от смысла высказываний, а Вы отвечаете примерно: "Всмысле?!"

[Mihr]

b4b5 в сообщении #1666521 писал(а):

Какая из аксиом логики высказываний не имеет смысла?

Как Вас понимать? Я в этой теме пока ничего не утверждал. Лишь попросил пример к тезису о том, что

b4b5 в сообщении #1666499 писал(а):

Логика говорит о части смысла.

О какой такой части, захотелось понять. Вы вместо ответа сами задаёте вопрос.

b4b5 в сообщении #1666521 писал(а):

Про определение уже ответили.

Ответили Вам. Вы на мой вопрос не ответили (он был о другом).

[b4b5]

EminentVictorians в сообщении #1666523 писал(а):

b4b5, Вам говорят, что логика абстрагируется от смысла высказываний, а Вы отвечаете примерно: "Всмысле?!"

Вы неточно процитировали исходное сообщение на которое я ответил. И мой ответ имел сооовсем иной смысл!

[Red_Herring]

(Переливание из пустого в порожнее такое увлекательное.)

Дали определение определения. Но не определили, что это значит, т.е. отсутствует определение определения определения.

Я уже отмечал. что один из самых верных способов не изучать математику это зациклиться на основах.

Самуил Маршак - Поросята

Весной поросята ходили гулять.
Счастливей не знал я семьи.
"Хрю-хрю", - говорила довольная мать,
А детки визжали: "И-и!"

Но самый визгливый из всех поросят
Сказал им: "О, братья мои!
Все взрослые свиньи "хрю-хрю" говорят,
Довольно визжать вам "и-и"!

Послушайте, братья, как я говорю.
Чем хуже я взрослой свиньи?"
Бедняжка! Он думал, что скажет "хрю-хрю",
Но жалобно взвизгнул: "И-и!"

С тех пор перестали малютки играть,
Не рылись в грязи и в пыли.
И все оттого, что не смели визжать,
А хрюкать они не могли!

---

Мой мальчик! Тебе эту песню дарю.
Рассчитывай силы свои.
И, если сказать не умеешь "хрю-хрю", -
Визжи, не стесняясь: "И-и!"

[b4b5]

Anton_Peplov в сообщении #1666522 писал(а):

Компьютер точно не понимает никаких смыслов, но успешно проверяет тождественность преобразований.

Значит кое-что компьютер понимает! )
Говорим собаке или жене "принеси тапки", приносят, значит понимают. )
Говорим компьютеру - распечатай документ, печатает, значит понимает.
Может понимание слова "понимание" неверное?! ) И слова смысл тоже.

[Mihr]

b4b5 в сообщении #1666528 писал(а):

Говорим собаке или жене "принеси тапки", приносят

Вы чем думали прежде чем такое написать?

[b4b5]

А вы о чем думали когда вопрос задали? (Затроллить решили?)
Я привел пример, который опровергает утверждение оппонента. )