В "обычной" квантовой механике коллапс есть, но точная природа его неизвестна, поскольку неизвестна точная природа волновой функции.
В целом, я бы сказал, что современная "обычная" квантовая механика — это некое сочетание квантовой механики из классической статьи Фока в УФН "Об интерпретации квантовой механики" и квантовой механики из статьи современной статьи David Wallace "What is orthodox quantum mechanics?" В общем, такая смесь из "shut up and calculate", копенгагена (его здравых частей) и эверетта там где без него никак, но без эвереттовской онтологии.
теорема говорит о существованиии а не о возможности найти
Это так, но на самом деле в доказательстве Гёделя такое утверждние строится явно.
его придеться сделать аксиомой, либо его отрицание
Не обязательно. Ни континуум-гипотеза, ни её отрицание не считаются аксиомами в математике, хотя хорошо известно, что они недоказуемы.
Ну и если вы сделали какое-то утверждение аксиомой, то после этого оно становится доказуемым в один шаг (а именно указанием на то, что это аксиома).
Ну и добавлю на всякий случай, что 1) аксиомы задают теорию, но ещё не формальную систему — для последней также необходимы правила вывода, то есть дедуктивная система, и вот если она задана, то можно говорить о доказуемости; 2) а чтобы говорить об истинности, теории тоже недостаточно, нужна модель теории, иначе говоря семантика.
логик Курт Гёдель навсегда изменил математику, доказав, что невозможно доказать, что всё истинное истинно
Он доказал, что в определённого рода формальных системах есть высказывания, которые недоказуемы и при этом недоказуемы также их отрицания. Насчёт истинности этих высказываний не всё так просто.
На математику это глобально никак не повлияло. А должно было?
Примем, что в году 360 дней. В каждом месяце установим ровно по 30 дней. То есть 5 недель по 6 дней. Год начинается с понедельника, а каждый месяц будет начинается с понедельника и заканчивается субботой.
Оставшиеся 5 (в високосный год 6) дней находятся вне календаря. Назовём эту вневременную неделю "Предновогодней":
Майя возвращаются. Только у них эта неделя называлась «безбожной». Считалось, что в эти дни можно обманывать, не отдавать долг и т. д.
Я вовсе отказался от нестандартных переключателей раскладок.
Отлично! В мире POSIX нет варианта столь же стандартного, как Win+Space в мире виндовс. Но самое ближайшее к нему — Caps Lock. Поэтому и при таком подходе использовать Caps Lock — это естественно и разумно, а жаловаться, что нет удобного средства выдирать гланды через анус (нажимать одним пальцем две клавиши) — нет.
Если ну очень хочется, то регистр можно переключать с помощью Shift + Caps Lock.
Что качается того, что клавиша Scroll Lock для вас самая ненужная, то должен сказать, что это характеризует вас не с самой лучшей стороны. В моих глазах люди, которые не знают зачем нужен Scroll Lock и не используют его, — это люди падшие.
Потому что надо быть либо идиотом, либо мазохистом, чтобы хотеть переключать раскладки сочетанием двух клавиш, когда на любой клавиатуре есть удобно расположенная клавиша, не выполняющая никакой полезной функции. Я про Caps Lock говорю, если что.
Буквы вообще произносятся по-разному не только в разных словах, но и в одинаковых словах разными людьми, и просто в зависимости от фазы луны. Но начальная фонема в «грунт» и «горох» одинакова, и прояснять диакритикой тут просто нечего.
Поясню почему нечего: обычный человек (не лингвист, да и лингвисты не все умеют) просто не умеет сознательно произносить определённую реализацию фонемы (определённый аллофон). Сознательно выбирается только фонема, а дальше работают автоматические механизмы языка (речи).
Так что чтению наличие дополнительных значков никак не поможет, а письмо очень сильно усложнит, поскольку где какой аллофон писать придётся заучивать (так как обычные носители в своём родном языке не разбираются и законов его не знают).
P. S. Так как из-за непомерной любви хабровчан к китайцам я могу отвечать только раз в день, добавлю сюда сразу полезную ссылку по теме статьи: https://www.youtube.com/watch?v=Hd1V9w3BXUg
Нужно. Либо отключать, либо переносить на HDD, либо на мемори диск (актуально для линукс). Если бы было не нужно, такой рекомендации вообще бы никогда не было и в этой статье не было бы совета не отключать.
The new legislation bans possession of photographs and videos depicting real children aged below 18, but it does not include drawings or digitally-created imagery.
В "обычной" квантовой механике коллапс есть, но точная природа его неизвестна, поскольку неизвестна точная природа волновой функции.
В целом, я бы сказал, что современная "обычная" квантовая механика — это некое сочетание квантовой механики из классической статьи Фока в УФН "Об интерпретации квантовой механики" и квантовой механики из статьи современной статьи David Wallace "What is orthodox quantum mechanics?" В общем, такая смесь из "shut up and calculate", копенгагена (его здравых частей) и эверетта там где без него никак, но без эвереттовской онтологии.
Это так, но на самом деле в доказательстве Гёделя такое утверждние строится явно.
Не обязательно. Ни континуум-гипотеза, ни её отрицание не считаются аксиомами в математике, хотя хорошо известно, что они недоказуемы.
Ну и если вы сделали какое-то утверждение аксиомой, то после этого оно становится доказуемым в один шаг (а именно указанием на то, что это аксиома).
Ну и добавлю на всякий случай, что 1) аксиомы задают теорию, но ещё не формальную систему — для последней также необходимы правила вывода, то есть дедуктивная система, и вот если она задана, то можно говорить о доказуемости; 2) а чтобы говорить об истинности, теории тоже недостаточно, нужна модель теории, иначе говоря семантика.
Он доказал, что в определённого рода формальных системах есть высказывания, которые недоказуемы и при этом недоказуемы также их отрицания. Насчёт истинности этих высказываний не всё так просто.
На математику это глобально никак не повлияло. А должно было?
И заслуженное порицание коллег за способствование неадекватному увеличению нормы при сохранении зарплаты.
Если с первого раза не получится, можно просто повторять, пока не придёт (к вымиранию).
Ну и что делать, если такой полезной привычки нет?
Майя возвращаются. Только у них эта неделя называлась «безбожной». Считалось, что в эти дни можно обманывать, не отдавать долг и т. д.
Distorted speech
Отлично! В мире POSIX нет варианта столь же стандартного, как Win+Space в мире виндовс. Но самое ближайшее к нему — Caps Lock. Поэтому и при таком подходе использовать Caps Lock — это естественно и разумно, а жаловаться, что нет удобного средства выдирать гланды через анус (нажимать одним пальцем две клавиши) — нет.
Если ну очень хочется, то регистр можно переключать с помощью Shift + Caps Lock.
Что качается того, что клавиша Scroll Lock для вас самая ненужная, то должен сказать, что это характеризует вас не с самой лучшей стороны. В моих глазах люди, которые не знают зачем нужен Scroll Lock и не используют его, — это люди падшие.
По сравнению с разрешением Путину и Медведеву иметь рабов, это просто сущая ерунда.
Потому что надо быть либо идиотом, либо мазохистом, чтобы хотеть переключать раскладки сочетанием двух клавиш, когда на любой клавиатуре есть удобно расположенная клавиша, не выполняющая никакой полезной функции. Я про Caps Lock говорю, если что.
Буквы вообще произносятся по-разному не только в разных словах, но и в одинаковых словах разными людьми, и просто в зависимости от фазы луны. Но начальная фонема в «грунт» и «горох» одинакова, и прояснять диакритикой тут просто нечего.
Поясню почему нечего: обычный человек (не лингвист, да и лингвисты не все умеют) просто не умеет сознательно произносить определённую реализацию фонемы (определённый аллофон). Сознательно выбирается только фонема, а дальше работают автоматические механизмы языка (речи).
Так что чтению наличие дополнительных значков никак не поможет, а письмо очень сильно усложнит, поскольку где какой аллофон писать придётся заучивать (так как обычные носители в своём родном языке не разбираются и законов его не знают).
Глаголица. Кириллица — это уже десятый век.
P. S. Так как из-за непомерной любви хабровчан к китайцам я могу отвечать только раз в день, добавлю сюда сразу полезную ссылку по теме статьи: https://www.youtube.com/watch?v=Hd1V9w3BXUg
Вся статья — сплошное и наглое враньё от начала до конца.
Экстраполируя, получим, что ваш диск проживёт максимум 500 лет. Это весьма немного и совершенно недостаточно.
SSD вообще не может «пахать под XP», так как последняя не поддерживает единственно строго необходимую для этого фичу — TRIM.
Затем, чтобы не сделать и так короткую жизнь SSD ещё короче.
Нужно. Либо отключать, либо переносить на HDD, либо на мемори диск (актуально для линукс). Если бы было не нужно, такой рекомендации вообще бы никогда не было и в этой статье не было бы совета не отключать.
Это ведь нарушение semantic versioning? Хотя для программ, в отличие от библиотек, это не столь принципиально...