основания математики | Архивач — Архив тредов имиджборд

Сортировка:

за


Сохранен 553	Определение N — Этим тредом начинается цепочка, посвященная определению N. То есть натуральных чисел. Итак, почему же аксиомы Пеано не определяют N? основания математики математика /sci/ - Наука 2ch.hk	28 января 2017
Сохранен 642	Оснований математики тред 2 — Предыдущий >>22 (OP) N-петух основания math основания математики /math/ - Математика математика 2ch.hk	12 ноября 2023
Сохранен 504	Оснований математики нить первая — Столь излюбленная тема профессоров, посещающих нашу уютную борду, находит своё голомофорное многообразие здесь! Тред для обсуждения определения N, конструктивизма, интуиционизма, Грэя, петухов. основания математики /math/ - Математика 2ch.hk	12 января 2022
Активный 614	Оснований тред №4 — Помимо трех основных направлений в основаниях - формализм, логицизм и интуиционизм, иногда возникали идеи построить математику на кардинально отличных от общепринятых принципах. Одно из таких направлений - Сигнифика, Significs. Попытка основать математику на основе естественного языка (т.к. язык и математика - это деятельность человека) принадлежит учителю Брауэра, голландскому математику и философу Герриту Маннури. Согласно его теории уровней языка (таких уровней 5), чисто формальный язык математики (5ый уровень) отличается от языка общения детей (1ый уровень) только степенью связи между словами и их сочетаниями (языковыми конструкциями). Идеи Маннури более чем на столетие опередили свое время, т.к. при его жизни не было методов автоматизированной работы с текстом (NLP, Natural Language Processing). В наше время такие методы развиты достаточно, чтобы поставить вопрос о построении вычислительной сигнифики (Computational Significs) для нужд математики, в т.ч. автоматизированного доказательства теорем и т.о. реализации на этих основах прувера, отличающегося принципом функционирования от всех остальных чуть менее чем полностью. Предыдущий - https://2ch.hk/math/res/17772.html Архив тредов основания математики /math/ - Математика 2ch.hk	27 мая 8:52
Сохранен 56	Умные люди, помогите вспомнить матан. Разве мы можем один интеграл под другой занести? Какая теория под этим лежит? Как гуглить. Помогите плез основания математики математика /b/ - Бред 2ch.hk	1 июня 2017
Сохранен 20	Критерии определения Инцела (девственника не по своей воле) на сентябрь 2023 года /incel/ — 1. Лицо хуже 7-8/10 по шкале дециля 2. Облысение/плешивость/высокий лоб 3. Рост ниже 183 см (6 футов) при лице менее 8-9/10 4. Член менее 18 см в длину и 14 см в обхвате 5. Общий дисбаланс лица основания математики внешность инцелы /sex/ - Секс и отношения 2ch.hk	29 августа 2023
Сохранен 70	Как мочь в геометрию? Сап двоч, учусь в 10 классе (мне больше 18 лет), и не могу вообще решать задачки по геометрии, хотя знаю почти все теоремы, но мне это никак не помогает вообще, каждое дз сначала пытаюсь делать сам, но когда уже дохожу до тупика в решении, иду разбирать в гдз, и так всегда Как научиться щелкать задачки как орешки? Без сраного гдз и часовых раздумий основания математики математика /b/ - Бред 2ch.hk	15 мая 2020
Активный 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 может помочь вам понимать беглую речь преподавателей в институте. (А не страдать по крайностям "это очевидно" и "ничерта не понятно".) Смело задавайте вопросы и высказывайте мнения. основания математики /math/ - Математика 2ch.hk	27 мая 8:52
Активный 557	Оснований тред №3 — Тред обсуждений оснований математики. 3 основные направления в основаниях: - Формализм. В изначальном виде закончился крахом программы Гильберта по формализации арифметики и кризисом оснований. - Логицизм. Не пошел дальше труда Рассела и Уайтхеда Principia Mathematica. - Интуиционизм. Дал начало конструктивному направлению, в настоящее время активно развивается в виде конструктивной теории типов Мартин-Лёфа и гомотопической теории типов Воеводского со товарищи. Обсуждаем дальше. Предыдущие треды основания математики /math/ - Математика 2ch.hk	27 мая 8:52
Сохранен 41	Как можно определить понятие натурального числа через более элементарные понятия? Но только без скрытой рекурсии. основания математики /ph/ - Философия 2ch.hk	11 июня 2015