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 сообщение ] 

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



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

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


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

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