Чтобы добавлять сообщения и комментарии, .

@lurker:
lurker

оно

@O01eg:
O01eg

ic.pics.livejournal.com

@lurker:
lurker

формула Паркера

@lurker:
lurker

 

@bubo-bubo:
bubo-bubo

если процесс Грам-Шмидта записать в QR-разложении, то можно увидеть, что это частный случай разложения Ивасавы.
а Грам — датчанин, кстати

@anton0xf:
anton0xf

Хочу "mathematical logic done right", так сказать.
Посоветуйте, что бы такого почитать по математической логике с максимально последовательным изложением (не было зависимостей от того, что будет дальше) и минимальным бутстрапом от интуиции к формальным или формализуемым доказательствам и строгим определениям. Лучше по-русски, но по-английски тоже можно.
А то порекомендовали почитать для начала это, а там изложение начинается с наивного (канторовского) определения множества (которое, и не определение вовсе), и на его основе определяются бинарные отношения, функции и их свойств, а второе же упражнение в книге (после описанных выше 3х страниц текста): "образуют ли бинарные отношения на множестве А группу относительно операций композиции и взятия обратного?", что, имхо, не дело. Мало того, что понятие "группа" не определено (ну да и чёрт бы с ним), так не описано ни как правильно строить рассуждения, ни что такое множество и пр..
У меня пока нагуглились только монографии Клини, Чёрча и Гильберта + книга Хаскелла Карри (того самого, да) 1969го года издания (в ужасном качестве и без возможности купить бумажную).

@lurker:
lurker

история изобретения метода монте-карло twitter.com

@vrned:
vrned

twitter.com
я решил за 2 минуты:-)

@lurker:
lurker

маскирующаяся под physics
Suppose space were 4-dimensional, instead of 3-dimensional. We can still write down Einstein's equation and try to solve it.plus.google.com

@fmap:
fmap

Эмпирически установлено, что не существует ни одного такого бизнеса который бы не входил в категорию monkey business после второго или третьего пересмотра, в пределе зависящего от качества блефа.

@lurker:
lurker

ну вот у кого есть время всё это читать? mathopt.org

@luarviq:
luarviq

Преподавание высшей математики нужно отменить в вузах, готовящих программеров. Что мне с того, что он может решить диффур 9-й степени? У него ведь мозг с 1-го курса забит этими диффурами. Но когда надо построить простейшую конкурентную очередь с приоритетами, он выпадает в атсрал. Или находит себя (find himself) вовне (в говне). Ты математик? Вот тебе 3-й том Кнута. Стр. 336, задача 17, старик Дональд отвел тебе 20 мин на ее решение. Не можешь? Какой же ты к херам математик? И тем более програмер. Еще величайший физик 20-го века Лев Давидович Ландау высмеивал всякие "теоремы существования" и тех, кто их доказывает 24/7

@Darwin:
Darwin

the bare minimum required to understand the main content posts: jeremykun.com

@waterlaz:
waterlaz

<rkit> Понимаю. Это ты не понимаешь, что тьюринг-полнота не требует бесконечной ленты.

@killy:
killy

Эти теги не склеены почему-то.
youtube.com

@killy:
killy

Это офигенно.
youtube.com
youtube.com
youtube.com

@excentrisitet:
excentrisitet

Бабуля взрывает мозг нетрадиционным мат. аналом.
Особенно во второй части.
youtu.be
youtu.be

@lurker:
lurker

и капитализм smbc-comics.com 💸

@lurker:
lurker

Why isn’t X obvious?
If you think it’s obvious, then you’re probably assuming what you need to prove.

gowers.wordpress.com

@SolderStain:
SolderStain

rujournalist.livejournal.com
Я бы может и прошёл мимо статьи, но вспомнилось, что в своё время точно так же считали число жертв "охоты на ведьм". Правда, "охоту на ведьм" не обошёл ещё один инцидент. Вычитанные в источнике данные активист прогнал ещё разок по такому кругу получил порядка миллиона жертв. Гражданина цитировали и в дальнейшем ссылались на него и других его цитировавших. Собственно рассказы об обезлюдевших деревнях Германии это и есть попытка натян^W осмыслить масштаб озвученных жертв и сопоставить с тогдашним населением. Ошибку признали и я например об этом читал на викканском (неоязыческом) сайте Covenant of Goddess (девиз или название статьи — Never Burn Again). Но несмотря, что "с вопросом разобрались", рассказы о миллионах жертв нет-нет да и всплывают. На данный момент в педивикии указывается оценка в 50 тысяч осуждённых на смертную казнь по всей Европе за 300 лет. Это, конечно, меркнет перед той же Варфоломеевской ночью, когда за несколько недель перед Создателем предстали от 6 до 16 тыс протестантов, а это не единственный кровавый эпизод цивилизованной и демократической Европы.

@schors:
schors

