2014 dxdy logo

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

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




Начать новую тему Ответить на тему На страницу Пред.  1, 2, 3, 4, 5, 6  След.
 
 Re: П. К. Рашевский О ДОГМАТЕ НАТУРАЛЬНОГО РЯДА
Сообщение20.06.2006, 23:23 


10/06/06
5
Котофеич писал(а):
:evil: Не расказывайте глупостей про кота Бегемота. :twisted: Он никогда не играл в Шахматы, это Булгаков про него придумал. А если бы он и играл, то никакой Воланд его бы не остановил, потому что Воланда уж точно никогда не было. То что вы называете невклидовой математикой, давно существует. Называется теория топосов, так что дискуссии
на эту тему неуместны.


Неевклидовой математикой (неевклидовой арифметикой) следует назвать то знание-объект, для которого не выполняются аксиомы теории чисел, выраженные в "Началах" Евклида, и действуют аксиомы противоположного содержания. Например, знание о числе, сопровождающееся аксимой о конечности числа простых чисел.
...Впрочем, в "добулгаковском пространстве кота Бегемота" (как в "топосе всех топосов"), действительно, "все уже есть".

 Профиль  
                  
 
 Re: П. К. Рашевский О ДОГМАТЕ НАТУРАЛЬНОГО РЯДА
Сообщение20.06.2006, 23:27 
Заблокирован
Аватара пользователя


18/01/06

3241
ЧЕРНАЯ ДЫРА МУМУ-ШВАРЦНЕГЕРА
:evil: Я так понимаю, что Вам просто поговорить охота, на темы не имеющие отношение
к математике :?:

 Профиль  
                  
 
 Числовая модель
Сообщение23.08.2006, 13:15 


04/02/06
122
СПИИРАН
Если взять простую окружность и начать ставить на ней натуральные числа так, как это делается при стереографической (?) проекции для сферы Римана, то они будут стягиваться к "северному полюсу", и прибавление единички действительно мало что будет менять на самой окружности.

 Профиль  
                  
 
 Re: Числовая модель
Сообщение23.08.2006, 13:30 
Заблокирован
Аватара пользователя


18/01/06

3241
ЧЕРНАЯ ДЫРА МУМУ-ШВАРЦНЕГЕРА
:evil: Уточните на нормальном математическом языке, что у Вас означает мало менять :?:
Рашевский прямо говорит что нужно сформулировать новый принцип индукции. Что Вы
хотите предложить :?:

 Профиль  
                  
 
 Уточнение
Сообщение23.08.2006, 15:29 


04/02/06
122
СПИИРАН
Я ничего не предлагаю. Я просто фантазирую. У меня такой образ возник. Могу более простой образ взять.

Возьмём последовательность \{1/n\}_{n=1}^{\infty}, которая стремится к нулю. Вы прибавляете единичку (переходите к новому члену последовательности), но реально вы "проходите" очень малое расстояние. (Вы хотите, чтобы я всё это перевёл на так любимый Вами язык \varepsilon-\delta?!)

Возможно, всё это не имеет отношения к Вашей теме...

 Профиль  
                  
 
 Re: Уточнение
Сообщение23.08.2006, 15:43 
Заблокирован
Аватара пользователя


18/01/06

3241
ЧЕРНАЯ ДЫРА МУМУ-ШВАРЦНЕГЕРА
:evil: Я уже спрашивал как Вы собираетесь принцип индукции сформулировать в такой
модели :?:

 Профиль  
                  
 
 
Сообщение23.08.2006, 15:50 


04/02/06
122
СПИИРАН
:roll: Не знаю. :oops:

 Профиль  
                  
 
 
Сообщение26.08.2006, 04:33 
Заблокирован
Аватара пользователя


18/01/06

3241
ЧЕРНАЯ ДЫРА МУМУ-ШВАРЦНЕГЕРА
OZH писал(а):
:roll: Не знаю. :oops:

:evil: Для решения задачи Рашевского применяется вероятностная логика. Я даю общее
определение. Необходимые детали я конкретизирую в процессе обсуждения.

