2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки


Правила форума


Посмотреть правила форума



Начать новую тему Ответить на тему
 
 из какой "области знаний"?
Сообщение23.07.2018, 22:39 


23/03/15
7
есть следующее утверждение:
с помощью конечного числа символов можно составить бесконечное количество высказываний (при условии, что количество символов в высказывании не ограниченно)

примеры:
- с помощью конечного набора цифр от 0 до 9 и знаков "+", "-", "i" отображаем бесконечный ряд всех вещественных чисел
- с помощью конечного набора букв передаем бесконечный набор человеческих мыслей )
- используя конечный набор знаков нотной грамотности записываем бесконечное разнообразие мелодий и т.д.

Из какой "области знаний" данные рассуждения, есть ли по этому поводу теоретическая база (аксиомы, теоремы и т.д.),
и вообще - что говорит по этому поводу официальная наука )

заранее спасибо

 Профиль  
                  
 
 Re: из какой "области знаний"?
Сообщение23.07.2018, 22:45 
Заслуженный участник


09/05/13
8904
Не знаю, что наука говорит. Это слишком очевидное утверждение, даже если алфавит состоит из одного символа.
Понятно, почему?

 Профиль  
                  
 
 Re: из какой "области знаний"?
Сообщение23.07.2018, 22:51 
Заслуженный участник


20/08/14
11183
Россия, Москва
Комбинаторика.
Информатика.

 Профиль  
                  
 
 Re: из какой "области знаний"?
Сообщение23.07.2018, 22:57 


05/09/16
11548
UriY в сообщении #1328419 писал(а):
- с помощью конечного набора цифр от 0 до 9 и знаков "+", "-", "i" отображаем бесконечный ряд всех вещественных чисел

Что-то сомнительно это.

-- 23.07.2018, 23:00 --

UriY в сообщении #1328419 писал(а):
- с помощью конечного набора букв передаем бесконечный набор человеческих мыслей )

Людей конечное количество, а количество мыслей у каждого тоже конечное. Откуда возьмется "бесконечный набор человеческих мыслей"?

 Профиль  
                  
 
 Re: из какой "области знаний"?
Сообщение23.07.2018, 23:12 
Заслуженный участник


18/01/15
3105
UriY в сообщении #1328419 писал(а):
Из какой "области знаний" данные рассуждения, есть ли по этому поводу теоретическая база (аксиомы, теоремы и т.д.),
и вообще - что говорит по этому поводу официальная наука )

Да не из какой, потому что это, извините, какое-то бессмысленное рассуждательство на пустом месте. Как первая расплывчатая фраза в каком-нибудь введении в теорию формальных языков (есть такое, с конкретной областью исследования, но я этим не интересуюсь) годится, а в общем лишено интереса.

 Профиль  
                  
 
 Re: из какой "области знаний"?
Сообщение24.07.2018, 08:33 
Заслуженный участник
Аватара пользователя


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

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 6 ] 

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group