Вот и наступил он, последний день работы нашей фирмы в стенах пединститута. Как обычно, я работал не поднимая головы, т.к. клиенты стояли в очереди даже в институтском коридоре. Все наше имущество мы уже почти упаковали и работать в таких условиях было нелегко. Наступал вечер... Тут входит какой-то необычный клиент. Это было по нему сразу видно. Он предъявил мне корочки сотрудника соответствующего органа. Затем к нему присоединился другой сотрудник. Они написали большую бумагу, которую в соответствующих случая пишут. После этого забрали компьютер, на котором я работал. На следующий день я пришел в их контору, где вначале они еще раз меня припугнули, а затем попросили на разговор с начальством. Начальство по отработанной схеме сильно попросило у нас материальную помощь на развитие отдела в виде компьютерной техники. Все это было обставлено официальными бумагами. Я был очень добр и не в силах отказать. Тогда мой компьютер мне вернули, а через некоторое время мы оборудовали пару рабочих мест в их кабинетах компьютерами. Такие процедуры продолжались регулярно в течение многих лет. И приставали к нам не только они, но и несколько других уважаемых аналогичных контор с теми же вопросами помощи нашим славным защитникам. Иногда возникали даже коллизии, кому и в какую очередь мы "захотим" заниматься благотворительностью. Каждый такой жест "доброй воли" создавал огромную брешь в бюджете нашей небольшой фирмы.
Друзья, здесь не про "лучше-хуже" (как известно во всём есть множество +/-) и не про "нормальные языки", и не про "как можно сделать" а рассказ об аренах, и пример как их можно заюзать в AST. Демонстрация техники использования арен, только и всего. (Хоть, и не самая ясная.)
Ну, по образцу спецификации можно много чего записать (и формулы, и теоремы ...), а затем доказывать это. Форма записи, коей является ЛИ, - имеет к этому косвенное отношение.
И он точно доказал именно это? Проверенная информация? И вообще это докузуемо?
А то я пошарил по этому списку литературы, которая была под рукой и ничего такого там не нашёл.
Введение в математическую логику, т.1. - А.Черч.pdf
Клини С. Математическая логика. 1973.djvu
Колмогоров А.Н., Драгалин А.Г. - Введение в математическую логику - 1982.djvu
Мендельсон - Введение в математическую логику. 1971.djvu
Мендельсон Э. Введение в математическую логику - 1976.djvu
Попов А.И. - Введение в математическую логику - 1959.djvu
Зюзьков В.М. - Введение в математическую логику (Учебники для вузов. Специальная литература) - 2022.pdf
Mendelson E. - Introduction to Mathematical Logic, 6th edition (Textbooks in Mathematics) - 2015.pdf
В курсе Мендельсона в главе Эффективная вычислимость на страницах 251-255 есть параграф "Алгорифмы Тьюринга", но там, насколько я понимаю, просто устанавливается изоморфизм над записью в некоторой формальной знаковой системе и МТ (поправьте, если не так).
Мы можем теперь с каждой машиной Тьюринга Т связать некоторый алгорифм 3 в алфавите А машины Т.
с 252
PS Вообще алгебраисты - суровый народ со специфическим умом. Чтобы читать их книги нужно с малолетства, годами, вытренироваться алгебраистике, - иначе о каком-либо понимании можно забыть. Поэтому я как-то сторонюсь погружаться в чтение их книг. :)
Для разнообразия рекомендую попробовать
Уайтхед А.Н., Рассел Б. Основания математики. Том 1-3. 2005
"Лямбда-выражение" - по Вашей ссылке - это о другом. Вообще никакого отношения к Чёрчу не имеет.
А само "лямбда-исчисление" - не имеет никакого отношения к МТ. Ещё раз: ЛИ это просто спецификация в три строки, как оформлять функции. Смотрите эссе по ссылке выше.
(PS Наводящий вопрос: чем это отличается от конструкции процессора Intel 8086 либо Zilog Z80 либо Java VM ? Наводящий ответ: - ничем.
И таки-да: любой алгоритм, способный выполняться на этих процессорах ха-ха-ха... кхе-кхе... "полон по Тьюрингу".
Здесь разобрано в деталях
Императивные языки программирования имеющие if и goto реализуют Универсальную Машину Тьюринга. В том же 1936 году Алонзо Черч представил миру лямбда исчисление описанное тремя немудреными правилами о своих термах. https://habr.com/ru/articles/246139/
Хороший ответ. Но можно короче: "в 1930-е изобретали вычислители ака "компьютеры". Машина Тьюринга - это спецификация стековой вычислительной машины."
А какие вычислители - от CPU и до VM-мок без стековой архитектуры?! :)
A Turing machine is equivalent to a single-stack pushdown automaton (PDA) that has been made more flexible and concise by relaxing the last-in-first-out (LIFO) requirement of its stack. In addition, a Turing machine is also equivalent to a two-stack PDA with standard LIFO semantics, by using one stack to model the tape left of the head and the other stack for the tape to the right.
At the other extreme, some very simple models turn out to be Turing-equivalent, i.e. to have the same computational power as the Turing machine model.
Чат Жэпэтэ то, чат Жэпэтэ сё... Ждем не дождемся, когда уже "чат Жэпэтэ" кормить начнёт. Вот лежишь на диване: а он тебе булки в рот запихивает. :)
PS А это для практиков:
Инструкция по работе с ИИ LLM
======================
ИНСТРУКЦИЯ (по работе с ИИ LLM)
======================
1. Мультиагентный ролевой подход:
Основная идея: Распределение задачи между несколькими ролями с чётким разделением функций.
Реализация:
а) Определить ключевые аспекты задачи
б) Назначить отдельную роль для каждого аспекта
в) Сформулировать запрос в формате:
"Как [роль 1], выполни [действие 1]. Как [роль 2], сделай [действие 2]..."
2. Цепочка размышлений
Основная идея: Построение причинно-следственных цепочек с обязательной проверкой каждого логического перехода
Реализация:
а) Разбить задачу на шаги
б) Для каждого шага указать:
Причину (почему этот шаг необходим)
Следствие (что даёт выполнение шага)
Проверку согласованности с предыдущими шагами
3. Основная идея: Использование псевдокода или реального кода для структурирования логических операций
Реализация:
а) Сформулировать задачу в виде функции
б) Описать входные/выходные параметры
в) Реализовать алгоритм решения на определённом синтаксисе
4. Дерево мыслей
Основная идея: Построение альтернативных ветвей решения с последующим выбором оптимального пути
Реализация:
а) Генерировать 2-3 варианта решения для каждой подзадачи
б) Оценивать каждый вариант по критериям:
Точность
Ресурсоёмкость
Время выполнения
5. Контрастный промтинг
Основная идея: Параллельная генерация правильных и ошибочных ответов для усиления критического мышления модели
Реализация:
а) Запросить правильный ответ
б) Запросить намеренно неверный ответ
в) Сравнить оба варианта
6. Метод уверенности
Основная идея: Количественная оценка уверенности модели в правильности ответа
Реализация:
а) Запросить ответ с указанием уверенности по шкале 1-10
б) При уверенности <7 предложить альтернативные варианты
Шаги 1-3 обязательны.
«Во время золотой лихорадки надо продавать лопаты».
Помню во времена "расцвета Forex" 2006-2012 - когда реклама "поторговать на Forex" висела в каждом вагоне метро, тоннами печатались бестселлеры от "экспертов", для зайчиков, которые затем шли сливать свою денюшку$$$ по данным им через книги Великих схемам. У меня даже 18-летняя знакомая, продавец обуви на рынке - и та поторговала на 1200$ на Forex-е в те годы. И её было не остановить. :)
В общем, чтобы полюбить котов, нужно научиться их готовить. :)
***
Дело не в лопатах
Уроки золотой лихорадки. Часть первая.
Факты
1. 12 мая 1848 года владелец магазина Сэм Браннан прошел одиночным маршем по улице Сан-Франциско, размахивая бутылкой с золотым песком в одной и шляпой в другой. «Золото! Золото!», — кричал он. Так он отметил начало калифорнийской золотой лихорадки.
2. У Браннана была хорошая причина, чтобы рассказывать о золотой лихорадке, а не ехать копать золото. У Сэма был магазин, который обслуживал рабочих в городке, где было найдено золото. И за неделю между тем, как он услышал о золоте, и этим парадом, он скупил все кирки и лопаты в округе.
3. Так Сэм Браннан сколотил состояние, продавая золотоискателям лопаты, кирки и другое снаряжение. Отсюда и пошла потом поговорка: «Во время золотой лихорадки надо продавать лопаты».
Выводы
1. Суть была вовсе не в том, чтобы решить продавать лопаты. А в том, чтобы решиться скупить все лопаты в округе, и стать монополистом (хотя бы на время).
2. Мало даже скупить все лопаты, надо было заняться маркетингом. А самый эффективный способ маркетинга — это не реклама, а пропаганда. Сэм во время своего марша не рекламировал лопаты — он пропагандировал возможность заработать на золотой лихорадке.
3. В общем, монополия и пропаганда лучше, чем конкуренция и реклама
:) Оно у миллионеров и "фондов" всегда +/- где-то так:
– Господин Голдберг, расскажите, как вы стали миллионером. – Ну когда я впервые попал в Америку, у меня было десять центов. Я купил на них два грязных яблока, вымыл и продал по десять центов каждое. – А потом? – Потом на эти деньги купил четыре яблока, вымыл и продал по десять центов каждое. – А потом? – А потом умерла моя тётушка и тоставила мне в наследство миллион долларов. – А потом 8, 16, 32, 64, 128, 256, 512, а потом 1 килояблоко, 1 мегаяблоко, 1 гигаяблоко... в общем, долгая история...
Зацепило это:
:)
Друзья, здесь не про "лучше-хуже" (как известно во всём есть множество +/-) и не про "нормальные языки", и не про "как можно сделать" а рассказ об аренах, и пример как их можно заюзать в AST. Демонстрация техники использования арен, только и всего. (Хоть, и не самая ясная.)
Слабый заголовок. Я бы предложил:
Как кидануть наймита и загрести по-гуще бобла.
Когруэнтней будет. :)
Ну, по образцу спецификации можно много чего записать (и формулы, и теоремы ...), а затем доказывать это. Форма записи, коей является ЛИ, - имеет к этому косвенное отношение.
И он точно доказал именно это? Проверенная информация? И вообще это докузуемо?
А то я пошарил по этому списку литературы, которая была под рукой и ничего такого там не нашёл.
В курсе Мендельсона в главе Эффективная вычислимость на страницах 251-255 есть параграф "Алгорифмы Тьюринга", но там, насколько я понимаю, просто устанавливается изоморфизм над записью в некоторой формальной знаковой системе и МТ (поправьте, если не так).
PS Вообще алгебраисты - суровый народ со специфическим умом. Чтобы читать их книги нужно с малолетства, годами, вытренироваться алгебраистике, - иначе о каком-либо понимании можно забыть. Поэтому я как-то сторонюсь погружаться в чтение их книг. :)
Для разнообразия рекомендую попробовать
Уайтхед А.Н., Рассел Б. Основания математики. Том 1-3. 2005
:)
Нет, не путаю. Всё в точности как мной написано.
"Лямбда-выражение" - по Вашей ссылке - это о другом. Вообще никакого отношения к Чёрчу не имеет.
А само "лямбда-исчисление" - не имеет никакого отношения к МТ. Ещё раз: ЛИ это просто спецификация в три строки, как оформлять функции. Смотрите эссе по ссылке выше.
"Плаваете" в теме. "лямбда-исчисление" - это о другом.
Это простая спецификация в каком порядке писать функцию: где расставлять её аргументы, где писать тело и как отличить вызов функции от её определения.
Подробнее:
По машинам Тьюринга:
Что здесь не понятно?!
(PS Наводящий вопрос: чем это отличается от конструкции процессора Intel 8086 либо Zilog Z80 либо Java VM ? Наводящий ответ: - ничем.
И таки-да: любой алгоритм, способный выполняться на этих процессорах ха-ха-ха... кхе-кхе... "полон по Тьюрингу".
Здесь разобрано в деталях
)
Хороший ответ. Но можно короче: "в 1930-е изобретали вычислители ака "компьютеры". Машина Тьюринга - это спецификация стековой вычислительной машины."
А какие вычислители - от CPU и до VM-мок без стековой архитектуры?! :)
Как только подписался на правильных людей, сразу Хабр стал Торт!!!
>>Если вам понравилась статья — поставьте плюс, автору всегда приятно когда его работу ценят.
+/+/+/+
Ставлю плюс во все места (статью, карму, подписки, закладки)
>>Как известно, на машине Тьюринга (далее МТ) запрограммировать можно всё, что мы вообще считаем программируемым
А почему? И почему все так носятся с этими машинами Тьюринга?
Просвятите! ...ничего не понимаю :(
А можно ссылочку на репозиторий? А то статья из разряда "как я сделал", так ведь и посмотреть хочется...
искал тут, не нашёл
https://github.com/masscry?tab=repositories
Визуал мне понравился, а вот по механикам игры Coin-Op Vice у людей справедливо есть вопросы. :)
*
https://www.youtube.com/watch?v=KG9Hkvc0dD8
Норм контейнер. Позабавил и ЯП. Видна Рука Маэстро:
:)))
Выжимка основного от сюда
*
https://www.youtube.com/watch?v=cMR2c3vQRAc
Приятно видеть математику рядом с нейронками.
PS Та статья, которую поймёт лишь успешно прошедший курс дифференциальной геометрии и поля. :)
Приквел здесь: https://habr.com/ru/articles/906336/
Нынче больше ностальгируем и читаем статьи об играх, чем играем. Нужно менять ситуацию!
Статьи в блогах. Про то какой он умный и как он всё сделает за нас. :)
Чат Жэпэтэ то, чат Жэпэтэ сё... Ждем не дождемся, когда уже "чат Жэпэтэ" кормить начнёт. Вот лежишь на диване: а он тебе булки в рот запихивает. :)
PS А это для практиков:
Инструкция по работе с ИИ LLM
«Во время золотой лихорадки надо продавать лопаты».
Помню во времена "расцвета Forex" 2006-2012 - когда реклама "поторговать на Forex" висела в каждом вагоне метро, тоннами печатались бестселлеры от "экспертов", для зайчиков, которые затем шли сливать свою денюшку$$$ по данным им через книги Великих схемам. У меня даже 18-летняя знакомая, продавец обуви на рынке - и та поторговала на 1200$ на Forex-е в те годы. И её было не остановить. :)
В общем, чтобы полюбить котов, нужно научиться их готовить. :)
***
Дело не в лопатах
Уроки золотой лихорадки. Часть первая.
Факты
1. 12 мая 1848 года владелец магазина Сэм Браннан прошел одиночным маршем по улице Сан-Франциско, размахивая бутылкой с золотым песком в одной и шляпой в другой. «Золото! Золото!», — кричал он. Так он отметил начало калифорнийской золотой лихорадки.
2. У Браннана была хорошая причина, чтобы рассказывать о золотой лихорадке, а не ехать копать золото. У Сэма был магазин, который обслуживал рабочих в городке, где было найдено золото. И за неделю между тем, как он услышал о золоте, и этим парадом, он скупил все кирки и лопаты в округе.
3. Так Сэм Браннан сколотил состояние, продавая золотоискателям лопаты, кирки и другое снаряжение. Отсюда и пошла потом поговорка: «Во время золотой лихорадки надо продавать лопаты».
Выводы
1. Суть была вовсе не в том, чтобы решить продавать лопаты. А в том, чтобы решиться скупить все лопаты в округе, и стать монополистом (хотя бы на время).
2. Мало даже скупить все лопаты, надо было заняться маркетингом. А самый эффективный способ маркетинга — это не реклама, а пропаганда. Сэм во время своего марша не рекламировал лопаты — он пропагандировал возможность заработать на золотой лихорадке.
3. В общем, монополия и пропаганда лучше, чем конкуренция и реклама
Фото тётушки... с дядей
:) Оно у миллионеров и "фондов" всегда +/- где-то так:
– Господин Голдберг, расскажите, как вы стали миллионером.
– Ну когда я впервые попал в Америку, у меня было десять центов. Я купил на них два грязных яблока, вымыл и продал по десять центов каждое.
– А потом?
– Потом на эти деньги купил четыре яблока, вымыл и продал по десять центов каждое.
– А потом?
– А потом умерла моя тётушка и тоставила мне в наследство миллион долларов.– А потом 8, 16, 32, 64, 128, 256, 512, а потом 1 килояблоко, 1 мегаяблоко, 1 гигаяблоко... в общем, долгая история...