О! Многократная проверка, именно. Осталось найти качественные отличия между многократной проверкой, которая, можно предположить, должна быть тем более многократной, чем больше сомнений, и «в твое доказательство верят больше, чем тех, кто не верит в него».
И, с другой стороны, возвращаясь к вопросу о том, является ли понятие доказательства (то, которое применимо к математическим статьям) математическим: да, если таковым является понятие «квалифицированный человек».
Это не моё высказывание. И тем, что Вы этого не заметили — хотя, полагаю, у Вас хватало для этого знаний — Вы только что лишний раз продемонстрировали, что к знаниям проверка (или вера — эти слова не просто так однокоренные, а потому что отражают разные стороны одного и того же явления) доказательств на естественном языке не сводится.
Да, любопытен проявляемый в этой статье оптимизм — «текст на естественном языке, по которому при необходимости можно восстановить формальное доказательство». Видимо, минусаторы, как и Вы, склонны отождествлять эти два понятия (доказательство и формальное доказательство) в том же духе. Но, кстати, и в этой фразе можно заметить, приглядевшись, что она задаёт психологическое понятие (что могут восстановить люди по тексту на естественном языке), а не математическое. В английской версии статьи это выражено более явно: «As practiced, a proof is expressed in natural language and is a rigorous argument intended to convince the audience of the truth of a statement.»
Вообще, это в математике стандартная практика — берём общеупотребительные слова и придаём им «строгое» значение, после чего вполне себе употребляем одно и то же слово в обоих значениях. Вот, кстати, «слово» — тоже вполне себе понятие математической логики: скажем, формальное доказательство по определению является словом (одним!). Удачи в применении и этого термина при обсуждении математических статей! Но, да, это простой случай — математическое значение слова достаточно далеко от общеупотребительного, чтобы не путаться. Наоборот, «доказательство» — один из самых сложных случаев, на нём все ловятся.
А речь о молотке, которым лично инженер забивает гвоздь? Об экспериментальной реализации какой-нибудь новинки computer science? Или всё-таки о языке, на котором люди пишут? Причём пока тот язык незнакомый, легче оценить то, что те же люди пишут на других языках (в данном случае, на русском).
Нет. Всё ссылка на объект, а вот += может быть вызовом метода __iadd__, а может быть присваиванием этой ссылке нового значения, если у объекта не оказалось этого метода.
Аналогичный код на Swift не компилируется: «cannot pass immutable value to mutating operator: 'number' is a 'let' constant». Кажется, автор этого просит, а не циклов по ссылке.
ЧТД. А если смотреть, как кто-нибудь работает с Emacs, Visual Studio или Photoshop — те функции, которыми они активно пользовались, гуглить, вероятно, тоже не понадобится. Но, да, смотреть придётся более внимательно, к молотку наше подсознание эволюция лучше подготовила, чем к мэйнстримным устройствам управления компьютером.
Вы уверены, что учились пользоваться молотком «без гугла», т.е. абсолютно самостоятельно, извлекая информацию об этом деле только из молотка, досок и гвоздей? Ни разу даже не видели, как их забивает кто-нибудь более опытный, прежде чем первый раз попробовать самому?
Не из коробки, но идея интересная, и кому-то она в голову уже пришла. Особенно интересной кажется вариация с шорткатом для поиска по сообщениям об ошибках.
О, спасибо. Вот что в меню Navigate перечислены не все команды поиска, а к невзрачной серой лупе на тулбаре стоит присмотреться отдельно, я и не догадался. И инструкцию не прочёл — кажется, в этом треде не зазорно в таком признаться.
Но, чёрт возьми, это же прямо супермаркет какой-то: самый ходовой товар — не на полке с аналогичными, а на другом конце зала.
И, с другой стороны, возвращаясь к вопросу о том, является ли понятие доказательства (то, которое применимо к математическим статьям) математическим: да, если таковым является понятие «квалифицированный человек».
Вообще, это в математике стандартная практика — берём общеупотребительные слова и придаём им «строгое» значение, после чего вполне себе употребляем одно и то же слово в обоих значениях. Вот, кстати, «слово» — тоже вполне себе понятие математической логики: скажем, формальное доказательство по определению является словом (одним!). Удачи в применении и этого термина при обсуждении математических статей! Но, да, это простой случай — математическое значение слова достаточно далеко от общеупотребительного, чтобы не путаться. Наоборот, «доказательство» — один из самых сложных случаев, на нём все ловятся.
Никогда ещё каменты в интернете не отзывались мне так быстро: оказывается, умудрился неделю назад посадить баг именно на Swift и именно этим способом.
Больше пока не появлялись. Выложить туда, что ли, страницу, похожую на phpinfo(), на случай возвращения слонопотама?
Но, чёрт возьми, это же прямо супермаркет какой-то: самый ходовой товар — не на полке с аналогичными, а на другом конце зала.