К сожалению, значительная часть сохранённых до 2024 г. изображений и видео была потеряна (подробности случившегося). Мы призываем всех неравнодушных помочь нам с восстановлением утраченного контента!
Сортировка: за
Сохранен
642
Оснований математики тред 2 — Предыдущий >>22 (OP)
12 ноября 2023
Сохранен
504
Оснований математики нить первая — Столь излюбленная тема профессоров, посещающих нашу уютную борду, находит своё голомофорное многообразие здесь! Тред для обсуждения определения N, конструктивизма, интуиционизма, Грэя, петухов.
12 января 2022
Сохранен
553
Определение N — Этим тредом начинается цепочка, посвященная определению N. То есть натуральных чисел. Итак, почему же аксиомы Пеано не определяют N?
28 января 2017
Сохранен
557
Оснований тред №3 — Тред обсуждений оснований математики. 3 основные направления в основаниях: - Формализм. В изначальном виде закончился крахом программы Гильберта по формализации арифметики и кризисом оснований. - Логицизм. Не пошел дальше труда Рассела и Уайтхеда Principia Mathematica. - Интуиционизм. Дал начало конструктивному направлению, в настоящее время активно развивается в виде конструктивной теории типов Мартин-Лёфа и гомотопической теории типов Воеводского со товарищи. Обсуждаем дальше. Предыдущие треды
11 июня 2024
Сохранен
614
Оснований тред №4 — Помимо трех основных направлений в основаниях - формализм, логицизм и интуиционизм, иногда возникали идеи построить математику на кардинально отличных от общепринятых принципах. Одно из таких направлений - Сигнифика, Significs. Попытка основать математику на основе естественного языка (т.к. язык и математика - это деятельность человека) принадлежит учителю Брауэра, голландскому математику и философу Герриту Маннури. Согласно его теории уровней языка (таких уровней 5), чисто формальный язык математики (5ый уровень) отличается от языка общения детей (1ый уровень) только степенью связи между словами и их сочетаниями (языковыми конструкциями). Идеи Маннури более чем на столетие опередили свое время, т.к. при его жизни не было методов автоматизированной работы с текстом (NLP, Natural Language Processing). В наше время такие методы развиты достаточно, чтобы поставить вопрос о построении вычислительной сигнифики (Computational Significs) для нужд математики, в т.ч. автоматизированного доказательства теорем и т.о. реализации на этих основах прувера, отличающегося принципом функционирования от всех остальных чуть менее чем полностью. Предыдущий - https://2ch.hk/math/res/17772.html Архив тредов
5 декабря 2024
Активный
26
Metamath — Ранее я создал Мендельсона-тред, теперь хочу обратить внимание на другую достаточно клёвую вещь: Metamath. (Это связано с основаниями математики, но не спешите отчаиваться) В данном треде я постараюсь ответить на все возникшие у анонов вопросы. Его вроде надо сделать модерируемым. FAQ: 1)Что это? Это теория типов для формального доказательств первопорядковых языков. Ну то есть язык программирования для ZFC, NBG, геометрии (Тарского) и ещё много чего первопорядкового. Всё это доступно онлайн в удобном гипертекстовом виде. 2)Какие профиты? а) Очень большая библиотека доказательств, легко читается. Имеет достаточно долгую историю - с девяностых. б) Пруфассистант: два режима, как в Coq: либо конструируешь доказательство, либо интерактивный режим. в) Непосредственно прилагается самоучитель. г) Простой (300 строк на питоне) верификатор доказательств. д) Имеет модель в ZFC. (самая мякотка, смотри пункт 3) е) Живое коммьюнити. 3) Какие задачи? Есть такая статья: http://us.metamath.org/ocat/model/model.pdf Не знаю как анону, но мне было бы очень любопытно в ней разобраться. 4) Почему "лучше" чем HoTT, Coq, HOL и т.д.? Да потому что ZFC и логика предикатов - это математический стандарт де-факто, поэтому знание metamath может помочь вам понимать беглую речь преподавателей в институте. (А не страдать по крайностям "это очевидно" и "ничерта не понятно".) Смело задавайте вопросы и высказывайте мнения.
11 сентября 6:56
Сохранен
41
Как можно определить понятие натурального числа через более элементарные понятия? Но только без скрытой рекурсии.
11 июня 2015
Сохранен
56
Умные люди, помогите вспомнить матан. Разве мы можем один интеграл под другой занести? Какая теория под этим лежит? Как гуглить. Помогите плез
1 июня 2017
Сохранен
70
Как мочь в геометрию? Сап двоч, учусь в 10 классе (мне больше 18 лет), и не могу вообще решать задачки по геометрии, хотя знаю почти все теоремы, но мне это никак не помогает вообще, каждое дз сначала пытаюсь делать сам, но когда уже дохожу до тупика в решении, иду разбирать в гдз, и так всегда Как научиться щелкать задачки как орешки? Без сраного гдз и часовых раздумий
15 мая 2020
Сохранен
20
Критерии определения Инцела (девственника не по своей воле) на сентябрь 2023 года /incel/ — 1. Лицо хуже 7-8/10 по шкале дециля 2. Облысение/плешивость/высокий лоб 3. Рост ниже 183 см (6 футов) при лице менее 8-9/10 4. Член менее 18 см в длину и 14 см в обхвате 5. Общий дисбаланс лица
29 августа 2023


жалоба / abuse: arhivach@airmail.cc