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

Сортировка:

за


Сохранен 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	сегодня 15:45
Активный 614	Оснований тред №4 — Помимо трех основных направлений в основаниях - формализм, логицизм и интуиционизм, иногда возникали идеи построить математику на кардинально отличных от общепринятых принципах. Одно из таких направлений - Сигнифика, Significs. Попытка основать математику на основе естественного языка (т.к. язык и математика - это деятельность человека) принадлежит учителю Брауэра, голландскому математику и философу Герриту Маннури. Согласно его теории уровней языка (таких уровней 5), чисто основания математики /math/ - Математика 2ch.hk	12 ноября 2023
Сохранен 56	Умные люди, помогите вспомнить матан. Разве мы можем один интеграл под другой занести? Какая теория под этим лежит? Как гуглить. Помогите плез основания математики математика /b/ - Бред 2ch.hk	1 июня 2017
Активный 557	Оснований тред №3 — Тред обсуждений оснований математики. 3 основные направления в основаниях: - Формализм. В изначальном виде закончился крахом программы Гильберта по формализации арифметики и кризисом оснований. - Логицизм. Не пошел дальше труда Рассела и Уайтхеда Principia Mathematica. - Интуиционизм. Дал начало конструктивному направлению, в настоящее время активно развивается в виде конструктивной теории типов Мартин-Лёфа и гомотопической теории типов Воеводского со товарищи. Обсуждаем дал основания математики /math/ - Математика 2ch.hk	12 ноября 2023
Сохранен 642	Оснований математики тред 2 — Предыдущий >>22 (OP) N-петух основания math основания математики /math/ - Математика математика 2ch.hk	12 ноября 2023
Сохранен 504	Оснований математики нить первая — Столь излюбленная тема профессоров, посещающих нашу уютную борду, находит своё голомофорное многообразие здесь! Тред для обсуждения определения N, конструктивизма, интуиционизма, Грэя, петухов. основания математики /math/ - Математика 2ch.hk	12 января 2022
Сохранен 553	Определение N — Этим тредом начинается цепочка, посвященная определению N. То есть натуральных чисел. Итак, почему же аксиомы Пеано не определяют N? основания математики математика /sci/ - Наука 2ch.hk	28 января 2017
Сохранен 41	Как можно определить понятие натурального числа через более элементарные понятия? Но только без скрытой рекурсии. основания математики /ph/ - Философия 2ch.hk	11 июня 2015