
Комментарии 13
Отличная работа, давно напрашивается завести такой реестр!
(Да, в части ФАС есть ещё один реестр - https://fas.gov.ru/pages/activity/tariffregulation/federalnyij-informaczionnyij-reestr-garantiruyushhix-postavshhikov-i-zon-ix-deyatelnosti.html )
Да, ещё не нашёл у вас реестр Аршин от Росстандарта...
Спасибо! Добавил оба. Реестр гарантирующих поставщиков ФАС.
Да, кстати, Аршин действительно серьезный пропуск, там же больше 66 млн записей о поверке + открытый API без регистрации, редкий случай среди госреестров. Росстандарта в каталоге раньше вообще не было, теперь у него есть отдельная страница.
Если увидите неточности в карточках, напишите, поправлю.
Включает ли ваш реестр самого себя?
Вот мы и дошли до противоречия теории множеств. Нет множества всех множеств в стандартной теории множеств. Поэтому надо переходить в теорию категорий.
Поэтому надо переходить в теорию категорий.
Насколько я знаю, материально-цифрового практического воплощения данная теория не имеет, я прав? Например, в случае с реестрами реестров я не понимаю, как её применить и какая сущность должна соответствовать математическому понятию "категория".
не думаю, что противоречие здесь применимо, потому что реестр реестров вполне может содержать ссылку на самого себя
ахаха, подловил!
А если серьезно то нет, не включает, так как по моей задумке в каталог попадают только государственные реестры, а этот, к счастью, не государственный. Так что парадокс Рассела мы обошли чисто бюрократически: по критериям отбора не прошли. Вот если Минцифры однажды заведёт свой “Реестр реестров”, мы его добавим. Тогда он окажется у нас, мы у него, и дальше пусть разбирается Росстандарт 🤣
Зашёл, чтобы плюсануть или написать этот комментарий.
Нужен реестр тех, кто заводит реестр реестров.
Оффтоп! На первой картинке для привлечения внимания получился Андрей Губин образца 90х годов. Надеюсь вы не ставили нейронке задачу именно таким образом ))
Я завёл реестр реестров. Теперь в России на один реестр больше