Три листа исписал vk.com

@iportnov:
iportnov

система рассматривается, пока она наконец не сдохнет.
надо знать решение там, где не надо знать его.
диффурятники
всё это берём в скобочка
эта плоскость трёхмерна // понятия не имею, о чём это :)
закон Ома применяется... где ни попадя.
нах. — сокращение от слова «находится»
а теперь отэпсилонимся. [применим технику эпсилон-дельта]
нечётные степеня

@iportnov:
iportnov

монстрик в виде стрелочки
максиумумамумамуми
эти два слагаемых застрелились
если S потянуть за уши, получится интеграл.
[на вопрос "а будете ли автоматом ставить"] не, ну я считаю по живым людям из автомата это неправильно...
[на вопрос "а можно ли получить автомат"] можно, щас неуд впишу и идите получайте...
вы оптику в школе проходили? мимо проходили!?
вы теорию идеального газа сдавали? Всё сдали, себе ничего не оставили?

@iportnov:
iportnov

А ещё у меня примерно каждое десятое определение записано на полях. Не знаю точно почему, походу частенько преподы забывали вводить определения вовремя и вводили их по ходу доказательства какой-нибудь теоремы.

@iportnov:
iportnov

систему баз можно дополнить до патологии... а можно до топологии...
дремучий, как Буш [англ Bush — кустарник]
[про пределы, икс куда-то стремится] ...взять и отправить его в бесконечность: а иди ты... в бесконечность!
Пространство элементарных исходов будем обозначать... Омега!!!! [с ударением на первый слог, внезапно вскрикивает эту Омегу]
а вот если у нас у-у-у-летает икс от эм...
лежачая скобка
предположить можно всё, что можно себе вообразить

@iportnov:
iportnov

вот такие вот прямоугольные параллелепипедики
определённый интеграл кривого рода
что-то у меня касательная к кривой получилась кривее, чем сама кривая.
вот если мы зубами за облако уцепимся...
пусть у нас есть вот такой плоский шарик.
амёбообразный контур
Бывают функции, которые непрерывные, но не дифференцируемые. Вот например, в XX веке процесс реформирования школ был непрерывным, но не дифференцируемым: в каждый момент в другую сторону.
функция эх от икс

@iportnov:
iportnov

решил чото я перебрать тетради, оставшиеся с универа, и почитать записки на полях (в основном перлы лекторов).

проверябельные условия
в военных условиях синус может достигать четырёх... ну, на комплексных аргументах в смысле...
а можно здесь сократить числитель и сказуемое?
мимо этих безобразий нельзя проходить сквозь пальцы
вот такая вот дёрганная последовательность

@lurker:
lurker

и бессмертие души

@lurker:
lurker

омг youtube.com

@lurker:
lurker

сложновато для ЕГЭ wolframalpha.com

@ndtimofeev:
ndtimofeev

cybrus.ru — И здесь функционал. Возможно для простоты стоит ввести термин функцианала чтобы никому не было обидно.

@Scobar:
Scobar

армейский анекдот про математику — надо чуть чуть знать штат танковой роты youtu.be

@bubo-bubo:
bubo-bubo

Оказывается, группа симметрий фуллерена имеет весьма компактную презентацию
en.wikipedia.org

@Self-Perfection:
Self-Perfection

Жуйк, хочу понять простую вещь: как соотносятся e и k в
log_2(\sum_{i=0}^eC_{10+k}^i) \leq k
картинкой
Что мне сесть изучать: sage, maxima или axiom? (wxmaxima я, впрочем, уже поставил).

ЗЫ: с первым днём весны! :)

@lurker:
lurker

storyfox.ru

@bubo-bubo:
bubo-bubo

lamington.wordpress.com
про одномерное гиперболическое пространство

@lurker:
lurker

сегодня в рубрике juick против google: как, имея sin(a) и cos(a), посчитать sin(a/2) и cos(a/2) ?

@lurker:
lurker

практическое применение теоремы Банаха-Тарского в комментах @mabu к #2821079

@Self-Perfection:
Self-Perfection

Если кто не видел, Михаил Патракеев из ИММ УрО РАН нашёл возможность разрезать равносторонний треугольник на 5 равных частей.

Решение само по себе восхитительное и неожиданное, но я полюбовавшись взялся ещё по этому случаю посмотреть, какие инструменты люди используют, чтобы декларативно описывать всякие графики/схемы. Целью было в конечном счёте получить векторное изображение, которое можно будет где угодно просмотреть. Более-менее наобум взял pic (отчасти и глядя как лаконично на этом языке описывается глайдер). Получилось такое описание на диалекте DPIC (GNU pic заливку линии не поддерживает :-/). SVG файл по ссылке выше это то, что у меня получилось

Вопрос залу: как бы вы делали такой график в векторном виде? Есть подозрение, что лучше бы я взял MetaPost или Asymptote.