Китайская комната Серла I

[Дилетант]

Всё это относится к вопросу "может (сможет) ли компьютер думать, и как это узнать" )))
Как отличить разумное действие от механического выполнения АЛГОРИТМА?
Именно в этом месте нынешняя тема имеет плотное пересечение с вопросом об алгоритмах.

Так вот (это я от себя) АЛГОРИТМ — ЭТО ПОСЛЕДОВАТЕЛЬНОСТЬ ДЕЙСТВИЙ, КОТОРУЮ МОЖНО ВЫПОЛНЯТЬ АБСОЛЮТНО БЕЗДУМНО. Можно вообще не понимать, что ты делаешь, и для чего. Тем не менее, результат каждого выполнения алгоритма с одними и теми же начальными данными будет один и тот же.

Придется начать издалека. Многие знают про тест Тьюринга.
Тест предназначался для ответа на вопрос: можно ли резонно утверждать, что машина думает.
Тест заключается в том, что проницательного человека сажают в пустой комнате за экран монитора. (Утрирую слегка, но не смысл полностью оставляю в целости).
В соседних комнатах находятся — человек и машина. Точнее "думающий" и "?-думающий" (или "возможно-думающий") субъекты. Кто из них где — не известно. Это и надо выяснить опрашивающему.
Общаются они по сети.
Опрашивающий задает всевозможные вопросы, на которые человек отвечает по возможности максимально честно (пытаясь убедить что именно он живое существо). Но то же самое делает компьютер — он хитрит, пытаясь заставить думать тестирующего, что живое существо — это как раз ОН (компьютер).

Если в серии подобных тестов окажется, что опрашивающий не способен "вычислить", кто из двоих — компьютер, то считается, что компьютер (программа) прошел(ла) тест Тьюринга.

Вот как раз НА ЭТО Тьюрингу и возразил Серл.
Но об этом уже в следующий раз )))

@темы: Искусственный интеллект, Amicus Plato

---

[Minority]

Что такое алгоритм?

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

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

@темы: Вопросы

---

Деление на ноль

[Scroll]

Хотела задать вопрос, который мучает меня уже продолжительный срок: верно ли, что при делении нуля на ноль в результате получается бесконечное множество чисел?

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

@темы: Вопросы

---

Вот теперь пишу про клавиатуру )))

[Amicus Plato]

Это просто абзац из Википедии. Может, опять все знали... То есть, абстрактно я-то тоже знала, но таких параллелей не проводила )))

Интересные факты

Клавиша «y» (yes) в стандартной английской раскладке соответствует клавише «н» (нет) в
стандартной русской раскладке. Поэтому нажатие этой клавиши в двуязычных
программах может соответствовать противоположным действиям, в зависимости от
раскладки (согласиться/не согласиться).

@темы: ))), Amicus Plato

---

Продолжение задачи 1+11+111+1111+...

[Cara]

В предыдущем моем посту была найдена формула для суммы ряда 1+11+111+1111+...
Я немного продолжил рассуждения... если попробовать найти формулу для суммы сумм ряда 1+11+111... и.т.д, и попробовать найти общую сумму любого порядка. Для ясности приведу примеры. Пусть исходная сумма ряда будет суммой первого порядка.
Σ(10^(n+1)-9n-10)/9^2=(10^(n+2)-(81/2)n^2-(261/2)n-100)/9^3 [формула 2 порядка]
Σ(10^(n+2)-(81/2)n^2-(261/2)n-100)/9^3=(10^(n+3)-(243/2)n^3-(1539/2)n^2-2844n-1000)/9^4 [формула 3 порядка]
Σ(10^(n+3)-(243/2)n^3-(1539/2)n^2-2844n-1000)/9^4=et cetera
Требуется найти общую формулу для любого порядка.
Загвоздка в общей формуле для Σn^z (z принадлежит множеству нат. чисел) . Σn=n(n+1)/2. Σn^2=n(n+1)(2n+1)/6. Σn^3=(n(n+1)/2)^2.

У кого какие мысли по этому поводу?

@темы: Головоломки и занимательные задачи

---

Не могу не процитировать

[Amicus Plato]

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

Пионер Вовочка знал 9 неприличных слов, а пионерка Валя -- 12
неприличных слов. По скольку неприличных слов стали знать он и она после
откровенного разговора в пионерском лагере, если известно, что до приезда в
лагерь общих неприличных слов в их словарном запасе было 5?

