Скорее что-то из школьной математики, на что мало времени в самой школе уделяют.
Тригонометрия там, начало анализа, множества, значки всякие..
На этом курсе искусственный интеллект адаптирует программу конкретно под тебя, чтобы ты мог достичь максимальных результатов.
Сразу скажу, что хочу реализовать шифр Вернама
с его операцией XOR - для алфавита произвольной длины...
Итак, суть вопроса в следующем:
1. Есть алфавит длиной 2^N символов, включая нулевой символ.
2. При N = 5, 2^5 = 32, допустим каких-то 32 символа.
3. Алфавит представляет из себя массив символов ["А", "B", "C"... и т. д. ..., "Z"] - 26 символов.
4. Код каждого символа идёт по порядку, от нуля включительно до (2^N)-1. Поэтому, работать будем с кодами.
Теперь, делаем XOR всех кодов между собой и получаем таблицу,
в которой равновероятно пробегаются все значения - и в строках и столбцах, ни разу не повторяясь при этом.
Эта таблица XOR, она - подобна таблице Виженера, но значения здесь - идут крест накрекст, блоками.
Основная фича в том, что ни в строках, ни в столбцах вы не найдёте два значения.
Теперь, берём какой-нибудь другой алфавит, с количеством символов отличным от 2^N символов
Пусть это будет 26 символов английского алфавита, например.
Делаем то же самое - получаем ту же таблицу, но урезанную.
Внутри, есть значения больше 26, в частности - 31.
Ну и сам вопрос. Возможно ли сделать так, чтобы числа внутри таблицы - не повторялись?
Ну и соответственно, если да, то как, а если нет - то по какой причине?
P.S. Попробовал ещё XNOR табличку сгенерировать, там вроде-бы ещё легче,
но формулу я так и не смог подобрать...
Хуй там, всё равно оно повторяется.
Поэтому, просто вставил спецсимвол.
Ткните вот здесь - в опцию Vernam: https://username1565.github.io/isaacCSPRNG/Enigma+7ciphers+PRNG.html
Пропущено 43 постов, 4 с картинками.
Ну хуй с ним с ОПом, может он и неправ был и моча по делу его озалупил. Но блядь какой слог!
>вы не в том СТАТУСЕ
Сука пидорахины халуи ебучии, совковая культура так и не отлипнет никак. Он первым делом про СТАТУС свой блять. Каждый задрот мечтает получить СТАТУС который он не имеет в ирл. И вот он дослужился до мочи и поэтому он у же в СТАТУСЕ.
>Он первым делом про СТАТУС свой блять.
Ну он мочератор, а оп хуй с горы. Так что не вижу тут ничего странного. Я бы просто забанил без объяснения причины.
анон прав, фраза
>вы не в том СТАТУСЕ, чтобы приказывать мне, что делать
это пиздец какой совок, вахтёрство, чсв и чёрт знает что ещё.
Здравствуйте, ребята! Какие области математики нужны для изучения крипты, нужно ли для успешной карьеры (ПРЕДПОЛОЖИМ, вы трудоустраиваетесь в АНБ) быть Богом в математике и как им стать. Также, советуем литературу по сабжу и те областям математики, которые нам нужны.
И еще. Реально ли полноценно вкатиться в криптоанализ самому по литературе в Интернете без университетов и знающих преподавателей?
В общем, обсуждаем, отвечаем на вопросы и делимся инфой, господа.
Пропущено 12 постов, 1 с картинками.
Раз тред про криптографию, спрошу здесь.
Возможно ли как-то сделать так, чтобы вот здесь:
https://ru.wikipedia.org/wiki/Протокол_Диффи_—_Хеллмана#Алгоритм_Диффи_—_Хеллмана_с_тремя_и_более_участниками
Кэрол не имела возможности получить gabc?
Как лучше это сделать, на тех же эллиптических кривых, например?
Вопрос звучит туповато (достаточно не выполнять 4-й и 5-й шаг),
поэтому уточню.
Алиса - залётный покупатель на бирже, желающий открыть market-позицию,
а не договорившаяся с Бобом заранее, сторона.
Кэрол - это биржа,
а Боб - это продавец, выставивший limit-ордер по фиксированной цене.
Боб может закрыть позицию в любой момент, и получить это своё gabc gabc или хрен знает что, но главное чтобы Кэрол, как биржа - не имела возможности получить доступ к этой хуйне,
чтобы её не хакнули, а бабло не забанили нахуй,
и чтобы всё не соскамилось и не гокснулось нахуй, как в 2013-м,
а продолжало фурычить заебато, децентрализовано,
и чтобы на DEX'ах: https://ru.wikipedia.org/wiki/Децентрализованная_биржа_цифровых_валют#Список_децентрализованных_бирж
проходил прямые обмены при помощи межблокчейновых ATOMIC SWAP: https://forklog.com/chto-takoe-atomarnye-svopy/
с использованием Multisig-адресов, Reedemption Script'ов всяких, и различных смарт-контрактов невъебенных.
Нашёл https://ru.wikipedia.org/wiki/Гомоморфное_шифрование
Вроде годно.
Но я чё-т не вдупляю нифига.
Надо бы ещё хешей напихать туда цифровых подписей, шифрование и pgp.
PGP, кстати, умеет и в шифрование и в цифровую подпись, и сразу оба варианта доступны.
Потыкать и скачать - можно вот тут: https://username1565.github.io/pgp/
Я думал, поначалу, что limit-ордер (позиция на продажу по фиксированной цене)
его можно в блокчейн повесить, отдельной транзакцией,
после перевода Алисой средств - на некий адрес Алиса-Кэрол,
ключ от которого синтезируется из неких случайных значений, сгенерированных и Алисой и Кэрол,
и при этом - зашифровать рандом Алисы (продавца) - открытым PGP-ключём биржи (Кэрол).
А Кэрол, сможет расшифровать его, когда надо будет передать его Бобу,
и расшифровать - своим закрытым PGP-ключём,
затем - синтезировать из рандома Алисы и своего собственного секретного рандома Кэрол -
общий ключ Алиса-Кэрол, от счета, куда Алиса перевела средства,
и выдать этот ключ Бобу при покупке Бобом, чтобы он этим ключём снял средства со счёта Алиса-Кэрол.
Ну, или же просто выдать рандом Кэрол - Алисе, если Алиса отменила позицию...
Тогда, она сможет с помощью рандома Алисы и рандома Кэрол - получить ключ от счёта Алиса-Кэрол, и вернуть средства.
Схема неплохая, но...
Кэрол, как биржа, владея закрытым ключём PGP, и имея свой сгенерированный рандом Кэрол,
может в любой момент вытащить из блокчейна - шифр Алисы, содержащий рандом Алисы,
затем расшифровать его закрытым PGP-ключём, и получить этот рандом Алисы,
после чего - синтезировать ключ доступа к счёту Алиса-Кэрол.
То есть, Алиса, переводя на этот счёт - ДОВЕРЯЕТ бирже.
А на бирже - могут быть хакеры, взломщики всякие, крысы...
Ну ты понел...
Поэтому надо бы сделать так, чтобы сама Кэрол - не имела возможности получить доступ к счёту Алиса-Кэрол, в принципе.
Но могла, при этом - получить номер этого счёта, без ключа к нему, предоставить этот номер Алисе при открытии ордера,
а затем уже Кэрол могла бы, либо Алисе, либо Бобу - предоставить доступ,
к неким данным, позволяющим вывести ключ доступа к этому счёту.
Поскольку Боб - это залётный покупатель, и Алиса, при открытии позиции - не знает о нём,
очевидно, что Алиса не может включить данные Боба в свою транзакцию,
то есть ключ от счёта Алиса-Кэрол - не может зависеть от каких-либо данных Боба.
При этом, сама Алиса, как в принципе и Кэрол - может выпасть из сети.
Алиса - поставила позицию на Бирже, и ушла например - на год из биржи,
а бирже - могут домен разделегировать. Сайт недоступен. Что тогда?
Поэтому, надо бы писать данные, в зашифрованном виде - внутри самих транзакций,
и писать в блокчейн, который диверсифицируется децентрализированно,
и уже из блокчейна - дешифровывать их,
каким-то таким хитрожопым, изъёбистым образом,
чтобы только полноправные пользователи могли эти данные дешифровать.
Как это реализовать - не знаю, но на уме вертятся какие-то,
секретных значения, тайники, лазейка, для дешифрации.
Например, при наличии хэша транзакции от Боба, Боб мог бы дешифровать данные Алисы - этим хэшем.
Но в таком случае, транзакция должна быть не только подтверждена,
но и сами данные должны быть перешифрованы этим хэшем.
А если они уже попали в блокчейн, в виде транзакции,
то они однозначно зашифрованы каким-то определённым ключём.
Поэтому, можно было бы, как в BitMessage - устроить циркуляцию в P2P-сети, для зависших транзакций
в частности - транзакция Алисы, пока её ордер не исполнен, могла бы регулярно перешифровываться,
на базе ПУБЛИЧНОГО КЛЮЧА Алисы, но с некоей деривацией его - в зависимости
от значения хэша текущего блока в блокчейне (а он - менется).
При этом, внутри транзакции, мог бы содержаться адрес Алисы для получения других средств Боба
(если они меняют одну крипту на другую, то Алиса, как продавец продаёт одну крипту, но покупает другую),
И как только от Боба появляется транзакция на этот адрес, и как только она подтверждена,
её хэш XOR хэш шифрующей ноды - мог бы шифровать всю транзакцию целиком
(включая общедоступные для проверки транзакций адреса).
При этом, не только нода (а она может вывалится),
но и вся сеть - могла бы выдать Бобу - хэш шифрующей ноды,
в обмен на подписанное с адреса Боба - сообщение, и после проверки валидности цифровой подписи этого сообщения.
Таким образом, система удостоверится в том, что Боб владеет приватным ключём от адреса,
с которого была осуществлена транзакция на адрес Алисы, и выдаст ему хэш ноды.
Дальше, Боб, сделав XOR хэша ноды на хэш транзакции - получил бы ключ дешифрования,
и ним бы уже - успешно дешифровал и рандом Алисы и рандом Кэрол,
затем, получил бы ключ доступа Алиса-Кэрол, и уже как полноправный владелец - увёл бы свои средства со счёта Алиса-Кэрол.
Для того, чтобы удостоверится, что это реально был Боб, достаточно отправить Бобу любое случайное значение для подписи его.
Цифровая подпись производится приватным ключём Боба, а он - в секрете.
Проверка подписи - выдаёт адрес Боба:
https://username1565.github.io/brainwallet.github.io/#verify?vrAddr=18w2rtYxYse12po93P1dkf8QnW8DaYqRTD&vrMsg=%D0%A6%D0%B8%D1%84%D1%80%D0%BE%D0%B2%D0%B0%D1%8F%20%D0%BF%D0%BE%D0%B4%D0%BF%D0%B8%D1%81%D1%8C%20%D0%BF%D1%80%D0%BE%D0%B8%D0%B7%D0%B2%D0%BE%D0%B4%D0%B8%D1%82%D1%81%D1%8F%20%D0%BF%D1%80%D0%B8%D0%B2%D0%B0%D1%82%D0%BD%D1%8B%D0%BC%20%D0%BA%D0%BB%D1%8E%D1%87%D1%91%D0%BC.%20%D0%9F%D0%BE%D0%B4%D0%BF%D0%B8%D1%81%D0%B0%D0%BD%D1%82%D0%BE%D0%BC%20-%20%D1%8F%D0%B2%D0%BB%D1%8F%D0%B5%D1%82%D1%81%D1%8F%20%D0%B0%D0%B4%D1%80%D0%B5%D1%81%20%D0%BF%D1%80%D0%BE%D0%B2%D0%B5%D1%80%D1%8F%D0%B5%D0%BC%D0%BE%D0%B9%20%D0%BF%D0%BE%D0%B4%D0%BF%D0%B8%D1%81%D0%B8.&vrSig=HGcqNJiL%2BFec69qy9xY5eNGMRPn3glfGl7OAcr6iJ7zUVS4dO81b1C3jPE4h5mi50Vh5I1LkeyPsHXbRY9jVi5Q%3D&vrstrMessageMagic=Bitcoin%20Signed%20Message%3A%0A
И вот уже сравнивая этот адрес, можно убедиться, что транзакцию отправил именно Боб, и что это он реквестирует ключи.
Схема вроде тоже неплохая, но...
Слать из p2p-сети компоненты ключа дешифрования в открытом виде - не хорошо.
Во-первых, их могут перехватить, во-вторых если ключ дешифрования зависит от хэша транзакции Боба,
то этот хэш - доступен в блокчейне Боба, если кто смотрит его адрес.
Есть небольшой риск, что пока Боб не снял сдерства со счёта Алиса-Боб,
те кто просёк, что Боб перевёл средства на чей-то адрес,
могут перехватить данные, высланные p2p-сетью, после проверки подписи Боба - Бобу.
Затем, эти же люди уже, после перехвата хэша ноды - могут, уже, глядя в блокчейн Боба -
по общедоступной истории транзакций для адреса Боба, взять последнюю транзакцию, и взять её хэш,
затем, как и Боб - синтезировать ключ дешифрования шифросообщения Алисы,
и дешифруя данные Алисы (и Кэрол заодно ещё) - получить ключ доступа от счёта Алиса-Кэрол,
куда Алиса перевела средства. И оттуда их тупо уже увести...
Поэтому, надо ещё мудрённее всё это замутить, походу.
С гомеоморфизмом, гомоморфизмом, топологиями, гомологиями, когомологиями,
эллиптическими кривыми, и многомерными гиперкомплексными субподпространствами.
Приветствую аноны, посоветуйте, пожалуйста, задачники по математике для подготовки к ЕГЭ.
Аноним
03/05/19 Птн 19:56:45
№
Ответ
Пропущено 1 постов, 2 с картинками.
Тривиум Арнольда.
Так, а кто это тут у нас, ещё один арнольдист?
Задачки хорошие, кстати, в этом Вербитский и Ко не правы, ящитаю. Другое дело, что под эти задачи не нужно выстраивать всю систему матобразования в стране, но это уже не арнольдовская "заслуга".
Ткачук - Математика абитуриенту.
Двачую, только не увлекайся сильно, есть темы, которых нет на ЕГЭ, можно времени много потратить
Спрашивай на уначе. Зачем сюда пришёл?
По сабжу: Ткачук, Сергеев и Праслов.
Почему французики обошли стороной как минимум теорию вероятностей? Вот русопедия: "Большинство членов группы не уделяло достаточного внимания таким разделам математики, как … теория вероятностей..." + абсурдопедия: "Как показало расследование, в день смерти они как раз собирались опровергнуть теорию вероятностей, сочтя её недостаточно строгой и формализованной" + цитата из бурбакиста Пьера Картье в англовики: "essentially no analysis beyond the foundations: nothing about partial differential equations, nothing about probability. There is also nothing about combinatorics, nothing about algebraic topology, nothing about concrete geometry. And Bourbaki never seriously considered logic. Dieudonné himself was very vocal against logic. Anything connected with mathematical physics is totally absent from Bourbaki's text". В последнем еще и комбинаторика упоминается. Окей, это всё мнения анона (кроме Картье), но по факту нет никаких крупных трудов по озвученными разделам. Почему же илитка того столетия игнорила теорвер? Ладно там численные методы и прочая приложуха, которая выводилась из аксиоматики других разделов, но вероятности-то что плохого сделали? Крупный раздел все-таки. Или он тоже откуда-то выводится? Аксиоматику Колмогорова - на помойку?
ЗЫ: Насколько я понял, они и теорию чисел не особо жаловали. Или ошибаюсь? Как же тогда гильбертовские проблемы? Бурбачей ведь неметчина и вдохновила на появление.
Пропущено 5 постов, 1 с картинками.
Аксиоматически теория вероятности совпадает с теорией меры. Теория меры у Бурбаки есть.
Про PDE тем более должно быть очевидно, Бурбаки это про систематическое изложение теории, никакой теории УрЧП нет, нечего и излагать.
Аналогично про алгебраическую топологию, по сути это целая наука об одной специальной категории. Теорию категорий Бурбаки не затрагивают. Какие к ним вопросы тогда.
Алгебраическую топологию они написали-таки с того света. Topologie Algébrique вышла в 2016 году. Хотя вместо категорий - колчаны и структуры на них.
В общем, пусть даны два алгоритма, гарантированно останавливающихся на любом входе (либо нам заранее известно, на каком входе они останавливаются, и проверка производится только на нём (будем называть это корректным входом)). Существует ли алгоритм, выводящий 1, если на любом корректном входе, результат алгоритма будет одинаков, и 0 в остальных случаях? При этом, чтобы его длина зависела не от размера входа, а от длины описания алгоритма.
(Пусть будет даже более строгий вариант: алгоритмы получают на вход натуральное число; оба всегда останавливаются).
При этом я не говорю о вырожденных случаях (типа, два совершенно разных алгоритма в конце умножают число на ноль и получают на выходе ноль), меня интересует именно _структурное сходство_ действий.
Интересуют любые теоремы и работы на эту тему.
Простой пример: сортировка пузырьком и сортировка слиянием. По факту, оба алгоритма делают одно и тоже, что как бы очевидно при анализе мозгом (на уровне "понимания"). Но как это можно формализовать? (требование ко входу из натурального числа сохраняется; все конечные упорядоченные множества натуральных чисел образуют счётное множество)
Конечно, может показаться, что общее для них -- это вводить упорядоченность на множестве, и это касается только описания входных и выходных данных, но ведь что-то общее должно быть в самой их сути!
Я просто второкурсник, сори.
Пропущено 16 постов, 1 с картинками.
Такой алгоритм невозможен.
Если бы мы дополнительно потребовали бы, чтобы твой распознающий алгоритм завершал свою работу не только на всюду определенных функциях, то его существование было бы запрещено теоремой Райса: для всякого нетривиального класса вычислимых функций C не существует алгоритма, который выдает 1 на всех кодах программ задающих функции из C и выдает 0 на всех остальных кодах вычислимых функций. Нетривиальность C здесь означает, что есть вычислимая функция из C и вычислимая функция не из C. Если бы был алгоритм проверки двух программ на совпадение задаваемых им функций, то подставив программу для функции f(x)=0 вместо одно из входов мы бы получили алгоритм распознающий класс {f}.
В исходной формулировке буквально к теореме Райса задачу видимо не свести, но тот факт, что такого алгоритма не существует легко доказать по теореме Клини о рекурсии. Если не вдаваться в технические подробности, то по-существу теорема Клини говорит, что можно определять программы, которые могут обращаться к своему собственному коду. Предположим, для противоречия, что был бы алгоритм h(x,y) такой, что при подстановке в него кодов программ вычислимых функций он бы выдавал 1 для программ задающих одинаковые вычислимые функции и 0 для программ задающих различные вычислимые функции. Фиксируем программу zero, задающую тождественно нулевую функцию. Определим вычислимую функцию f(x) с использованием теоремы о рекурсии: если h(zero,f) не завершилась за x шагов, то выдаем f(x)=0, если h(zero,f) завершилась за x шагов и её значение 0, то выдаем f(x)=0 и наконец, если h(zero,f) завершилась за x шагов и её значение не 0, то выдаем f(x)=1. Легко видеть, что f завершается на любом входе. f(x) не могла быть тождественна равна 0, так как тогда h(zero,f)=1 и тем самым для достаточно больших x мы бы имели f(x)=1. Но если бы f(x) не была тождественно равна 0, то из определения f следовало бы, что f(x) тождественно равна 0. Противоречие.
Лол, чувак, я же говорил, что вольная трактовка у задачи может быть. Теоремы Райса и Клини я хорошо знаю.
Ответили же уже, большие дяди пишут докторские диссертации на эту тему. Задача PSPACE и PTIME.
Если ты и так понимал, что в общем случае твоя задача неразрешима, то стоило бы об этом явно и написать в вопросе.
Лол, я вроде конкретно написал, что, во-первых, заранее известно, что обе машины останавливаются на любом входе, во-вторых, интересуют любые частные случаи.
Выкатил еще одну статью, рейт пазязя: https://habr.com/post/441516/
Пропущено 13 постов, 3 с картинками.
Голова от твоих картинок болит. Вот видео, там тоже про жидкий бильярд.
https://www.youtube.com/watch?v=QcFFn50CXcE
Ну так это ж классика.
>>52308
Вроде на картинках жидкий был? Или то уже не бильярд? Ну я не всматривался, голова от такого болит. Ну раз не жидкий, тогда ты знаешь следующий шаг, сделай, чтобы шары катались, от них волны расходились, ну и они отталкиваются там и волны накладываются и получается картинка.
Чуть менее бессмысленно будет скачать что мертва вообще вся российская математическая блогосфера, начиная с тифаретника и мелких бложиков на ljr/livejournal до dxdy который, в общем-то, никогда не был живым.
К счастью или сожалению, на западных имиджбордах ситуация аналогичная:
немалая часть потенциальных иностранных корреспондентов /math/ в форчановском /sci/ например просто тонет на фоне бесконечных тредов о 0,(9) =/= 1.
Лично двое моих знакомых читали здесь треды с удовольствием где-то в течении трёх часов, на большее их терпения копипастить посты в гугл-транслейт, конечно, не хватило.
Как вы сами относитесь к обновлению генофонда?
Английский более менее все знают кто могут что-то интересное сказать, сложностей перевести общение на международный язык никаких не будет, думаю.
В крайнем случае, можно выделить англоязычный тред, засунуть в faq плагины для перевода или попросить абу прикрутить перевод постов на стороне борды.
Пропущено 160 постов, 13 с картинками.
>Я понимаю, что ты хочешь сказать
Нет, не понимаешь. Я говорю, что надо быть дебилом и вертеть математику на хую. Это заболевание. Нет никого, кто бы это опроверг.
Арнольд делает то же, что и ты, но его голова может выдать нечто отличное от того, что туда насрали, а твоя --- нет.
>надо быть дебилом и вертеть математику на хую
Прежде чем вертеть математику таким образом, начнем пожалуй с твоего никчёмного мнения, и будем вертеть его вместе с тобой.
Каждый думает,что знает меня,но не каждый знает,что не знает,кто думает.
Пропущено 7 постов, 2 с картинками.
Все и не надо, можешь ограничиться 4 томами алгебры, томами по группам Ли, топологическим векторным пространствам и спектральной теории. Остальное уже не нужно просто, устарело во время написания.
>вроде слышал
У вас ненадёжные источники, советую проверять информацию самостоятельно. Бурбаки, Алгебра, том 4, страница 30.
Barendregt - Introduction to Lambda Calculus (2000)
http://www.cse.chalmers.se/research/group/logic/TypesSS05/Extra/geuvers.pdf
До третьей главы всё хорошо идёт, а там на 3.5 становится сомнительно, и где-то до пункта 3.8 уже вообще едва что понятно.
Я хочу хотя бы догадываться, но текст не вводит определений символов и понятий, и оно вдобавок едва ли гуглится. При этом есть все основания полагать что та же "А" в странном шрифте явно что-то конкретное должна значить.
Может кто-нибудь вкратце объяснить что именно там доказывается, или чего покурить чтобы спокойно читать эти вычурные мат.символы?
Пропущено 13 постов, 3 с картинками.
Анон, я вообще физик, которому лямда-исчисление ну совершенно не интересно и я им никогда не занимался. Тот факт, что мне абсолютно каждое слово и определение из твоей картинки очевидны (не просто понятны, а тривиальны) говорят о том, что ты просто мало читал математики вообще и на англицком в частности. Ничего страшного, с практикой скилл подкачается, тот тут спросишь, то ещё на каком стэковерфлоу загуглишь. Но мне кажется, что тебе сначала нужно где-то достать более базовые знания, иначе пойдёт всё со скрипом.
Например, идея проекции - тривиальна, здесь неважно, как это называть, смысл один и тот же что в линейке, что в теории множеств (кстати, гуглится это нормально - wiki projection set theory выдаёт то, что надо). "Class" может использоваться как аналог "family" и в этом контексте просто означает "набор", "множество". Про функцию хи сказано, что она из А, это всё, не нужно додумывать себе авантюрный роман. Обзови её пси ноль для пущей consistency.
Может, оно и хорошо, что ты начал с этой книжки - теперь ты знаешь, что нотация может быть какая угодно, и с опытом ты будешь всё быстрее понимать, что имел ввиду автор.
>"Class" может использоваться как аналог "family" и в этом контексте просто означает "набор", "множество". Про функцию хи сказано, что она из А, это всё, не нужно додумывать себе авантюрный роман
А вот тут не всё так однозначно. В математике в самом деле есть моменты что написанная другим шрифтом буква может означать принципиально иную вещь. Вплоть до того что формула уровня "А, Б принадлежит В" вне контекста может значить буквально что угодно.
Я тебе написал свою интерпретацию, которую считаю очевидной и однозначной в этом контексте. С чтением куда более сложной как математики, так и физики на английском у меня лично проблем нет.
в натуре, там же прямо написано
>Let $\mathcal A $ be a class of numeric functions
Это значит, что $\mathcal A$ есть множество "числовых функций" и больше ничего эта буква не обозначает. что не так?
Рудин, Спивак, Зорич, Лоран Шварц, Дьедонне, Апостол, Аман-Эшер, Львовский, Ильян-Позняк, Фихтенгольц, Кудрявцев, ...
Пропущено 522 постов, 28 с картинками.
ну ок. я с этого и начал примерно:
>не совсем понял из приведённой цитаты, что там имеется в виду, но наверно всё-таки имеется в виду что-то другое, помимо "не нужен". может быть, "неправильно сформулирован"
Анализ у нас довольно слабый, преподам на нас похуй. Зорич таки подойдёт?
Пропущено 7 постов, 1 с картинками.
Разве существует окружность в трёхмерном и далее пространствах?
https://www.youtube.com/watch?v=kq4jbNl4lJk
Пропущено 13 постов, 1 с картинками.
Объясни, о какой связи свойств сложения и умножения говорят, рассказывая о сабже?
> Объясни, о какой связи свойств сложения и умножения говорят, рассказывая о сабже?
Гугли ABC-conjecture. Это хороший пример задачи на свойства сразу сложения и умножения. В лекции, на которую ссылка в оп-посте, об этом рассказывается подробно. Суть в том, что числа, заданные индуктивно сложением и умножением одних и тех же чисел, дают последовательности, пересекающиеся только в некоторых точках, а в остальных местах ведут себя хуй знает как и уж точно независимо друг от друга. Суть мочидзукиного доказательства в том, что он эти последовательности не пытается натянуть одна на другую в рамках одного театра (как во всей нормальной математике), а рассматривает в разных театрах, соответствие между решениями в которых можно установить используя тета функции. Для сего ему пришлось нахуярить собственных формализмов, которые нигде кроме его работ не встречаются, и основаны на всяких гамалогиях Гротендика итп вещах не для всех.
>Суть в том, что числа, заданные индуктивно сложением и умножением одних и тех же чисел, дают последовательности, пересекающиеся только в некоторых точках, а в остальных местах ведут себя хуй знает как и уж точно независимо друг от друга
Можно пример таких последовательностей и их построения?
> Можно пример таких последовательностей и их построения?
ABC-conjecture же, эта гипотеза как раз про такие последовательности и их построение. При разных A B и C там получаются разные странные результаты, которые и показывают, что зависимость умножения от сложения есть, но она сложнее чем принято думать.
https://doi.org/10.1142/10737 | March 2018
makklein
Может кто-то знает?
Пропущено 8 постов, 2 с картинками.
Я на матрице с четырья множителями вижу, что можно в любом порядке их умножать, а дальше уже проверить не знаю как.
это аксиома ассоциативности умножения для поля, такая же в линейном пространстве есть
Это такой троленк или что?
У меня все работает
Почему 2 + 2 = 4 ? Или 1.1 - 1.(9) = - 0.9 ? Товарищи математики,
Аноним
07/12/18 Птн 01:59:08
№
Ответ
Товарищи математики, поясните. Поясните строго.
Эти факты кажутся очевидными, однако они не следуют ни из одного определения вещественных чисел, с которыми я знаком. Для простоты остановимся на сложении вещественных чисел.
Есть множество R, на нем определено отображение +, это отображение ассоциативное, коммутативное, есть 0. Так и получается операция сложения. Но в этом аксиоматическом определении абсолютно ничего не говорится о фактической природе этой операции. Как складывать-то? Мы ж ничего об этой операции и не знаем, кроме нескольких абстрактных свойств.
В определении вещественных чисел через бесконечные дроби сложение вводится через приближение рациональными числами. А рациональные через целые, а целые через натуральные. Ну мы ж все знаем как натуральные числа складывать, чо там, три яблока, два яблока, будет пять яблок. По-моему, говно это все какое-то.
Короче говоря, мой вопрос заключается в том, есть ли какие-либо строгие основания у арифметики. В соответствии с которыми проводятся арифметические операции, устанавливается связь между числами, устанавливается связь между числами и цифрами (цифрами не в смысле значков на бумаге, а в смысле системы и совсем не обязательно конкретной существующей системы вроде арабской, которая как-то упорядочивает числа и придает абстрактным а и b значения, имеющие материальный смысл)?
Почему математики осознанно кладут на этот вопрос хуй? Я вот учусь на примате, меня кто спросит, что такое 2 или почему 2 да 2 будет 4, так я же даже ничего не смогу ответить, кроме этого расплывчатого и банального пиздежа про абстракцию понятия количества.
Алсо я слышал про аксиоматику Пеано, которая вроде бы частично дает ответ на мой вопрос в случае натуральных чисел. Проблема в том, что функция следования в этой аксиоматике определяется через сложение (S(n) = n + 1), а само сложение, как это обычно бывает, не определяется никак. Поправьте, если я тут не прав.
Пропущено 26 постов, 3 с картинками.
Тоже мучаюсь этим вопросом, но пока как и ты не могу сформулировать его достаточно точно, чтобы получить конкретный ответ.
Если ты понимаешь аксиоматику Пеано, то вроде как должен и понимать, что её можно консервативно расширить алфавитом L =
0|1|2|3|4|5|6|7|8|9 и примитивно рекурсивной функцией digit : N x N -> L которая выдаёт цифру, стоящую в i-ом разряде числа n. Разве это не является хорошей формализацией той самой "связи между числами и цифрами", о которой ты говорил?
Всё это определяется через математическую логику.
https://etherscan.io/address/0xD64FDEfa8dbc540c2582a6FC44B8f88FfB6657Ce
Загадке скоро год, и пришли к этому этапу те ещё задроты (МОАР и пруф: https://zhuanlan.zhihu.com/p/44989584), так что не надейтесь на очевидные ответы.
Вводная (как я её вижу): к ядре зашифрован ключ (на 64 символа, пример 38baef228d0a63051548728d9c9c245198fb4974bbfd48e67281ac704feaac69).
Главным ключом в ключу (лол) служит эта функция, но вот не как интерпритировать цвет и толщину каждого отрезка на кругах - главное ХЗ.
боролись за 15к баксов, а получат 1,5к, 1к, ой уже ничего
Ну что же вы, математики?