Войти в систему

Home
    - Создать дневник
    - Написать в дневник
       - Подробный режим

LJ.Rossia.org
    - Новости сайта
    - Общие настройки
    - Sitemap
    - Оплата
    - ljr-fif

Редактировать...
    - Настройки
    - Список друзей
    - Дневник
    - Картинки
    - Пароль
    - Вид дневника

Сообщества

Настроить S2

Помощь
    - Забыли пароль?
    - FAQ
    - Тех. поддержка



Пишет Misha Verbitsky ([info]tiphareth)
@ 2017-04-21 18:48:00


Previous Entry  Add to memories!  Tell a Friend!  Next Entry
Настроение: sick
Музыка:Introduction to derived Poisson geometry with examples
Entry tags:africa, math, smeshnoe

Категории не используются.
Охуенная дискуссия
http://dxdy.ru/post1210173.html
нигерийские математики профессора мехмата рассуждают
о пагубности теории категорий, мотивируя это тем, что
в Нигерии на мехмате МГУ теории категорий
совершенно никому не нужны. В качестве козырного
аргумента приводится список кафедр мехмата с
комментариями в духе

Общие проблемы управления. Категории не используются.
Дискретная математика и МАТИС. Категории не используются.
Кафедра вычмата. Вот здесь без категорий точно все рухнет! :D

В Нигерии, кстати, действительно очень продвинутая математика,
там где-то 10,000 профессиональных математиков и 7 математических
журналов:


Abacus : the journal of the Mathematical Association of Nigeria.
Journal of the Nigerian Mathematics Society
Newsletter of the National Association of Mathematicians (U.S.A.)
Nigerian Journal of Mathematics and Applications
Journals of the Nigerian Association of Mathematical Physics
Journal of the Nigerian Society of Mathematics and Physics
Nigerian Journal of Science

Один из них даже индексируется в MathSciNet.
http://ojs.ictp.it/jnms/index.php/jnms

Список статей в последнем номере.

A DOUBLE EXPONENTIAL SINC COLLOCATION METHOD FOR VOLTERRA-FREDHOLM INTEGRAL EQUATIONS OF THE SECOND KIND
ENO D. JOHN, NKEM OGBONNA
Вот уж где нет категорий, так там.

408-423
SOLVING IVPs IN ODEs BY USING SOME L-STABLE METHODS IN VARIABLE STEP-SIZE FORMULATION
GURJINDER SINGH, V. KANWAR, SAURABH BHATIA
Категории не используются.

424-438
NUMERICAL COMPUTATION OF FRACTIONAL PARTIAL DIFFERENTIAL EQUATIONS ARISING IN PHYSICS
J. SINGH, D. KUMAR, R. SWROOP, S. KUMAR
Категории не используются.

439-459
BOUND STATES OF PSEUDO-HARMONIC OSCILLATOR IN THE PRESENCE OF MAGNETIC FIELD
K. J. OYEWUMI, E. O. TITILOYE, A. B. ALABI, B. J. FALAYE
Категории не используются.

460-467
NUMERICAL STUDY OF EFFECT OF ROUGHNESS ON POROUS LONG JOURNAL BEARING WITH HETEROGENEOUS SURFACE
G. K. KALAVATHI, P. A. DINESH, K. GURURAJAN
Где же там категории? Ау?

468-487
THERMAL DIFFUSION, RADIATION AND INCLINED MAGNETIC FIELD EFFECTS ON OSCILLATORY FLOW IN AN ASYMMETRIC CHANNEL IN PRESENCE OF HEAT SOURCE AND CHEMICAL REACTION
AJAZ AHMAD DAR, K. ELANGOVAN
Вот где категории живут? Или нет?

488-509
EFFECT OF PERTURBATION IN THE CORIOLIS FORCE ON THE STABILITY OF L4,5 IN THE RELATIVISTIC R3BP
NAKONE BELLO
Эти дня не проживут, чтобы категориями не воспользоваться!

