2014 dxdy logo

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

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




Начать новую тему Ответить на тему На страницу Пред.  1, 2, 3
 
 
Сообщение11.12.2008, 17:53 
Заблокирован
Аватара пользователя


07/12/08

57
Minsk
6675636b в сообщении #166761 писал(а):
Я имел ввиду в общем "математику", а не отдельные теории.

Т. е. "математика" - одна теория и все понятия в нее входят.

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


09/05/08
1155
Новосибирск
6675636b писал(а):
6675636b в сообщении #166761 писал(а):
Я имел ввиду в общем "математику", а не отдельные теории.

Т. е. "математика" - одна теория и все понятия в нее входят.

Боюсь, мы с Вами по-разному понимаем термины "теория" и "формализм". Один из традиционных подходов к формализации математики основан на теории (и метатеории) предикатов, в рамках которого теориями являются (мета)множества формул, и теория множеств (ZF или ZFC) -- одна из них, причем наиболее распространенная. А вот какой теории (и в каком смысле) придерживаетесь Вы -- я пока не догадываюсь.

 Профиль  
                  
 
 
Сообщение11.12.2008, 18:31 
Заблокирован
Аватара пользователя


07/12/08

57
Minsk
AGu в сообщении #166779 писал(а):
Боюсь, мы с Вами по-разному понимаем термины "теория" и "формализм". Один из традиционных подходов к формализации математики основан на теории (и метатеории) предикатов, в рамках которого теориями являются (мета)множества формул, и теория множеств (ZF или ZFC) -- одна из них, причем наиболее распространенная. А вот какой теории (и в каком смысле) придерживаетесь Вы -- я пока не догадываюсь.

Я лишь хотел сказать, что понятие "определение" (в том интуитивном смысле, в котором его понимает человек) не может быть определено.

 Профиль  
                  
 
 
Сообщение11.12.2008, 19:00 
Заслуженный участник


09/05/08
1155
Новосибирск
6675636b писал(а):
Я лишь хотел сказать, что понятие "определение" (в том интуитивном смысле, в котором его понимает человек) не может быть определено.

Понимаю. Но не принимаю. :-) Как я уже говорил, средствами метатеории понятие "определения" можно определить на современном уровне строгости и формализма, причем адекватно интуитивному пониманию термина "определение".

 Профиль  
                  
 
 
Сообщение11.12.2008, 20:30 
Заблокирован
Аватара пользователя


07/12/08

57
Minsk
Хорошо, что хоть понимаешь. :)

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

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



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

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


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

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