2014 dxdy logo

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

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





Начать новую тему Ответить на тему
 
 ТОПОСЫ И СИНТЕТИЧЕСКАЯ ГЕОМЕТРИЯ-Это должен знать каждый
Сообщение20.03.2006, 19:51 
Заблокирован
Аватара пользователя


18/01/06

3241
ЧЕРНАЯ ДЫРА МУМУ-ШВАРЦНЕГЕРА
ТОПОСЫ
http://www.univer.omsk.su/omsk/Sci/topoi/index.win.html
Теория топосов была создана Ловером в 70-е годы. Топос - это категория, которая обладает многими свойствами категории Set, известной как теория множеств. Развитие теоретико-топосной математики сопряжено с многими техническими трудностями, связанными отчасти с громоздкостью используемых в теории категории диаграмм.
Построение формальной теории, моделями которых служили бы топосы с необходимостью приводит к замене классической логики интуиционистской, столь непривычной для большинства математиков. Тем не менее подобные теории постепенно наращивают свои возможности. Одной из таких теорий является Синтетическая дифференциальная геометрия Ловера-Кока, благодаря которой открываются интересные перспективы в раскрытии природы пространства-времени.

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

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

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



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

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


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

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