24 декабря Архивач восстановлен после серьёзной аварии. К сожалению, значительная часть сохранённых изображений и видео была потеряна. Подробности случившегося. Мы призываем всех неравнодушных помочь нам с восстановлением утраченного контента!
Сортировка: за
Сохранен
501
Пруверов тред #4 — Тред успешных хлебателей борщей (очередной). Coq: https://coq.inria.fr/ Lean: https://leanprover.github.io/ https://github.com/leanprover/lean4 (компилируется в кресты). Agda: https://github.com/agda/agda Idris: https://www.idris-lang.org/ HoTT: https://github.com/HoTT/HoTT https://github.com/HoTT/HoTT-Agda https://github.com/gebner/hott3 Cubical Type Theory: https://github.com/mortberg/cubicaltt https://github.com/mortberg/yacctt https://github.com/RedPRL/sml-redprl ht
16 сентября 2021
Сохранен
500
Евреи — Читаю на Википедии про выдающихся экономистов и исследователей теории игр. Почему евреев так МНОГО в этих областях? Причина этому высокий IQ, обусловленный генами, или все таки социальные условия (евреи исторически всегда работали с деньгами и поощряли детей идти в экономисты)? Если дело в IQ, то почему IQ высокий именно у евреев-ашкеназов? Делись размышлениями на этот счет, анон.
11 марта 2021
Сохранен
500
Научных | позновательных WebM цуиь тред Мною будет запосчено: 1) Все серии односезонного сериала Cosmos A Space-Time Odyssey 2) Все видосы с Kurzgesagt - In a Nutshell 3) По мелочи Присоединяйтесь
26 марта 2017
Сохранен
498
Разворот тренда на битке — Я был прав. Разворот тренда происходит прямо сейчас. Ближайшая цель - 500-600.
9 июля 2017
Сохранен
496
США запустили введение драконовских санкций против России — -Запрет для американских банков на предоставление кредитов правительству России, если это не кредиты на покупку продуктов питания или сельскохозяйственной продукции. -Практически полный запрет на взаимную торговлю. Исключение составляет экспорт из США товаров сельскохозяйственного сектора. -Ограничение или заморозка дипломатических отношений между США и правительством России. -Запрет на авиаперелеты компаниям, которые контролирую
9 ноября 2018
Сохранен
491
Согласны ли вы с данным утверждением?
5 марта 2020
Сохранен
487
Как при умножении 100 на 0 получается не 100, а 0? А? Ученые, в говне моченые?
18 июля 2020
Сохранен
483
Математика, тред №17 — Надо разделить нынешние отделения математики на отделение математики первой культуры и отделение математики второй культуры. На первом будут изучаться пучки, когомологии, высшая К-теория, стеки, симметрические спектры, топосы Гротендика, Д-модули, превратные пучки и прочую современную математику. Студенты после окончания этого отделения будут с ходу понимать половину статей в приличных разделах arxiv.org (вроде AG, AT, DG), а может даже и больше. Математика на этом отдел
29 июня 2015
Сохранен
482
НАШЕЛ ДИСКРИМИНАНТ @ КОРЕНЬ НЕ ИЗВЛЕКАЕТСЯ
19 марта 2017
Сохранен
481
450x600 ВАЖНО И ВОЛНИТЕЛЬНО!! Есть инфа от знающего — 450x600 ВАЖНО И ВОЛНИТЕЛЬНО!! Есть инфа от знающего человека, что Григорий Перельман залил в сеть доказательство гипотезы Ходжа — ещё одной проблемы Тысячелетия. Анон отчаянно ищет пруф. В этот раз Гриша положил даже арХив и залил текст на обычный облачный хостинг. Новость в сми опубликуют завтра
25 ноября 2019
Сохранен
479
Математики тред Задавайте вопросы.
6 декабря 2015
Сохранен
478
Бесполезных фактов в математике тред 1) Сумма всех натуральных чисел равна -1/12 2) Никто не сможет понять доказательство большой Теоремы Ферма 3) Волшебной комнаты не существует 4) В числе Пи есть символы любой даты рождения, всех симфоний, все даты всех событий, генетический код каждого человека
3 августа 2018
Сохранен
475
МАТЕМАТИКИ, АЛГЕБРЫ, МАТАНА ТРЕД Все нубские и не очень вопросы в этом треде. Поскольку в тематике ОПа забанили на год, а на реквест разабна послали нахуй - то создаю здеся. Высчитываем бесконечно-мерные пространства, делим на ноль, поясняем почему 0!=1 и все в таком духе.
28 марта 2017
Сохранен
470
Сап /б нужна помощь Так вот задали мне тут задачу: 1.5 белки съедают 1.5 орехов за 1.5 дня вопрос: сколько орехов съедят 9 белок за 9 дней? ЗЫя говрорил ответы 0, 9, 54, 81, 40,5 и они не верны Попробовал погуглить но все числовые ответы были неверные которые нашёл, лучшим ответом считаю вот этот но, задавший задачу говорит что нет
10 июня 2020
Сохранен
465
Двачеры не смогут пройти тест для первоклассников. https://news.mail.ru/society/42014028/
2 июня 2020
Сохранен
463
Алиса Теплякова пояснила за матан. Кто шарит в матане, поясните - она правильно говорит? Я ничего не понял.
18 января 2022
Сохранен
459
Много кто жалуется на жизнь. Причем частенько люди даже не понимают, что виноваты сами. Постоянно вижу как на дваче кто-то ноет о несправедливости. Мол я такой тупой, так как у меня была тупая школа, на нормальное образование не было денег. А чтобы пойти в хороший вуз, опять же нужны деньги. Мол у некоторых всё есть с самого начала. Я лишь скажу, что вы сами виноваты. Жаловаться в век информационных технологий на недоступность образования -это полный лицемерный бред. Посмотрим на ютуб, вот пример просмотр
27 мая 2017
Сохранен
458
Как решить эту головоломку? Заебался думать. Говорили там что-то с объёмом воды связано. Кто помнит решение? Макс. высота, до которой руки дсоатют в прыжке - 2.75 м. И, да, паркур и прочая херня сразу идёт нахуй.
29 ноября 2015
Сохранен
445
Для меня математики - это сверхлюди, не кабаны, не философы, певцы ртом, актеры и прочие спортсмены, — Для меня математики - это сверхлюди, не кабаны, не философы, певцы ртом, актеры и прочие спортсмены, а математики. Я вот смотрю на это все и нихуя не понимаю, просто набор каких-то иероглифов. Для меня будет проще выучить китайский, японский и корейский вместе взятые, нежели понять тот же вышмат. В школе часами проводил над учебниками математики, смотрел гайды на ютубе, но всё равно писал конт
1 сентября 2023
Сохранен
431
Образование в швитой — https://medium.com/i-math/why-5-x-3-5-5-5-was-marked-wrong-b34607a5b74c#.8zz1nvvx3 http://lj.rossia.org/users/tiphareth/1940737.html У русни, правда, не сильно лучше.
3 ноября 2015
Сохранен
F 426
Что такое числа? Анон, а что такое натуральные числа? Постой, не думай, что я поехавший. Ну понятно, можно вещи считать, типа раз, два, три. Но в сущности нихуя непонятно, что это такое. Такое ощущение, что это некие неинтроспектируемые приёмы мышления, не поддающиеся анализу. Вот я вижу 5 камней. С чего я взял, что их пять? Есть какое-то целостное ощущение количества, но редуцировать это ощущение на составляющие не могу. Нейроучёные и прочие поехавшие всех мастей приглашаются в тред.
18 ноября 2014
Сохранен
422
Математик-аспирант, делать нехуй, отвечу на ваши вопросы если такие будут. — Математик-аспирант, делать нехуй, отвечу на ваши вопросы если такие будут.
10 сентября 2019
Сохранен
417
Вопросы по математике и физике — 0. Как решать ОДУ? В частности, откуда мы знаем, что решение ст. уравнения Шрёдингера нужно искать в виде волн де Бройля e^ikr . 1 Что такое лагранжиан? Откуда появился принцип наименьшего действия? 2 Что такое гамильтониан? Что там вместо принципа наименьшего действия в классической механике?
24 января 2015
Сохранен
415
В этом треде мы докажем, что анон не умеет в математику для 3 класса.
29 апреля 2017
Сохранен
414
Поясните на пальцах что такого важного сделал — Поясните на пальцах что такого важного сделал Перельман? В чем суть гипотезы которую он доказал? И какое практическое применение может быть доказаной гипотезы?
29 октября 2019


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

Отзывы и предложения