Category: компьютеры

Category was added automatically. Read all entries about "компьютеры".

Хлеб математиков

Что ещё интересно про теорему Гёделя — это контекст, в котором она появилась и против чего она использовалась, как аргумент.

Дело в том, что в 1920-х компьютеры уже маячили на горизонте. В том смысле, что, несмотря на некоторое количество уже созданных счётных машин, они всё ещё оставались фантазией — хрен знает, какими свойствами оная будет обладать. Однако сия фантазия была уже сродни фантазиям 1950-х о полётах в космос: тоже ещё неясно во всех деталях, как оно там будет, но при этом уже ясно, что оно точно возможно, а потому точно как-то будет, причём совсем скоро.

Под этим соусом, разумеется, увлечённые вопросом строили планы и проекты, как эту штуку, которой ещё нет, но которая уже вот-вот, приспособить к народному хозяйству, под коим понималась в основном математика (ну да, машина же — «счётная», а считают — в математике, как ещё-то?).

В результате, у математика Гильберта и ряда его коллег возникла отличная идея.

Машина не устаёт и не ошибается, поэтому мы сделаем с её помощью то, на что у человеков сил не хватает. А именно сформулируем все базовые положения математики и логики в виде некоторого набора аксиом, представляющих из себя правила замены фрагмента формального текстового выражения на какой-то другой фрагмент. И потом запустим полный перебор.

Collapse )

БТ

А вот, кстати, интересно, почему никто не напрягается по поводу того, что люди разучились отслеживать время без часов? Не думаете же вы, что Большой Трындец, который уничтожит все компьютеры и фабрики по их производству, не тронет производства электронных и механических часов? Или что вы при помощи школьной линейки и ножа сумеете выточить пружинки и шестерёнки, которые без микроскопа и рассмотреть-то непросто?

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

В общем, надо, того — тренировать школьников вести отсчёт времени без часов. Хотя бы первые пять–шесть лет обучения. А также готовить пищу на костре, поскольку газа и электричества не будет. И ещё ловить эту пищу в лесу.

Потом уже можно переходить к роскошествам цивилизации — письму ручкой по бумаге и счётам.

А на последних курсах вуза уже можно показать подготовленным к выживанию людям сложное: часы, компьютеры и домашнюю бытовую технику.



doc-файл

(no subject)

Позволю себе процитировать очередное полученное мной откровение носителей Самого Лучшего в Мире Образования:

«Или, например — мало кто понимает, что в компьютерах нет целых чисел — а есть операции над остатками.»

Эта фраза столь хороша, что её можно прямо сразу без раздумий делать лозунгом для тех, кто пафосно рассуждает о том, что знает исключительно по мотивам «Мойша напел».



Ещё немного о Самом Лучшем в Мире Образовании

Комментатор делится очередной поучительной историей.

«В студенческие годы подрабатывал в одной организации эникейщиком, подошла ко мне одна бухгалтерша со столбцом чисел на листике и попросила расчёт сделать. Числа были двух видов: написанные красной ручкой и черной и нужно было красные числа складывать, а черные вычитать. Я по-быстрому посчитал сумму всех красных, сумму всех черных, вычел второе из первого и выдал ей результат. Она на меня как на дурочка посмотрела и объяснила, что не так нужно. Нужно идти по списку чисел, встретил красное — прибавил, встретил черное — отнял. Пришлось все пересчитывать. Что результат получился тот же самый она объяснила просто совпадением.».

Эта история учит нас тому, что если человек мощно зазубрил всё то, что ему говорили в школе, то он всегда найдёт выход из сложной ситуации — не чета, всяким там недоучкам.

Правда, выход будет не оптимальным, а идиотским, но ведь это не отрицает возможности хотя бы ненадолго почувствовать себя выше какой-то там бухгалтерши. Она ж, дура, не понимает коммутативности сложения, при помощи которой энекейщик — то есть тот, кого вроде как наняли, потому что он умеет в компьютеры, — может соптимизировать расчёт вручную, находясь в метре от компьютера.