В бутылке "Мартини Россо" один литр жидкости, и стоит она в
коммерческом магазине 550 рублей. Во флакончике одеколона "Чебурашка" 0.1
литра жидкости, зато стоит он всего 1 рубль. Придумай вопрос и реши задачу.

(с) Григорий Остер. Противные задачи

UPD. Как вы думаете, подойдет? Или всё-таки Пушкиным ограничиться?

@темы: ))), Amicus Plato

---

С днем программиста!

[Sensile]

Всех программистов поздравляю с их неофициальным праздником!
Он отмечается на 256-й день года. Число 256 (два в восьмой степени) выбрано потому, что это количество чисел, которые можно выразить с помощью одного байта.
В високосные годы этот праздник попадает на 12 сентября, в невисокосные - на 13 сентября.

@темы: ))), Поздравления

---

[Amicus Plato]

Спасибо большое Cara за задачи!
Люди, решайте вволю!
У меня сейчас полный завал.
Когда выберусь из него, с удовольствием присоединюсь.
Ситуация вкратце такова.
Знания наших студентов оцениваются федеральными тестами, которые разрабатываются федеральным центром тестирования в Йошкар-Оле. На спрашивайте меня, почему там — я сама не знаю.
К настоящему времени существует уже пять версий тестов.
Вопросы в них и самого непрошибаемого флегматика на раз-два выведут из состояния душевного равновесия.
Цитировала перлы оттуда уже не раз и не два.
Например:

Люди зажигают костры по цепочке по принципу: костер горит — "да", не горит — "нет". Что это?
Варианты ответов:
Линия передачи данных;
Шифр;
Что-то еще;
Неадекватное поведение людей.

Или:
В группе 24 человека, из них 3 девушки. Сколько бит потребуется для того, чтобы закодировать информацию: староста группы — девушка.
Варианты:
1
2
3
4

И т.д.


Так вот. Наш вуз подрядили писать новые вопросы.
40 дидактических единиц.
Около 500 вопросов.
Я с двумя коллегами потратили на это около месяца (УЖЕ ИМЕЮЩИЕСЯ ВОПРОСЫ (даже хорошие) не просто нельзя повторять, но нельзя писать что-то хоть близко напоминающее — а темы-то не резиновые...)
В итоге оказалось, что они не верны по форме. Вернее, форма должна быть у всех одинаковая: либо один ответ, либо множественный выбор, либо вписать нужное число, а мы использовали всё вместе...
Теперь надо приводить к единой форме. За два дня, как водится.
Так вот ежели чего (надеюсь, правда обойтись без этого, но не знаю, как повернется), буду выкладывать всё спорное здесь. Откликнитесь уж, пожалуйста!
)))

---

Суммирование ряда.

[Cara]

Приведу несколько интересных задач:

1)
Найти формулу описывающую сумму ряда 1+11+111+1111+...., соответсвенно 1-первый член, 11-второй и т.д. Подставляешь в формулу любое количество членов и находишь сумму :-))))

2)
0,0,0,1,0,2,0,1,1,2,0,2........
Дайте закон объясняющий эту последовательность. Я понимаю, что под эти цифры можно найти бесконечное число законов, но все-таки попробуем.....

3)
На сколько частей можно разрезать тор (бублик) тремя плоскостями?

4)
И на сколько остроугольных треугольников можно разрезать квадрат? (интересует минимум треугольников)

Ответы легко найти у меня в дневнике (я веду его не часто, поэтому он маленький).
Решайте в удовольствие.

@темы: Головоломки и занимательные задачи

---

Господи... ВОТ ЭТОГО Я ТОЧНО НЕ ЗНАЛА!

[Amicus Plato]

Ужас...

Преследование за гомосексуализм и смерть Тьюринга

Тьюринг был гомосексуалистом. В то время в Великобритании гомосексуальные половые акты были запрещены законом, а гомосексуализм считался психическим заболеванием. В 1952 году ему были предъявлены обвинения. Тьюринг был осужден, и ему предоставили выбор между тюрьмой и гормональной терапией, которая, по сути, была химической кастрацией. Тьюринг выбрал терапию. Одним из эффектов была растущая грудь и снижение либидо. Кроме того, в результате осуждения он потерял право работать в области криптографии.

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

