Добавлена поддержка ЭЧ/Ech (ex-Escapechan) и Ежчана (ejchan.net, ejchan.site). Набегаем, тестируем архивацию, сообщаем о замеченных проблемах.
К сожалению, значительная часть сохранённых до 2024 г. изображений и видео была потеряна (подробности случившегося). Мы призываем всех неравнодушных помочь нам с восстановлением утраченного контента!
Сортировка: за
Сохранен
614
2017-07-09 12:42:53
Сохранен
614
2017-07-07 16:09:25
Сохранен
614
2017-07-07 13:08:27
Сохранен
614
2017-07-06 12:37:39
Сохранен
614
Оснований тред №4 — Помимо трех основных направлений в основаниях - формализм, логицизм и интуиционизм, иногда возникали идеи построить математику на кардинально отличных от общепринятых принципах. Одно из таких направлений - Сигнифика, Significs. Попытка основать математику на основе естественного языка (т.к. язык и математика - это деятельность человека) принадлежит учителю Брауэра, голландскому математику и философу Герриту Маннури. Согласно его теории уровней языка (таких уровней 5), чисто формальный язык математики (5ый уровень) отличается от языка общения детей (1ый уровень) только степенью связи между словами и их сочетаниями (языковыми конструкциями). Идеи Маннури более чем на столетие опередили свое время, т.к. при его жизни не было методов автоматизированной работы с текстом (NLP, Natural Language Processing). В наше время такие методы развиты достаточно, чтобы поставить вопрос о построении вычислительной сигнифики (Computational Significs) для нужд математики, в т.ч. автоматизированного доказательства теорем и т.о. реализации на этих основах прувера, отличающегося принципом функционирования от всех остальных чуть менее чем полностью. Предыдущий - https://2ch.hk/math/res/17772.html Архив тредов
2024-12-05 18:06:53
Сохранен
614
2018-01-16 22:04:46
Активный
614
2026-11-03 17:23:56
Сохранен
614
2017-06-18 22:12:09
Сохранен
614
2017-06-29 19:13:49
Сохранен
614
2017-05-30 12:43:57
Сохранен
614
2017-05-20 12:18:39
Сохранен
614
2017-05-11 05:30:37
Сохранен
614
2017-05-05 07:18:25
Сохранен
614
2017-04-30 05:01:39
Сохранен
614
2017-05-29 22:00:46
Сохранен
614
2017-03-23 22:17:45
Сохранен
614
2017-03-22 23:30:01
Сохранен
614
2017-03-12 22:09:29
Сохранен
614
2017-03-06 19:58:40
Сохранен
614
2017-03-01 17:51:09
Сохранен
614
2017-03-07 22:10:11
Сохранен
614
2017-02-03 20:42:41
Сохранен
614
2017-01-14 19:17:46
Сохранен
614
2016-12-26 17:36:33
Сохранен
614
2016-12-21 14:09:00