Причём, что особенно прикольно, ладно бы тут нам встретился случай вида «посчитал и забыл». Но прямо уже в самой истории сообщается, почему не надо считать вручную: потому что вдруг придётся пересчитывать?

Если бы к гордости за понимание того, что может понять первоклассник за десять минут — коммутативности сложения — он добавил бы обоснованную профессиональную гордость и воспользовался бы тем самым компьютером, который предполагает его профессия, набрав эти числа сразу в Экселе, то безо всяких заученных коммутативностей, а чисто кнопками сортировки он мог бы за три секунды расположить числа в любом порядке безо всяких ловких априорных группировок оных чисел. И заодно получить парой кликов не только сумму, а любую статистику над ними. И заодно в соответствии со своими профессиональными обязанностями объяснить «недоученной» бухгалтерше, как это делать.

Но ведь тогда бы эта история стала не столь поучительной, да ведь? А так, смотрите, и человек сумел поучительное рассказать на этом примере, и я тоже.



doc-файл

Как тебе такое, Алан Тьюринг?

Вот интересно, почему большинство людей уверено, что умение влёгкую перемножать числа на калькуляторе или, что на самом деле ещё лучше, вписывать формулу в столбец Экселя, чтобы посчитать по ней сразу стопицот строк, это не настоящее умение считать?

Типа, «это же просто». Типа «это тогда не человек, а компьютер считает».

Абстрагируемся от того, что «это» как бы «просто», но почему-то куча людей испытывает трудности даже с вводом одной формулы в столбец, и лишь отдельные мастера знают о существовании функциональности сводных таблиц и умеют их создавать.

Поскольку, таки да, пусть сами выступающие и не умеют, оно действительно гораздо проще, чем те же стопицот строк обсчитывать вручную на бумажке.

Однако налицо ведь однозначная закономерность: человек откуда-то получает некий вопрос, требующий вычислений, что-то делает и получает ответ. Который потом даже можно проверить и убедиться в том, что этот ответ — верный.

Collapse )

Зачем нужно умение считать на бумажке

Мне изложили ряд ситуаций, на случай попадания в которые человеку необходимо долго тренироваться считать на бумажке.

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

Вдобавок, эти ситуации почему-то сильно напоминают те, в которых человеку надо долго тренироваться писать на бумажке — в том числе, своей запредельной распространённостью. Однако математика — более сложная вещь, чем письмо, а потому и в ситуациях больше деталей.

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

Вам было поручено построить во льдах Крайнего Севера космодром, однако вся ваша группа поехала туда без заранее подготовленных чертежей и каких-либо предварительных расчётов. Более того, все они случайно забыли дома компьютеры, планшеты и ноутбуки, а в качестве мобильных телефонов взяли девайсы 2000-го года.

Collapse )

Эмпатия естественного хода вещей

Вот раньше дети на улицу гулять ходили и предавались там всему разнообразию настоящей, натуральной жизни, не содержащей ГМО. А теперь дети сидят в компьютерах и настоящей жизни у них нет, по коей причине они и вырастут духовными инвалидами, интеллектуальными уродами и асоциальными асоциалами.

Знаете почему?

Потому что у ряда людей напрочь отсутствует эмпатия. Им кажется, что естественное натуральное и без ГМО было строго во времена их детства. Причём строго там, где они жили. Причём только у тех, кто делал точно так же, как они.

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

Для тех, кто вырос после распространения компьютеров во все сферы, между компьютером и автобусом в плане «естественности» нет никакой разницы.

Collapse )

О рефакторинге текстов

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

Однако в текстовых процессорах всей этой радости почти что нет. Да, там можно, например, определить стили и потом их добавлять к фрагментам, но даже с автоприменением оных — почти полный голяк. Я, правда, себе написал мега-скрипт, который многое умеет подбирать по контексту, но всё равно как-то мало.

Так вот, чего ещё, кроме автоматического форматирования, сильно не хватает, так это согласованных исправлений.