Материал из Википедии....


Из книги Бернарда Вербера: 7 июня 1954 года Тьюринг покончил жизнь самоубийством, съев вымоченное в цианистом калии яблоко. Идея эта пришла ему в голову под влиянием комиксов «Белоснежка». Он оставил записку, в которой объяснил, что поскольку общество вынудило его превратиться в женщину, то он решил умереть так, как могла бы умереть самая целомудренная из них....

От этого, блин, "общества" не спрячешься нигде...
Такого человека и так угробили...

@темы: (((, Amicus Plato, Люди

---

[Amicus Plato]

А это первый в мире программист.
Ада Лавлейс.

Чудо как хороша...

@темы: Amicus Plato, Люди

---

[Amicus Plato]

Вот он, легендарный ЭНИАК, о котором было в прошлой записи.
Прародитель всех нынешних ЭВМ.

---

[Amicus Plato]

А вот кусок конспекта моей вводной лекции. Это тезисы — "литературный стиль" там отсутствует.

 

МЕХАНИЧЕСКИЙ ЭТАП

Первые устройства для механической обработки числовой информации были разработаны почти через 200 лет после печатного станка.С этого времени начинается механический этап в развитии средств обработки информации.

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

Первая известная попытка построения такого механизма относится к 1500 году – эскиз суммирующего устройства Леонардо да Винчи.

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

Первое действующее устройство для выполнения сложения было создано в 1623 году Вильгельмом Шиккардом. Он называл свое устройство «Суммирующими часами», т.к. оно было сделано на базе механических часов. Устройство было создано в одном экземпляре.

В 1641-1645 гг. Блез Паскаль разработал суммирующую машину, которая получила широкую известность и была выпущена целой серией 50 машин. Машина Паскаля выполняла операции сложения и вычитания.

В 1671-1674 гг. Готфрид Лейбниц построил арифмометр – машину для выполнения всех четырех арифметических операций.

Вся эта группа средств обработки информации, начиная от «часов» Шиккарда, и заканчивая широко распространенными в конце 19-го – начале 20-го века арифмометрами В.Т. Однера инынешними микрокалькуляторами отличается тем, что человек непосредственно участвует в вычислительном процессе на всех его этапах.

В частности, человек не только определяет последовательность выполняемых действий, но и осуществляет прямое управление вычислительными действиями.

Следующим этапом стала разработка устройств, работающих автоматически, по заданному человеком плану.

1822 г. Чарльз Бэббидж опубликовал статью с описанием «Разностной машины». Разностная машина была успешно создана. Она выполняла операции сложения и вычитания при решении однотипных задач.

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

Однако воплотить этот проект на практике Бэббиджу не удалось (в основном из-за несовершенства материальной и технической базы того периода).

В 1843 году Ада Лавлейс, дочь Джорджа Байрона, опубликовала работу, в которой были заложены основы современного программирования. Ею же была составлена программа вычисления чисел Фибоначчи.

Проект Ч. Бэббиджа, опередивший свое время, содержал все основные компоненты вычислительных машин, появившихся почти столетие спустя.

ЭЛЕКТРОМЕХАНИЧЕСКИЙ ЭТАП

В конце XIX века в связи с появлением электрических устройств и началом развития электротехники начался следующий, электромеханический этап в развитии средств обработки информации.

Отличительная черта – сочетание при выполнении вычислительных операций механических перемещений с работой электрических устройств.

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

Первый табулятор был создан Германом Холлеритом в 1887 г. Основу этого устройства составляли электромеханические реле.

Табуляторы различного рода эффективно использовались во всем мире для разных расчетов вплоть до середины ХХ века.

В 30-х годах ХХ века в разных странах начались разработки принципиально новых устройств – программно-управляемых релейных вычислительных машин.

Считается, что первая в мире программно-управляемая релейная вычислительная машина под названием Z-3, была создана Конрадом Цузе в Германии в 1939-1941 гг. Эта машина могла «помнить» до 64 чисел одновременно, и выполняла сложение двух чисел за 0.3 с, а умножение – за 5 с.

Однако ни у Z-3 ни у появившейся после войны Z-4 не было возможности осуществлять программный выбор одного действия из нескольких возможных.

Это не позволяет считать Z-3 универсальной вычислительной машиной.

Полностью идеи Ч. Бэббиджа впервые были реализованы в машине «Марк-1», разработанной в фирме IBM под руководством Говарда Айкена в 1937-1944 гг.

Эта машина считается первой в мире программно-управляемой универсальной вычислительной машиной. Вместе с тем, устройство для выполнения арифметических действий в машине «Марк-1» было чисто механическим.

Затем, в 1947 г. Была построена полностью релейная (т.е. электромеханическая) машина «Марк-2». Она выполняла операцию умножения за 0.7 с.

ЭЛЕКТРОННЫЙ ЭТАП

Начало его относится к сороковым годам ХХ века.

Первая ЭВМ (в полном смысле этого слова) – программно-управляемая универсальная электронно-вычислительная машина (компьютер) была разработана в 1943-45 гг. в Пенсильванском университете США под руководством Д. Мочли и П. Эккерта. Эта машина называлась “ENIAC”(Electronic Numerical Integrator And Computer) – электронно-цифровой интегратор и вычислитель.

Она весила 30 тонн, ее высота была 6 м, а площадь 120 кв. м. Машина состояла из 18 тысяч электронных ламп накаливания и выполняла примерно 5 тысяч арифметических операций в секунду.

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

Выдающийся математик Джон фон Нейман анализируя работу первых компьютеров пришел к выводу о необходимости хранения выполняющейся программы внутри машины, в ее электронных схемах, а не вне ее – на перфокартах, перфолентах, разъемах со штекерами и т.д.

Первой машиной с хранимой программой является компьютер «EDSAC» (Electronic Delay Storage Automatic Calculator) – автоматический вычислитель с электронной памятью на линиях задержки, построенный в Великобритании в 1949 г. М. Уилксом.

С этой машины принято вести отсчет первого поколения компьютеров.

До настоящего момента насчитывается 4 поколения компьютеров.

---

[Amicus Plato]

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

Замечательный сайт по истории компьютеров.

banifacyj.narod.ru/IBM/history_comp.htm

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

@темы: Интересные ссылки, Amicus Plato

---

[Amicus Plato]

В дневнике Killen можно прочитать интересную статью, посвященную истории создания компьютеров.
На самом деле меня просто оторопь берет от технического гения людей.
Для меня это вещи абсолютно немыслимые.
Разобраться в готовом я еще в состоянии, при условии, что мне это доступно объяснят, но ПРИДУМАТЬ...
Не Кулибин я к моему глубочайшему сожалению...

Всем рекомендую.

Вершина эволюции наук

---

О сколько нам открытий чудных...

[Amicus Plato]

Продолжаю про диски.
Речь сейчас пойдет про CD-R(W).
Винчестер, о котором было писано вчера, является магнитным диском.
Информация на винчестере располагается на концентрических окружностях, называемых дорожками.
Диск вертится относительно магнитной головки, которая считывает или записывает информацию.

За один оборот диска считывается информация с одной дорожки.

Это всё логично и понятно.
Также логично, что диск крутится с постоянной угловой скоростью.

Но совсем не тако обстоит дело с компакт-диском.

***
В отличие от магнитных дисков, компакт-диски не имеют концентрических дорожек – вместо них на поверхности диска формируется одна спиральная дорожка.

Спираль проходит 22 188 оборотов вокруг диска, ее общая длина 5 600 м.

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

Так, на внутренней стороне скорость равна 530 об/мин, а на внешней она падает до 200 об/мин, при этом линейная скорость остается постоянной – 1.2 м/c.

Вот так...
Это хорошо могут наблюдать счастливые обладатели CD-проигрывателей с прозрачными крышками.

@темы: Amicus Plato, Информатика

---

[Amicus Plato]

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

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

Почему винчестер называется винчестером.

Название «винчестер» закрепилось за жестким диском из-за того, что первый загерметизированный жёсткий диск, разработанный фирмой IBM в 1973 г., имел 30 цилиндров (по 30 дорожек на каждой поверхности), а каждая дорожка – 30 секторов.
Поэтому первый накопитель получил обозначение 30/30, как калибр винтовки «винчестер».

@темы: Amicus Plato, Информатика

---

Вот первые несколько фактов из "истории информатики"

[Amicus Plato]

Полагаю, имя Чарльза Бэббиджа (26 декабря 1791 — 18 октября 1871) так или иначе известно всем.
Это знаменитый английский математик. Иностранный член-корреспондент Императорской академии наук в Санкт-Петербурге (1832).

Факты, о которых я хочу рассказать таковы.
(Кто знает, — я не виноват)))

Бэббидж упорно работал над созданием разностной машины. Разностная машина Чарльза Бэббиджа — это механический аппарат, предназначенный для автоматизации вычислений путём аппроксимации функций многочленами и вычисления конечных разностей. В подробности вдаваться не буду, хотя они весьма поучительны. Потому что речь сейчас совсем не об этом.

Значит так.

1822 г. Чарльз Бэббидж опубликовал статью с описанием «Разностной машины», которая была успешно создана.
Машина-то выполняла операции, но строго по одной: человек должен был непосредственно участвовать в каждом шаге процесса.
Но Бэббидж хотел пойти дальше. Он хотел создать нечто, по сути своей напоминающее современные компьютеры, чтобы устройство можно было ЗАПРОГРАММИРОВАТЬ, и дальше оно бы работало САМО — без участия человека.

1832 г. Ч. Бэббидж предложил эскиз «аналитической» машины, процесс обработки информации в которой должен был выполняться автоматически, по заданной человеком программе.
Однако воплотить этот проект на практике Бэббиджу не удалось (в основном из-за несовершенства материальной и технической базы того периода).
Проект Ч. Бэббиджа, опередивший свое время, содержал все основные компоненты вычислительных машин, появившихся почти столетие спустя.

И вот теперь перехожу к тому, ради чего затеялась эта тема.
Аналитическую машину Бэббидж не создал.
Однако...
Он очаровал своими работами (а может, и не только работами) дочь лорда Байрона — Аду Лавлейс.
Полное имя: Августа Ада Кинг (урожденная Байрон), графиня Лавлейс.

Вдохновленная и воодушевленная его изысканиями, она в 1843 опубликовала работу, в которой были заложены основы современного программирования. Ею же была составлена программа вычисления чисел Фибоначчи, о который в сообществе уже рассказывалось.
К слову сказать вычисление чисел Фибоначчи вызывает у моих студентов корчи, колики и икоту, хотя казалось бы — уж чего проще...

Так вот Ада Лавлейс (в ее честь назван язык программирования Ада) — первый в мире программист.
Не первая в мире женщина-программист, как Валентина Терешкова — первая женщина-космонавт, а Программист вообще!

Такие вот феминистские дела...

@темы: Amicus Plato, Информатика

---

[Amicus Plato]

И тут же опровергая себя, пишу ответ на вопрос про аксиому.

Обратимся к терминологии:

Аксиома — это утверждение, принимаемое без доказательства.

Аксиоматизация теории — явное указание конечного набора аксиом.

Утверждения, вытекающие из аксиом, называются теоремами.

То есть неформально говоря, аксиомой может быть ВСЕ, ЧТО УГОДНО, что мы СОГЛАСИМСЯ считать верным. То есть, во что мы согласимся ПОВЕРИТЬ.

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

@темы: Поп-математика, Amicus Plato

---

[Amicus Plato]

Так случилось, что именно первого сентября сообщество возобновляет свою регулярную (надеюсь) работу.

Приветствую всех новых участников и постоянных (и непостоянных) читателей.

Еще так случилось, что в настоящее время я пишу курс лекций по информатике.

Всегда считала, что информатика — это не наука. То есть не то что бы она была "лженаукой", но просто, всё, что я знала из области "информатики" относилось к практическим знаниям. Как то: программирование, устройство компьютера, (курс пользователя даже в расчет не беру), и т.д. и т.п.
Одним словом, мне казалось, что всё, кроме непосредственно теории информации (которая по большому счету просто часть теории вероятностей) относится к практике, — никак не к теории.

Но совсем иного мнения придерживаются авторы учебников по информатике.
А поскольку мне нужно составлять лекции, естественно, я читаю эти самые учебники.
Кое-где удивляюсь, кое-где смеюсь, а кое-где испытываю даже благоговение...

И вот подумалось мне, что некоторые факты (особенно из истории развития информатики не как "науки", но как "области знания") будут интересны всем.
Некоторые из них практически общеизвестны; некоторые были (для меня по крайней мере) откровением.

Вот с этого, пожалуй, и начнем.

Всех желающих предложить свои темы, прошу активно включаться.

@темы: Amicus Plato, Информатика