Статья 22.16. Нарушение требований по использованию национального сегмента сети Интернет
1. Осуществление деятельности по реализации товаров, выполнению работ, оказанию услуг на территории Республики Беларусь с использованием информационных сетей, систем и ресурсов, имеющих подключение к сети Интернет, не размещенных на территории Республики Беларусь и (или) не зарегистрированных в установленном порядке, –
влечет наложение штрафа на индивидуального предпринимателя или юридическое лицо в размере от десяти до тридцати базовых величин.
2. Нарушение требований законодательных актов по осуществлению идентификации абонентских устройств при оказании интернет-услуг и (или) пользователей интернет-услуг в пунктах коллективного пользования интернет-услугами, учету и хранению сведений об абонентских устройствах, персональных данных пользователей интернет-услуг, а также сведений об оказанных интернет-услугах –
влечет наложение штрафа в размере от пяти до пятнадцати базовых величин.
3. Нарушение требований законодательства по ограничению доступа пользователей интернет-услуг к информации, запрещенной к распространению в соответствии с законодательными актами, –
влечет наложение штрафа на индивидуального предпринимателя или юридическое лицо в размере от десяти до тридцати базовых величин.
Размер базовой величины с 01.04.2012 составляет 100 000 б.р. ~ 11$.
Насколько понятно из слов Пенроуза (далее по тексту книги), основная формулировка теоремы Гёделя сводится к следующему: существуют так называемые «истинные П1-высказывания», которые нельзя получить из правил некоторой формальной системы F (при этом система F предполагается заслуживающей доверия). Примерами таких высказываний может служить «последняя теорема Ферма» или бинарная проблема Гольдбаха (тернарная гипотеза Гольдбаха была доказана в этом году, в мае опубликовано доказательство), согласно которой любое чётное число большее 2, можно представить в виде суммы двух простых чисел.
Вы высказали предположения, что я утерял суть высказывание Пенроуза, которое я позднее привел в виде отрывка. Теперь вы явно утверждаете, что я утерял суть, пересказывая содержание данного отрывка. А теперь процитируйте, пожалуйста, фразу, в которой эта суть утеряна и не соответствует содержанию приведённого отрывка. Давайте разберёмся, кто здесь верблюд.
не наука в том смысле, что она не относится к естественным наукам
То бишь Фейнман не относит математику к естественным наукам, а не к наукам вообще. Если выделить категории «точных, естественных и инженерных наук», то математика попадает в «точные».
Да, есть такое, поэтому, возможно, есть вероятность некоторого искажения сути под влиянием его взглядов на проблему создания сильного ИИ. Но Пенроуз дядька умный всё же, наверное, таких глупых ошибок не сделал бы.
Что значит «верится» или «не верится». Я же источник указал.
Во-первых, книга написана в 2007 г., а, следовательно, Пенроуз знал о том, что ВТФ доказана (собственно, он это и подтвердил).
Во-вторых, вот эта вырезка
Пенроуз Р. Путь к реальности, или законы, управляющие Вселенной. Полный путеводитель (2007)
Авторами «Британники» являются ведущие мировые эксперты, среди которых десятки лауреатов Нобелевской премии. В разное время статьи для «Британники» писали Зигмунд Фрейд, Альберт Эйнштейн, Мария Кюри, Генри Форд, Лев Троцкий. Современная версия «Британники» создана при участии около 4000 авторов и редакторов.
(взято из вики)
Поэтому, если ссылаться на авторитеты, то получим две противоборствующие стороны: «математика — наука» и «математика — не наука» (а лучше уточнить: «математика — естественная наука» и «математика — гуманитарная наука», потому что, насколько я понял из статьи, В.А. Успенский говорит об отнесении «науки математики» к гуманитарной ветке, а не о лишении математики статуса науки, что, с другой стороны, хотите сделать вы:
Строго говоря, математика даже не является наукой.
Во-вторых, с рассуждениями В.А. Успенского я тоже не согласен. То, что математика отошла от «сухой цифири» (хотя весьма глупым выглядит попытка доказать это путем упоминания о парадоксе близнецов, который не является чисто математической проблемой (а тем более глупо говорить о парадоксе близнецов как о проблеме, ждущей решения), или о «попытках (математиков) познания бесконечного, которые значительно расширяют горизонты мышления») — не повод переносить её в разряд гуманитарных дисциплин. А почему бы туда не перенести физику? Физики (особенно квантовые) сейчас рассуждают о немыслимых вещах, куда дальше уходя от «тупо цифири». Опять же, то, что математика «расширяет навыки мышления», улучшает «строгость мышления и воображение» — это просто свойство математики (и, скажем, того же программирования тоже) — не повод сделать её гуманитарной. А может сделаем информатику гуманитарной дисциплиной? Ведь у нас тут абстракции разные, знаете ли.
Потом, В.А. Успенский называет «вторым и более глубоким фактором» то, что
занятия математикой и сопряженное с ними систематическое использование точной терминологии определенным образом сказываются на психологии, по крайней мере в части восприятия слов
На хабре была не одна статья о профессиональной деформации программистов — так что, может всё же сделаем информатику гуманитарной дисциплиной, ведь программирование сопряжено с использованием точной терминологии, что определённым образом складывается на психологии (кстати, почему на психологии, а не на психике?). Или физику?
Ну и третий фактор, который упоминается статье уже смещён до безобразия. Ображение к этимологии и толкованию слов для… для чего? Это вообще аргументом можно назвать? В англ. языке есть слово fail, которому нет прямого аналога в русском — так что теперь? А может отсутствие в (исконно?) русском языке толкования слова «ложь» в том смысле, в котором это делают в математике, наоборот отдаляет математику от блока гуманитарных наук. Разве нет?
В общем лучи негодования В.А. Успенскому за его статью. Не примите меня за технофашиста, но статья в самом деле «гуманитарная с ног до головы», с безобразной, маразматичной, аргументацией. Зачем автор опять затрагивает эту якобы проблему «физиков и лириков» («технарей и гуманитариев»), да сколько можно! Это моё ИМХО, естестественно.
Ну, во-первых, это слова Р. Пенроуза (совсем немного изменений, но суть 100% сохранена во всех смыслах). Во-вторых, то, что П1-высказывания нельзя получить из правил формальной системы F, заслуживающей доверия, не означает, что их нельзя доказать, но, мне кажется, это означает, что их не получится описать и доказать только на основе формального подхода (хотя здесь я могу быть не прав).
Каких учёных? Каких математиков? Где пруфы на научные работы? На книги, цитаты? Вы знаете, что допустили как минимум две логические ошибки разных типов (аргумент к социальной безуспешности, аппеляция к анонимному авторитету), о которых вы, разумеется, даже не слышали?
Что это значит? Математика — наука. Если попросят привести пример науки, и вы скажете «Математика», то будете правы на 100%. В энциклопедии Британника математика определяется как наука. Конечно, вы можете иметь альтернативный взгляд на смысл понятий «наука» и «математика», однако в том виде, в котором пытаетесь представить их вы, они явно противоречат общепринятым. По меньшей мере, то, о чём вы говорите, скорее соответствует разделу философии под названием «логика», чем понятию «математика».
Не гуманитаризируйте на техническом ресурсе, не надо патетичненьких фраз вроде «математика — язык человека» или «математика — царица наук».
Насколько я понял, это формализация теорем, а не их доказательств, и верификацию теоремы на предмет правильности лишь на основе этих строчек произвести не получится.
«Существует общее заблуждение, согласно которому теорема Гёделя якобы утверждает существование „недоказуемых математических утверждений“ и областей „платонического мира“ математических истин, принципиально не доступных для нас. Это очень далеко от вывода, который мы должны сделать из теоремы Гёделя. В действительности Гёдель утверждает, что какие бы правила доказательства мы ни сформулировали заранее, предполодив их заслуживающими доверия (т.е. не способными привести нас к ложному заключению) и не слишком ограничетельными, мы в результате получим новый способ доступа к некоторым математическим истинам, которые невозможно вывести в рамках данных правил». Пенроуз Р. Путь к реальности, или законы, управляющие Вселенной. Полный путеводитель (2007)
Насколько понятно из слов Пенроуза (далее по тексту книги), основная формулировка теоремы Гёделя сводится к следующему: существуют так называемые «истинные П1-высказывания», которые нельзя получить из правил некоторой формальной системы F (при этом система F предполагается заслуживающей доверия). Примерами таких высказываний может служить «последняя теорема Ферма» или бинарная проблема Гольдбаха (тернарная гипотеза Гольдбаха была доказана в этом году, в мае опубликовано доказательство), согласно которой любое чётное число большее 2, можно представить в виде суммы двух простых чисел.
Как потусовавшийся в университете в качестве студента, магистранта и преподавателя — подтверждаю. Что убивает — так это маразматичность гос. структуры в целом и мин. образования в частности.
Как по мне, «учиться в смысле гуглить и находить решение» и «учиться путем вдумчивого чтения книг, статей, путем организации знаний» — две большие разницы.
Не совсем так. В рамках предмета с «размытым» названием вроде «Динамическое программирование», «Программирование в Web» и проч. можно дать практически всё, что душа пожелает.
1. Осуществление деятельности по реализации товаров, выполнению работ, оказанию услуг на территории Республики Беларусь с использованием информационных сетей, систем и ресурсов, имеющих подключение к сети Интернет, не размещенных на территории Республики Беларусь и (или) не зарегистрированных в установленном порядке, –
влечет наложение штрафа на индивидуального предпринимателя или юридическое лицо в размере от десяти до тридцати базовых величин.
2. Нарушение требований законодательных актов по осуществлению идентификации абонентских устройств при оказании интернет-услуг и (или) пользователей интернет-услуг в пунктах коллективного пользования интернет-услугами, учету и хранению сведений об абонентских устройствах, персональных данных пользователей интернет-услуг, а также сведений об оказанных интернет-услугах –
влечет наложение штрафа в размере от пяти до пятнадцати базовых величин.
3. Нарушение требований законодательства по ограничению доступа пользователей интернет-услуг к информации, запрещенной к распространению в соответствии с законодательными актами, –
влечет наложение штрафа на индивидуального предпринимателя или юридическое лицо в размере от десяти до тридцати базовых величин.
Во-первых, книга написана в 2007 г., а, следовательно, Пенроуз знал о том, что ВТФ доказана (собственно, он это и подтвердил).
Во-вторых, вот эта вырезка
Пенроуз Р. Путь к реальности, или законы, управляющие Вселенной. Полный путеводитель (2007)
(взято из вики)
Поэтому, если ссылаться на авторитеты, то получим две противоборствующие стороны: «математика — наука» и «математика — не наука» (а лучше уточнить: «математика — естественная наука» и «математика — гуманитарная наука», потому что, насколько я понял из статьи, В.А. Успенский говорит об отнесении «науки математики» к гуманитарной ветке, а не о лишении математики статуса науки, что, с другой стороны, хотите сделать вы:
Во-вторых, с рассуждениями В.А. Успенского я тоже не согласен. То, что математика отошла от «сухой цифири» (хотя весьма глупым выглядит попытка доказать это путем упоминания о парадоксе близнецов, который не является чисто математической проблемой (а тем более глупо говорить о парадоксе близнецов как о проблеме, ждущей решения), или о «попытках (математиков) познания бесконечного, которые значительно расширяют горизонты мышления») — не повод переносить её в разряд гуманитарных дисциплин. А почему бы туда не перенести физику? Физики (особенно квантовые) сейчас рассуждают о немыслимых вещах, куда дальше уходя от «тупо цифири». Опять же, то, что математика «расширяет навыки мышления», улучшает «строгость мышления и воображение» — это просто свойство математики (и, скажем, того же программирования тоже) — не повод сделать её гуманитарной. А может сделаем информатику гуманитарной дисциплиной? Ведь у нас тут абстракции разные, знаете ли.
Потом, В.А. Успенский называет «вторым и более глубоким фактором» то, чтоНа хабре была не одна статья о профессиональной деформации программистов — так что, может всё же сделаем информатику гуманитарной дисциплиной, ведь программирование сопряжено с использованием точной терминологии, что определённым образом складывается на психологии (кстати, почему на психологии, а не на психике?). Или физику?
Ну и третий фактор, который упоминается статье уже смещён до безобразия. Ображение к этимологии и толкованию слов для… для чего? Это вообще аргументом можно назвать? В англ. языке есть слово fail, которому нет прямого аналога в русском — так что теперь? А может отсутствие в (исконно?) русском языке толкования слова «ложь» в том смысле, в котором это делают в математике, наоборот отдаляет математику от блока гуманитарных наук. Разве нет?
В общем лучи негодования В.А. Успенскому за его статью. Не примите меня за технофашиста, но статья в самом деле «гуманитарная с ног до головы», с безобразной, маразматичной, аргументацией. Зачем автор опять затрагивает эту якобы проблему «физиков и лириков» («технарей и гуманитариев»), да сколько можно! Это моё ИМХО, естестественно.
Не гуманитаризируйте на техническом ресурсе, не надо патетичненьких фраз вроде «математика — язык человека» или «математика — царица наук».
Пенроуз Р. Путь к реальности, или законы, управляющие Вселенной. Полный путеводитель (2007)
Насколько понятно из слов Пенроуза (далее по тексту книги), основная формулировка теоремы Гёделя сводится к следующему: существуют так называемые «истинные П1-высказывания», которые нельзя получить из правил некоторой формальной системы F (при этом система F предполагается заслуживающей доверия). Примерами таких высказываний может служить «последняя теорема Ферма» или бинарная проблема Гольдбаха (тернарная гипотеза Гольдбаха была доказана в этом году, в мае опубликовано доказательство), согласно которой любое чётное число большее 2, можно представить в виде суммы двух простых чисел.