ВЕРОЯТНОСТНАЯ ЛОГИКА
разновидность многозначной логики, в которой высказываниям (суждениям) наряду с истиной и ложью приписываются промежуточные значения, представляющие собой различные степени вероятности истинности высказываний, степени правдоподобия или подтверждения. Истинным высказываниям приписывается истинностное значение (вероятность) 1; ложным высказываниям - значение 0; гипотетическим же высказываниям в качестве значения приписывается любое действительное число из интервала (0,1). Над истинностными значениями (вероятностями) гипотез определяются логические операции: конъюнкция, дизъюнкция, отрицание. Получившаяся система допускает различные аксиоматизации.
В последнее время вероятностная логика находит применение при проектировании
вычислительных систем
http://www.ixbt.com/news/all/index.shtml?05/76/51

 Профиль  
                  
 
 Re: Уточнение
Сообщение27.08.2006, 18:09 
Заслуженный участник


15/05/05
3445
USA
OZH писал(а):
Возьмём последовательность \{1/n\}_{n=1}^{\infty}, которая стремится к нулю. Вы прибавляете единичку (переходите к новому члену последовательности), но реально вы "проходите" очень малое расстояние.

Ну и что? Ведь сумма ряда $\sum_{n=1}^{\infty}\frac{1}{n}$ тем не менее бесконечна. Так что бесконечно малыми шагами можно пройти бесконечно большой путь. (Хотя и не всегда: $\sum_{n=1}^{\infty}\frac{1}{n^2} = \frac{\pi^2}{6}$).

 Профиль  
                  
 
 Re: Уточнение
Сообщение28.08.2006, 02:38 
Заблокирован
Аватара пользователя


18/01/06

3241
ЧЕРНАЯ ДЫРА МУМУ-ШВАРЦНЕГЕРА
:evil: Требование Рашевского типа того, что для больших n присчитывание единицы
их почти не меняет, формулируется следующим образом p(n+1=n)>1-δ(n), где
δ(n) это некоторая функция (показатель Рашевского), которая принимает значения из множества обычных действительных чисел и в некотором смысле стремться к нулю когда
n неограниченно возрастает с вероятностью единица. Точные определения я дам позже.

 Профиль  
                  
 
 
Сообщение28.08.2006, 04:20 
Заслуженный участник
Аватара пользователя


22/10/05

2601
Москва,физфак МГУ,1990г
То расширение математики, о котором говорит Рашевский, фактически требует обобщения аксиомы выбора, и ,далее, аксиомы непрерывности Дедекинда..На этом пути можно придти к геометрии с фундаментальной длиной, как ни странно..Но матаппарат получается посложнее обычного...

 Профиль  
                  
 
 
Сообщение28.08.2006, 04:24 
Заблокирован
Аватара пользователя


18/01/06

3241
ЧЕРНАЯ ДЫРА МУМУ-ШВАРЦНЕГЕРА
:evil: Ну и как по Вашему должна выглядеть аксиома выбора :?:

 Профиль  
                  
 
 
Сообщение28.08.2006, 04:37 
Заслуженный участник
Аватара пользователя


22/10/05

2601
Москва,физфак МГУ,1990г
Котофеич писал(а):
:evil: Ну и как по Вашему должна выглядеть аксиома выбора :?:

Стандартная аксиома выбора говорит, что во всяком множестве можно выбрать один элемент=> это фактически полное упорядочивание множества.
Обобщение:во всяком множестве можно выбрать как минимум, только ДВА элемента...=> это уже фактически НЕ полное упорядочивание множества.

 Профиль  
                  
 
 Re: Уточнение
Сообщение28.08.2006, 04:48 
Заслуженный участник
Аватара пользователя


22/10/05

2601
Москва,физфак МГУ,1990г
Котофеич писал(а):
:evil: Требование Рашевского типа того, что для больших n присчитывание единицы
их почти не меняет, формулируется следующим образом p(n+1=n)>1-δ(n), где
δ(n) это некоторая функция (показатель Рашевского), которая принимает значения из множества обычных действительных чисел и в некотором смысле стремться к нулю когда
n неограниченно возрастает с вероятностью единица. Точные определения я дам позже.

Вообще говоря, идея Рашевского ,правда, в слабой форме, осуществлена в аппарате нестандартного анализа и в релятивисткой арифметике Равачёва..

 Профиль  
                  
 
 Re: Уточнение
Сообщение28.08.2006, 04:52 
Заблокирован
Аватара пользователя


18/01/06

3241
ЧЕРНАЯ ДЫРА МУМУ-ШВАРЦНЕГЕРА
:evil: Где это в нестандартном анализе,в какой либо форме, выполнено условие n+1=n
или не выполнен принцип индукции для натурального ряда :?:

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 76 ]  На страницу Пред.  1, 2, 3, 4, 5, 6  След.

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



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

Сейчас этот форум просматривают: Stratim


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

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