В программе, например, можно поменять имя функции, и среда разработки поменяет его везде, где эта функция используется в проекте. Однако, если я в Ворде напишу «тупой Ворд», а потом решу поменять «Ворд» на «программу для набора текстов», то слово «тупой» я буду вынужден менять на «тупую» сам руками.

Да, мне, возможно, подчеркнут это слово, как ошибку, если я забыл поменять окончание у прилагательного, но вполне ведь понятно, что «тупой программа» — столь редкое словосочетание, что это для его получения следовало бы ожидать от пользователя каких-то действий, но вот для смены «тупого Ворда» на «тупую программу» должна требоваться только печать слова «программа», а на «тупую» оно должно поменяться само. Как и в случае со всеми другими согласованиями слов.

Пусть даже для такой «согласованной замены» будет мало просто взять и напечатать одно слово поверх другого, а надо будет выбрать какой-то пункт меню или нажать сочетание клавиш — всё равно так на порядок удобнее.

Надеюсь, кто-то когда-то такое сделает.

ЕГЭ по поэбеньтике

Посмотрел жалобы школьника на ЕГЭ. Да, с некоторыми его рассуждениями я не согласен, однако отрадно видеть, что дофига времени прошло, но в данной области ничего не поменялось. Это всё тот же совершенно бессмысленный ритуал, который нужен исключительно для того, чтобы какие-то высокопоставленные работники системы образования, которым всё пофиг, могли формально отчитаться перед ещё более высокопоставленными лицами, которым тоже всё пофиг.

Поскольку всё так же, как прежде, проверяются «знания» о чём-то, что существует исключительно в головах каких-то полностью некомпетентных в сфере IT людей, не имеющие никакого реального практического или хотя бы теоретического смысла. А точнее, имеющие смысл сделать ещё хуже, чем было бы при полном отсутствии данного предмета и экзаменов по нему, заставив школьников заучить вредные и бессмысленные действия, на протяжении всех лет обучения выдаваемые за «так и надо, так и делают».

Предположим, те же люди решили бы сделать экзамен по предмету «работа электрическим лобзиком». Вот как выглядели бы аналогичные сабжевым задания.

  1. Распилите карандаш металлической линейкой.


  2. Возьмите электрический лобзик за лезвие двумя руками и забейте его корпусом гвоздь в бетон.


  3. Держа электролобзик ногой, зарубите им свободно летающую по комнате канарейку.


  4. Задушите проводом от электрического лобзика составителей школьной программы по информатике.


Collapse )

Клавиатурный консерватизм

Шёл 2020-й. Клавиатуры компьютеров всё ещё обладали функциями, которыми почти никто или вообще никто не пользуется, но всё ещё не содержали клавиш, которыми пользуются все.

Меня всё время крайне интересовал вопрос: если удерживать клавишу с символом некоторое время, то символ начинает быстро воспроизводиться. Кому и зачем это нужно? Не, я понимаю, что всё ещё есть поклонники форматирования пробелами, однако неужели помимо того где-то существуют люди, форматирующие тексты при помощи буквы «а» или «б»? Кому нужно многократное повторение символов сейчас? И кому оно вообще хоть когда-то было нужно?

На клавиатуре есть клавиша «Scroll Lock». Большинство людей в наши дни вряд ли может сказать, что с её помощью предполагалось делать. Так вот, в те времена, когда вместо Виндов и Линуксов во всех компьютерах дефолтом была консоль (она и сейчас запрятана в недрах, но большинство людей, обратно же, никогда её не видели), и в эту консоль безудержно сыпались овердофига строк какого-то лога, этой клавишей можно было удержать на время вывод. Конечно, если вы — Джеки Чан, а потому обладаете сверхчеловеческой реакцией и одновременно с тем орлиным зрением, позволяющим вам мгновенно вычленять в бегущих строках нужные.

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

Ещё есть клавиша «Пауза». Что она должна делать в общем случае, неизвестно. Видимо, её специально вставляли с расчётом на появление компьютерных игр — вот тогда-то пригодится.

Collapse )