Замечательный человек подкинул интересную идею:
«могу заодно подкинуть такую интересную идею. [...]
Есть натуральные числа с разными аксиоматиками. можно сказать, что они заданы конструктивно. Есть рациональные числа, тоже заданные в каком-то смысле конструктивно.
Есть числа алгебраические, которые можно задать выписав полином, чьим корнем они будут. Это тоже можно считать конструктивно.
и так далее. Существует несколько разных вариантов возможностей "конструктивной реализации чисел". но вопрос в том, все ли действительные числа реализуются каким-либо образом? Ведь действительные числа в своей аксиоматике заданы совсем не конструктивно.
Такое рассуждение подводит к обратной задаче к взятию определенного интеграла, состоящей в том, чтобы любое наперед заданное действительное число представить в виде какого-то интеграла, "реализовать"»
«могу заодно подкинуть такую интересную идею. [...]
Есть натуральные числа с разными аксиоматиками. можно сказать, что они заданы конструктивно. Есть рациональные числа, тоже заданные в каком-то смысле конструктивно.
Есть числа алгебраические, которые можно задать выписав полином, чьим корнем они будут. Это тоже можно считать конструктивно.
и так далее. Существует несколько разных вариантов возможностей "конструктивной реализации чисел". но вопрос в том, все ли действительные числа реализуются каким-либо образом? Ведь действительные числа в своей аксиоматике заданы совсем не конструктивно.
Такое рассуждение подводит к обратной задаче к взятию определенного интеграла, состоящей в том, чтобы любое наперед заданное действительное число представить в виде какого-то интеграла, "реализовать"»
У меня замечательные подписчики, спасибо вам. Я все ещё не полностью удовлетворен, но надо сначала осознать, может это и ответ.
«О таком приложении определителя отлично написано у Винберга, так что даже не буду пытаться пересказывать, а просто перешлю вырезку из его книги (объяснение короткое и простое)»
«О таком приложении определителя отлично написано у Винберга, так что даже не буду пытаться пересказывать, а просто перешлю вырезку из его книги (объяснение короткое и простое)»
Forwarded from Backtracking (Дима Веснин)
в Мадриде, в рамках выставки Still Human: A reflection on how we react to what's new выставляют новую работу Марио Клингемана. мне ужасно нравится, что он совмещает труизмы, сгенерированные нейросетью GTP-2, и католическую символику
а ещё эта работа неожиданно пострадала от коронавируса: несколько букв сжёг блок питания и запасные части не доставить из-за карантина
а ещё эта работа неожиданно пострадала от коронавируса: несколько букв сжёг блок питания и запасные части не доставить из-за карантина
Forwarded from Backtracking (Дима Веснин)
This media is not supported in your browser
VIEW IN TELEGRAM
Appropriate Response, Марио Клингеман, 2020 г.
Просто миллион двойных маятников, отличающихся друг от друга совсем немного https://twitter.com/rickyreusser/status/1231787005006110729?s=19
Регулярное напоминание, что голуби - это правительственные дроны
https://twitter.com/geoffmanaugh/status/1223293756176130048?s=19
https://twitter.com/geoffmanaugh/status/1223293756176130048?s=19
Но изначально планировал запостить вот это
Есть возможность создавать компьютерные вирусы, закодированные в ДНК последовательностях
https://twitter.com/geoffmanaugh/status/895728956724322304?s=19
Есть возможность создавать компьютерные вирусы, закодированные в ДНК последовательностях
https://twitter.com/geoffmanaugh/status/895728956724322304?s=19