В целом, я бы сказал, что современная "обычная" квантовая механика — это некое сочетание квантовой механики из классической статьи Фока в УФН "Об интерпретации квантовой механики" и квантовой механики из статьи современной статьи David Wallace "What is orthodox quantum mechanics?" В общем, такая смесь из "shut up and calculate", копенгагена (его здравых частей) и эверетта там где без него никак, но без эвереттовской онтологии.

Это так, но на самом деле в доказательстве Гёделя такое утверждние строится явно.

его придеться сделать аксиомой, либо его отрицание

Не обязательно. Ни континуум-гипотеза, ни её отрицание не считаются аксиомами в математике, хотя хорошо известно, что они недоказуемы.

Ну и если вы сделали какое-то утверждение аксиомой, то после этого оно становится доказуемым в один шаг (а именно указанием на то, что это аксиома).

Ну и добавлю на всякий случай, что 1) аксиомы задают теорию, но ещё не формальную систему — для последней также необходимы правила вывода, то есть дедуктивная система, и вот если она задана, то можно говорить о доказуемости; 2) а чтобы говорить об истинности, теории тоже недостаточно, нужна модель теории, иначе говоря семантика.

1. Он доказал, что в определённого рода формальных системах есть высказывания, которые недоказуемы и при этом недоказуемы также их отрицания. Насчёт истинности этих высказываний не всё так просто.

   
   

2. На математику это глобально никак не повлияло. А должно было?

   
   

И заслуженное порицание коллег за способствование неадекватному увеличению нормы при сохранении зарплаты.

Майя возвращаются. Только у них эта неделя называлась «безбожной». Считалось, что в эти дни можно обманывать, не отдавать долг и т. д.

Отлично! В мире POSIX нет варианта столь же стандартного, как Win+Space в мире виндовс. Но самое ближайшее к нему — Caps Lock. Поэтому и при таком подходе использовать Caps Lock — это естественно и разумно, а жаловаться, что нет удобного средства выдирать гланды через анус (нажимать одним пальцем две клавиши) — нет.

Если ну очень хочется, то регистр можно переключать с помощью Shift + Caps Lock.

Что качается того, что клавиша Scroll Lock для вас самая ненужная, то должен сказать, что это характеризует вас не с самой лучшей стороны. В моих глазах люди, которые не знают зачем нужен Scroll Lock и не используют его, — это люди падшие.

Поясню почему нечего: обычный человек (не лингвист, да и лингвисты не все умеют) просто не умеет сознательно произносить определённую реализацию фонемы (определённый аллофон). Сознательно выбирается только фонема, а дальше работают автоматические механизмы языка (речи).

Так что чтению наличие дополнительных значков никак не поможет, а письмо очень сильно усложнит, поскольку где какой аллофон писать придётся заучивать (так как обычные носители в своём родном языке не разбираются и законов его не знают).

Глаголица. Кириллица — это уже десятый век.

P. S. Так как из-за непомерной любви хабровчан к китайцам я могу отвечать только раз в день, добавлю сюда сразу полезную ссылку по теме статьи: https://www.youtube.com/watch?v=Hd1V9w3BXUg

SSD вообще не может «пахать под XP», так как последняя не поддерживает единственно строго необходимую для этого фичу — TRIM.

Нужно. Либо отключать, либо переносить на HDD, либо на мемори диск (актуально для линукс). Если бы было не нужно, такой рекомендации вообще бы никогда не было и в этой статье не было бы совета не отключать.

Это ведь нарушение semantic versioning? Хотя для программ, в отличие от библиотек, это не столь принципиально...