510-522
A NOTE ON REPLENISHMENT OF INFRASTRUCTURE
V. U. EKHOSUEHI, W. A. IGUODALA, A. A. OSAGIEDE
Вот здесь без категорий точно все рухнет! :D
Фу, устал.

523-531
COMPLETE SYNCHRONIZATION OF 5D HYPERCHAOTIC SYSTEM
S. O. OGUNDIPE, U. E. VINCENT, J. A. LAOYE, R. K. ODUNAIKE
Где же там категории? Ау?

532-545
A NEW APPROACH FOR FINDING CLOSED
FORM SOLUTION OF NTH ORDER INITIAL VALUE PROBLEMS
S. O. AKINDEINDE
Категории не используются.

546-559
RESEARCH ON RELATIONSHIP BETWEEN ECONOMICAL PROFIT AND ENVIRONMENTAL POLLUTION OF IMPERFECT PRODUCTION INVENTORY CONTROL PROBLEM
D. KHATUA, K. MAITY
Категории не используются.

560-579
Qualitative Study of the Role of Pap Screening on HPV Transmission Dynamics
ALI JAVAME, ABBA B. GUMEL
Эти дня не проживут, чтобы категориями не воспользоваться!

* * *

Я ничего не хочу сказать ни против мехмата, ни против
нигерийских математиков, но и те и те живут в прошлом,
типа - новые идеи приходят на периферию с опозданием.
А Нигерия, как и Северная Нигерия, это чудовищно отсталая
провинция. К сожалению.

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

Привет



(Читать комментарии) - (Добавить комментарий)


[info]sergegers
2017-04-21 20:49 (ссылка)
Вообще функциональщики дрочат на теорию категорий. И если мехмат МГУ хочет иметь полезный для народного хозяйства IT факультет, то там надо перестать преподавать Оберон и изложить студиозусам теоркат. Теорем там действительно никаких нет, пусть молодые пытливые умы изучат, это им действительно понадобится.

(Ответить) (Ветвь дискуссии)


[info]polytheme
2017-04-21 21:32 (ссылка)
а там преподают Оберон ?
первый или второй ?

так-то он хороший вообще, просто очень уж сильно устаревший, в нем, кажися, даже лямб нетути

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]sergegers
2017-04-21 22:00 (ссылка)
Не знаю, честно говоря. У меня просто сложилось впечатление, что везде преподают Оберон.

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]polytheme
2017-04-21 23:56 (ссылка)
Страуструп ни в чем не виноват
Пацан к успеху шел
Не фартануло
-----------------
Вообще чем охуенен Вирт, он умеет(л?) делать примитивно простой синтаксис, и сверху на него clean language. Если бы у Страуструпа было хоть на йоту этой культуры (что, конечно, маловероятно, потому что уже сам C был загажен дерьмопарсингом по самое немогу), рефакторинг не продергивался бы сейчас через шланг, как икающий верблюд, а уже 15 лет был бы в C++, и культура написания программ тоже.

(Ответить) (Уровень выше) (Ветвь дискуссии)


(Анонимно)
2017-04-22 10:09 (ссылка)
а разгадка одна : Вирт германец-идеалист. Такой человек вполне мог бы ввести актуальную бесконечнность или актуальную счетность, переопределить этим всю математику и отменить ее за ненадобностью, вместо со всем ололошным гамбузом.

Страуструп, хоть и датчанин-европеец (а значит идеалист), но покрывает американцев-материалистов Кернигана-и-Ритчие.
Безблагодатен си, с точностью до азбуки буратино!

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]grusha
2017-04-22 15:47 (ссылка)
>Страуструп, хоть и датчанин-европеец (а значит идеалист), но покрывает американцев-материалистов Кернигана-и-Ритчие.

Покрывает говном.

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]polytheme
2017-04-24 03:31 (ссылка)
вот, например, Джон Маккарти почему-то сделал язык, который даже старше сей, но в говно так и не превратился (впрочем, может из-за эффекта неуловимого Джо).

(Ответить) (Уровень выше)


(Читать комментарии) -