Предыдущий тред - https://2ch.hk/math/res/112865.html (
М)Опять конструктивный петух надристал говна. Просьба петуху не забывать какое понятие является более общим - машина Тьюринга или универсальная машина Тьюринга. Подсказка тупому петуху - первое.
>кокококо
Ну в словаре посмотри если какие то слова тебе не понятны. Можешь еще школьный учебник по информатике попытаться осилить чтобы узнать что такое УМТ.
>Просьба не забывать, что метаязык может быть построен только над объектным языком, а об абстракции можно говорить только как об абстрагированном свойстве уже существующего объекта, содержащего это абстрагированное свойство.
Тут модератор вообще есть? Долго ещё этот долбоёб будет своей шизой срать?
щас бы верещать на абучане про недостаточную мочерацию
>Ясно, слит. Нахуй проходим, не задерживаемся. Следующий.
Слил тебе за щеку немножко. Можешь сглатывать, петя-петушок.
![17205126888960[1].png](https://2ch.life//math/src/116183/17205132033840.png)
![17205130942700[1].png](https://2ch.life//math/src/116183/17205132033861.png)
![17205127126280[1].png](https://2ch.life//math/src/116183/17205132033892.png)
![17205135027910[1].png](https://2ch.life//math/src/116183/17205141448670.png)
![17205135997780[1].png](https://2ch.life//math/src/116183/17205141448701.png)
![17205136752920[1].png](https://2ch.life//math/src/116183/17205141448742.png)
![17205140226440[1].png](https://2ch.life//math/src/116183/17205141448783.png)
![17205140901730[3].png](https://2ch.life//math/src/116183/17205142001300.png)
![17205141526080[1].png](https://2ch.life//math/src/116183/17205142001341.png)
![17205143221430[1].png](https://2ch.life//math/src/116183/17205144073380.png)
203 Кб, 469x314> generalizing the standard Turing machine model admits even smaller UTMs. One such generalization is to allow an infinitely repeated word on one or both sides of the Turing machine input, thus extending the definition of universality and known as "semi-weak" or "weak" universality, respectively.
https://en.m.wikipedia.org/wiki/Universal_Turing_machine
Тогда как в статье про машину Тьюринга не написано, что она является обобщённым вариантом универсальной, более того, тьюринг-полнота так же определяется в терминах универсальной машины Тьюринга. Вы, сасихуи, прежде чем кукарекать, хотя бы Википедию почитайте. Энпе тух с 2015 года срал штанов не снимая, а оказалось, что даун просто не знает определения абстракции и метаязыка. Так и здесь.
Ебать, ты петух берешь новые вершины тупизны раз за разом. Как только тебе это удается. Ты реально как LLM видишь знакомые слова и уже можешь складывать из них подобия осмысленных предложений, но вообще не понимаешь их смысла. Попробуй лучше школьный учебник, а еще лучше начни с букваря.
>Где прямо написано, что универсальная машина Тьюринга является обобщением стандартной
Нет не написано. Гугл переводчик тупенькому в помощь.
597 Кб, 1000x568Ёб твою мать! Уже второй тред перекатываешь, а картинку для шапки не вставляешь! А она всю суть отражает итт.
Ещё и читать не умеешь. Ну ок, неси свою ссылку, где написано, что обычная машина Тьюринга является обобщением универсальной. Заодно можешь рассказать, почему тьюринг-полнота определена через универсальную машину Тьюринга.
>Ещё и читать не умеешь
Петух, нахуя ты проецируешь? Это ведь у тебя реально какая то дислексия или хуй знает какая то умственная неполноценность если ты уверен что
> generalizing the standard Turing machine model admits even smaller UTMs.
читается как
> универсальная машина Тьюринга является обобщением стандартной
Конечно, по запарке в принципе можно перепутать смысл бегло вычитывая нужные ключевые слова в статье. Но если ты до сих пор не понял как жестко обдристался, это уже клиника.
Давай разбирать. Слово
> generalizing
Это какая часть речи вообще? Кто и чего обобщает конкретно в данном случае?
>In 1928, a partial formalization of the modern concept of algorithms began with attempts to solve the Entscheidungsproblem (decision problem) posed by David Hilbert. Later formalizations were framed as attempts to define "effective calculability"[30] or "effective method".[31] Those formalizations included the Gödel–Herbrand–Kleene recursive functions of 1930, 1934 and 1935, Alonzo Church's lambda calculus of 1936, Emil Post's Formulation 1 of 1936, and Alan Turing's turing machines of 1936–37 and 1939.
Ой как же так вот целый их список, а петух все еще верует что это никак не возможно потому что проблема останова и кококо-чпокчпокчпок, неудобненько...
>In computer science, a universal Turing machine (UTM) is a Turing machine
https://en.wikipedia.org/wiki/Universal_Turing_machine
Вот это поворот.
>почему тьюринг-полнота определена через универсальную машину Тьюринга
>Полнота по Тьюрингу — характеристика исполнителя (множества вычисляющих элементов) в теории вычислимости, означающая возможность реализовать на нём любую вычислимую функцию, а также воссоздание себя самого. Другими словами, для каждой вычислимой функции существует вычисляющий её элемент (например, машина Тьюринга) или программа для исполнителя, а все функции, вычисляемые множеством вычислителей, являются вычислимыми функциями (возможно, при некотором кодировании входных и выходных данных).
>In computability theory, a system of data-manipulation rules (such as a model of computation, a computer's instruction set, a programming language, or a cellular automaton) is said to be Turing-complete or computationally universal if it can be used to simulate any Turing machine
Что то не вижу
> определена через универсальную машину Тьюринга
нигде.
Как же весело угарать над манямирком тупого конструктивного петушары.
> Давай разбирать.
Там целый абзац, где ясно и с примерами написано, что УМТ это обобщение МТ. Неси ссылку, где написано обратное.
>>6249
> Что то не вижу
Мозги купи, сам же принес определение и сам не видишь:
> для каждой вычислимой функции существует вычисляющий её элемент (например, машина Тьюринга) или программа для исполнителя, а все функции, вычисляемые множеством вычислителей, являются вычислимыми функциями
Обрати внимание на "множество вычислителей", то есть стандартное определение УМТ.
> Полнота по Тьюрингу — характеристика исполнителя (множества вычисляющих элементов)
Короче, ты слишком тупой.
>Там целый абзац
Но мы еще с тобой на первом слове. Что же поделать если ты такой петух без мозгов что надо каждое слово разбирать. Еще раз
> generalizing
Это какая часть речи вообще? Кто и чего обобщает конкретно в данном случае?
>Обрати внимание на "множество вычислителей", то есть стандартное определение УМТ.
Ебанутый, УМТ тут вообще не при чем и про нее буквально ни слова. У тебя шиза, тебе таблетки надо принимать нахуй.
> кукареку
Трясись, срумерок. Можешь перечитать весь абзац, откуда я цитировал (ссылка выше), если умеешь. Факт же в том, что ты официально тупень.
Пиздец ты тупое животное. Расширяются машины Тьюринга и это уже в свою очередь позволяет создать УМТ с меньшим количество инструкций. Не
>прямо написано, что универсальная машина Тьюринга является обобщением стандартной
Ебанашка ты даже один параграф не можешь осилить. Надеюсь ты реально тролишь так тупостью, не возможно быть на столько тупым ебанатом.
Чучело зумера, там же приводятся примеры обобщений МТ на УМТ и слабые УМТ.
> One such generalization is to allow an infinitely repeated word on one or both sides of the Turing machine input, thus extending the definition of universality and known as "semi-weak" or "weak" universality, respectively. Small weakly universal Turing machines that simulate the Rule 110 cellular automaton have been given for the (6, 2), (3, 3), and (2, 4) state-symbol pairs.[17] The proof of universality for Wolfram's 2-state 3-symbol Turing machine further extends the notion of weak universality by allowing certain non-periodic initial configurations. Other variants on the standard Turing machine model that yield small UTMs include machines with multiple tapes or tapes of multiple dimension, and machines coupled with a finite automaton.
Всё это примеры обобщения обычных МТ на более универсальные варианты, имеющие бОльшие возможности. Я тебе сразу сказал, что ключевое слово - "универсальная".
>метаязык может быть построен только над объектным языком
То как тогда петух объяснит фразу из статьи
>в качестве метаязыка будем использовать английский язык
Значит ли это что если бы авторы не взялись бы писать свою статью, английского языка бы не существовало?
Похоже петух уже перешел в стадию шитпостинга. Наверное еще пару раз серанет и снова на несколько месяцев на дно заляжет.
>Всё это примеры обобщения обычных МТ на более универсальные варианты, имеющие бОльшие возможности.
Ты что считаешь что эти обобщения это и есть УМТ? Да или нет?
>>6257
> Значит ли это что если бы авторы не взялись бы писать свою статью, английского языка бы не существовало?
Господи, плесень подзалупная... Читай:
https://ru.m.wikipedia.org/wiki/%D0%9C%D0%B5%D1%82%D0%B0%D1%8F%D0%B7%D1%8B%D0%BA
> Метаязы́к — язык, предназначенный для описания другого языка, называемого объектным языком
> Естественный язык может являться своим же метаязыком (например, для описания русского языка можно использовать тот же русский язык), или отличаться лишь частично, например, специальной терминологией
> Можно построить метаязык, для которого метаязык будет объектным
Где ты взял, что метаязык обязательно должен быть создан с нуля? Вот просто где? Метаязык это языковые конструкции, например, соответствующая терминология, нужные для описания других языковых конструкций, уже объектного языка. Это может быть что угодно подходящее для такой задачи. Английский, узбекский, ассемблер. Какой английский с нуля, что ты несёшь, творог?
>>6258
Там написано, маня. Читай.
>Где ты взял, что метаязык обязательно должен быть создан с нуля?
Да вот же безмозглый конструктивный петух прямо в ОП посте написал
>метаязык может быть построен только над объектным языком
>>6260
>Там написано, маня. Читай.
Дебушка не виляй хвостиком, я спрашиваю что ты думаешь, если у тебя вообще хоть какая то мозгулька осталась.
>>6256
>Я тебе сразу сказал, что ключевое слово - "универсальная".
Покажи скриншот где ты это делаешь. И в чем ключевость этого слова заключается в твоих безумных шизоидных построениях?
Где конкретно в этой фразе:
> метаязык может быть построен только над объектным языком
написано, что метаязык обязательно должен быть создан с нуля? Чего ты несёшь вообще, хуйло тупое?
Жопете просто кидает на угад фразы немного похожие на относящиеся к теме вообще не понимая их смысла. Можешь наблюдать результат подобного поведения от конструктивного петуха прямо в этом треде.
Но вообще говоря
>Где ты взял, что метаязык обязательно должен быть создан с нуля? Вот просто где?
Действительно, где? Петушок, вот тебе конкретный вопрос был:
>Вот еще один смешной вопросик для конструктивного петуха. Если
>>метаязык может быть построен только над объектным языком
>То как тогда петух объяснит фразу из статьи
>>в качестве метаязыка будем использовать английский язык
>Значит ли это что если бы авторы не взялись бы писать свою статью, английского языка бы не существовало?
Отвечай на него и не додумывай хуйни от себя.
>Сам придумал хуйню, сам мне (!) её приписал.
>литерали цитирую ОП-пост
Причина истерики, конструшок?
Хуй сосай - губой трясай кудасай.
Просьба петуху не забывать какое понятие является более общим - машина Тьюринга или универсальная машина Тьюринга. Подсказка тупому петуху - первое.
Если
>метаязык может быть построен только над объектным языком
То как тогда петух объяснит фразу из статьи
>в качестве метаязыка будем использовать английский язык
Значит ли это что если бы авторы не взялись бы писать свою статью, английского языка бы не существовало?
> Энпе тух с 2015 года срал штанов не снимая
Эвона как, выходит тебе дебилу хуем по лбу уже больше 10 лет все кому не лень стучат, а ты за это время даже элементарные понятия для первокуров не осилил, чем ты петушара занимался кроме лечения в психушке? Или у тебя настолько запущенный случай что даже к принудетильным работам не привлекали?
> осилила почитать даже Википедию
Ты же дебил пытющийся изучать математику по русскоязычной википедии. Ты понимаешь какое ты тупое днище? Твоя врождённая тупость умноженная на кривой источник - неудивительно что с твоей шизы уже 10 лет все потешаются. Блеать, за это время люди математические карьеры делают а это чмо срёт из психушки сидя в своём тредике целую ДЕКАДУ блеать.
>что даун просто не знает определения абстракции и метаязыка
Неправда, ты тупой гуманитарий-быдлокодерок даже понять не можешь что серешь нерелевантную хуету и не можешь осилить простейший текстик из википедии. Из него НИКАК не следует что метаязык может являться основанием объектного если понятия в них пересекаются, это очередная хуйню из твоей башки.
>>6260
> Это может быть что угодно подходящее для такой задачи. Английский, узбекский, ассемблер. Какой английский с нуля, что ты несёшь, творог?
Лол, а ведь протык уёбка сохацкого и правда никакого отношения к математике не имеет, такой бред только гуманитарный чушпанцер мог спиздануть.
> Ты же дебил пытющийся изучать математику по русскоязычной википедии.
Дело в том, что для того чтобы показать всю бредовость высказываний местных дегенератов даже русской Википедии более чем достаточно. Один хуеглот 9 лет срал под себя, хотя вся его бредятина опровергается первой же ссылкой на Википедию, второй сейчас то же самое исполняет, опять же, только потому что для него даже русскоязычная Википедия это недостижимые вершины. И даже после того, как я принес статью оттуда, он не способен понять что там написано. Вот это что вообще такое:
>>6281
> Значит ли это что если бы авторы не взялись бы писать свою статью, английского языка бы не существовало?
Второй вопрос, где даун взял, что машина Тьюринга является более общим вариантом, чем универсальная машина Тьюринга, даун упорно игнорирует, как и ссылку на все ту же Википедию, где прямо написано обратное. И вот такие овощи ещё смеют что-то на меня гнать?
Ты даже не способен понять, что я вообще пишу, вот это:
>>6308
> Из него НИКАК не следует что метаязык может являться основанием объектного
Вообще о чём? Ты же дегенерат самый настоящий, где и когда я утверждал, что метаязык может являться основанием объектного? Где и когда?Ты даже читать не умеешь, поиск знакомых букв это не чтение. Вы все из одного коррекционного класса? Иначе сложно объяснить, почему вы тут такой даунятник устроили. Вы же самые настоящие дегроды, но даже этого осознать не способны, по той причине, что дегроды.
>упорно игнорирует
Конструшок, ты уже вконец запизделся. Я буквально готов разбирать с тобой каждое слово того что ты там притащил. Но только вот ты тут же включаешь режим боевого петуха и свой чмориджемет. Очень странно что ты не решил словить тишину на пару месяцев как ты это всегда делаешь.
> ссылку на все ту же Википедию, где прямо написано обратное
Тупое говное, я же буквально для дауна объяснил что там написано совсем другое.
>поиск знакомых букв это не чтение
Это так, но зачем воруешь мои тейки, что я писал буквально выше по треду, клоунишка безмозглая?
>метаязык может быть построен только над объектным языком
То как тогда петух объяснит фразу из статьи
>в качестве метаязыка будем использовать английский язык
Значит ли это что если бы авторы не взялись бы писать свою статью, английского языка бы не существовало?
> Я буквально готов разбирать с тобой каждое слово
А какой смысл "разбирать" чтото с тупнем, серящем скриптами >>6329
>>6330
>>6281
>>6280
Хоть одну причину назови. Я на это ответил + ссылки, где прямо даются ответы на эти "вопросы" я принес. Что должно произойти, чтобы мне стало интересно обсуждать что-то со скриптом для накрутки постинга?
https://en.wikipedia.org/wiki/Chicken
A word for the domestic chicken (*manuk) is part of the reconstructed Proto-Austronesian language, indicating they were domesticated by the Austronesian peoples since ancient times.
>метаязык может быть построен только над объектным языком
То как тогда петух объяснит фразу из статьи
>в качестве метаязыка будем использовать английский язык
Значит ли это что если бы авторы не взялись бы писать свою статью, английского языка бы не существовало?
Красивая птица, зачем порочить её ассоциацией с канструктивизмом?
>а универсальная машина Тьюринга это когда нонстопом ебут не только в жопу
Ну собственно Тьюринг знаменит только тем, что его ебали в жопу.
25 Кб, 500x375>метаязык может быть построен только над объектным языком
Почему? Что есть объектный язык, и как ты его построил не имея понимания объективного языка? Чтобы построить объектный язык нужно уже уметь о нём что-то сказать, а это ли не часть метаязыка?
>об абстракции можно говорить только как об абстрагированном свойстве уже существующего объекта
Не совсем понял, что ты хотел этим донести. Свойства объекта и объект же сосуществуют и неотделимы друг от друга в реальности, но в твоём уме при изучении происходит различение.
1 Кб, 258x229>>В любой математике ровно столько математики, сколько в ней вычислимости.
Почему я должен в это верить?
а что более общее: преобразование Фурье или куб Баренгредта?
Оппучкался в голосину чет.
Какой-то безумный прогресс, если честно, потому что раньше ты писал максимально тупую и неконкретную хуйню.
>метаязык может быть построен только над объектным языком
Несколько лет назад я пытался тебе объяснить то же самое и рисовал свинок, но встретил какое-то тотальное непонимание. Следующий этап - это осознать, что утверждение, что 1+1=2, это метаязыковое утверждение, что знаки 1, 2, 156 и так далее мы определяем через последователь ( s(X), +1, ++ и так далее). Это имена имён вещей. Вот просто мы определили двойку как последователь единицы, и поэтому 1+1=2, из эмпирическогот опыта, кроме опыта владения языком, это никак не следует. То есть информации здесь не больше, чем в утверждении, что всякий поэт является литератором.
>а об абстракции можно говорить только как об абстрагированном свойстве уже существующего объекта, содержащего это абстрагированное свойство
А как быть с пустыми множествами? Например, множество вечных двигателей. Безусловно, чисто исторически всё это сводится к существующим вещам и/или чуственному опыту, но оно не сводится логически, а тем более математически.
Я не могу быть конструктивным петухом просто в силу того, что ни в одном источнике не дано строгое определение того, что такое конструктивизм. Это как правила естественного языка, каждый носитель их как-то интуитивно понимает, причём понимает каждый по-своему, а исследователь пытается вывести какое-то среднеарифмитическое. Насколько всё это работает, вы и сами в курсе.
>1 Это изначально ложная посылка, будто бы знаки являются какой-то отдельной категорией вещей, в то время как знак - это отношение. Например, часовой в дозорной башне может зажечь огонь чтобы подать знак "враги". Огонь является знаком в силу существующих отношений "источник - сообщение - приёмник" и "кодирование - сырые данные - декодирование". Огонь сам по себе не является знаком или не-знаком, таковым он становится в контексте.
>2 Да это вообще к вопросу не относится. Всё равно мы живём в мире x86_64 и небесконечной memory.
ОПа ответ
ты пидор
Так, последовательность "кококо кудахтахтах" можно представить в двоичном исчислении, а значит на компьютере, а компьютер конструктивен.
Да, убедительно.
Всегда эту хуйню было смешно читать, потому что я всю жизнь изучаю как в компьютерах та или иная информация сохраняется, и как раз листок с ручкой для меня всегда были моделью кодирования информации вообще. Если весь этот процесс понимать, то никакого бога из машины там не возникает. Наоборот, удобнее трассировку по шагам на бумаге делать потому что это помогает сконцентрироваться.
Это не пропозиция, это не высказывание, которое может быть истинным или ложным. Это должествование, оценочное суждение, по семантике это что-то типа правила или команды. Оно не может быть истинным или ложным потому что там вместо связки "есть" (быть) стоит связка "должен".
37 Кб, 800x450никуда не отлучаться из кафедры конструктивизма без разрешения Мартина-Лёфа; постоянно наблюдать за комнатой для хранения компьютеров;
не пропускать в университет посторонних лиц, а также не допускать выноса из кафедры компьютеров, исходного кода программ и теорем без разрешения Мартина-Лёфа;
немедленно докладывать Мартину-Лёфу обо всех происшествиях в университете, о нарушении конструктивных аксиом учащимися университета, замеченных неисправностях и нарушениях требований теории типов, принимать меры к их устранению;
будить штатных программистов при общем подъеме, а также ночью в случае тревоги или пожара; своевременно программировать команды согласно кубу Барендрегта;
следить за чистотой и порядком в серверной и требовать их соблюдения от учащихся;
не позволять учащимся в холодное время, особенно ночью, выходить из серверной неодетыми;
следить за тем, чтобы конструктивисты программировали только в отведенных для этого помещениях или местах;
по прибытии в университет прямых начальников от Сохацкого и выше, и Брауэра подавать команду "Конструктивно"; по прибытии в унивеситет других философов и теоретиков конструктивизма, а также старшего программиста и учащихся классических университетов вызывать Мартина-Лёфа.
Например: "Мартин-Лёф, на выход".
Математику запрещается верить в исключённое третье, считать что метазяык может быть построен до объектного языка и считать, что об абстракции можно говорить не только как об абстрагированном свойстве уже существующего объекта
Помощник математика обязан поддерживать чистоту и порядок в университета и никуда не отлучаться без разрешения Мартина-Лёфа, оказывать ему помощь в установлении конструктивизма в случае нарушения аксиом учащимися университета; оставаясь за Мартина-Лёфа, исполнять его обязанности.
При расквартировании конструктивистов в чужом университете один из математиков должен безотлучно находиться на входе в серверную, на месте, установленном Сохацким и запрограммированном для защиты от аксиомы выбора.
Математик обязан всегда знать, где находится Мартин-Лёф, и наблюдать за соблюдением учащимися изоморфизма Карри-Говарда и соответствий куба Баренгредта. Обо всех замеченных нарушениях он докладывает Мартину-Лёфу.
37 Кб, 800x450никуда не отлучаться из кафедры конструктивизма без разрешения Мартина-Лёфа; постоянно наблюдать за комнатой для хранения компьютеров;
не пропускать в университет посторонних лиц, а также не допускать выноса из кафедры компьютеров, исходного кода программ и теорем без разрешения Мартина-Лёфа;
немедленно докладывать Мартину-Лёфу обо всех происшествиях в университете, о нарушении конструктивных аксиом учащимися университета, замеченных неисправностях и нарушениях требований теории типов, принимать меры к их устранению;
будить штатных программистов при общем подъеме, а также ночью в случае тревоги или пожара; своевременно программировать команды согласно кубу Барендрегта;
следить за чистотой и порядком в серверной и требовать их соблюдения от учащихся;
не позволять учащимся в холодное время, особенно ночью, выходить из серверной неодетыми;
следить за тем, чтобы конструктивисты программировали только в отведенных для этого помещениях или местах;
по прибытии в университет прямых начальников от Сохацкого и выше, и Брауэра подавать команду "Конструктивно"; по прибытии в унивеситет других философов и теоретиков конструктивизма, а также старшего программиста и учащихся классических университетов вызывать Мартина-Лёфа.
Например: "Мартин-Лёф, на выход".
Математику запрещается верить в исключённое третье, считать что метазяык может быть построен до объектного языка и считать, что об абстракции можно говорить не только как об абстрагированном свойстве уже существующего объекта
Помощник математика обязан поддерживать чистоту и порядок в университета и никуда не отлучаться без разрешения Мартина-Лёфа, оказывать ему помощь в установлении конструктивизма в случае нарушения аксиом учащимися университета; оставаясь за Мартина-Лёфа, исполнять его обязанности.
При расквартировании конструктивистов в чужом университете один из математиков должен безотлучно находиться на входе в серверную, на месте, установленном Сохацким и запрограммированном для защиты от аксиомы выбора.
Математик обязан всегда знать, где находится Мартин-Лёф, и наблюдать за соблюдением учащимися изоморфизма Карри-Говарда и соответствий куба Баренгредта. Обо всех замеченных нарушениях он докладывает Мартину-Лёфу.
Математик должен обучать логике всех тех и только тех, кто не обучается сам.
Попробуй начать с тематического треда.
топосы
Но суть не меняется. "В математике всё есть конструктивно" не доказуемо конструктивно, и произнесение этой фразы включает в себя оценочное суждение о сущности математике.
Вижу в нём спектр мов.
506 Кб, 732x500Аристотель был первым теоретиком типов.
Это лингвистические и/или научные категории в духе того, что человек - теплокровное.
Обоснуй, не понял тебя.
Ты такскозал, ебаклак? Это цитата из лейденских лекций Мартин-Лёфа 1993 года, "Philosophical Aspects of Intuitionistic Type Theory", и контекст цитаты выше не в том что типы по Аристотелю можно ограничить той хуйней, что ты высрал. Иди просвещайся, чудо.
бедный таракан с разорванной жопой
Всегда знал что Аристотель был типовой базой, а Плотин кринжовым теоретиком множеств.
Плотин.
Платон в нашей аналогии как теоретик категорий, бывает что слишком далеко уходит, но его можно реабилитировать.
Ты б лучше сначала со своим дружком конструшком разобрался бы что такое машина Тьюринга универсальная, реабилитаторы хуевы.
>прямо написано, что универсальная машина Тьюринга является обобщением стандартной
>generalizing the standard Turing machine model admits even smaller UTMs
Как перестать орать с тупизны этого уебана? Реально люди-нейросети уже среди нас. Он просто блядь видит похожий набор слов стоит рядом и реально не может понять что их смысл вообще совершенно разный. Какая же пушка.
Меня это не особо интересует. Программирование это конечно интересно, и известный изоморфизм это подтверждает, но я сам больше отношусь к теоретикам категорий/типов поэтому вижу двойственность понятий "общее" и "частное" сквозь призму функториальности. Оба понятия задают друг друга и присутствуют одно в другом.
Двойственность двух понятий совершенно не означает что можно свободно вместо одного (ошибочно) использовать другое и со штанами полными подливы делать вид что не обосрался, теоретик категорий ты хуев.
>вместо одного
Меня не интересует словопрения, я даже не пытаюсь вникнуть в этот спор. Меня интересуют концепты стоящие за словами.
- у машины Тьюринга есть проблемы с вычислением функций высших порядков https://math.stackexchange.com/questions/4837861/church-turing-thesis-for-higher-order-functions-a-clear-up https://mathoverflow.net/questions/461426/church-turing-thesis-for-higher-order-functions вкратце, некоторые из них невычислимы на машине Тьюринга, хотя вычислимы в полных по Тьюрингу языках программирования.
- полнота языка программирования по Тьюрингу определена через универсальную машину Тьюринга. В тьюринг-полных языках нет проблем с вычислением функций высших порядков, которые есть в не универсальной машине Тьюринга.
- из первых двух пунктов прямо следует, что универсальная машина Тьюринга более универсальный (общий) формализм. Что и требовалось доказать.
Всё, кто там у намазова ботов для автопостинга настраивает, несите нового.
ты сам-то не бот? бип-боп, ботолахта железная
>>8446
Аксиомы группы погугли, дебил.
так что более общее-то?
Универсальная группа понятие более общее чем группа.
Универсальная группа - универсальный объект со свойствами группы в мета-категории математических объектов.
Группа принадлежит типу групп. Но "группа" не принадлежит тому же типу.
У местных обитателей возникает проблема в понимании из-за использования примитивных теоретико-множественных концепций, где выражение "A = B" или "А \in B" имеет смысл для любых объектов. Но теория типов не допускает такого вольного обращения с понятиями равенства или принадлежности.
группа универсальных пруверов
>Меня интересуют концепты стоящие за словами.
Ну и как это противоречит моему тезису? Еще раз - дуальность это один из инструментов для понимания, а не универсальный зонтик которым можно прикрыть любой обсер. Да что я тут перед зелененьким (в обоих смыслах) распинаюсь.
>чтобы окончательно закрыть вопрос говнобота о машинах Тьюринга
Маня, плиз, у тебя закрывалочка слишком неполноценная для таких закрытий.
>полнота языка программирования по Тьюрингу определена через универсальную машину Тьюринга
Уже обоссал тебя, разуй глаза и листай тред.
>из первых двух пунктов прямо следует, что универсальная машина Тьюринга более универсальный (общий) формализм.
чем что? Чем просто МТ? Но в строках выше нет ничего про просто МТ и ее сравнение с универсальной. "Следует" только в твой шизойдной нейронке недообученной.
Ты лучше вот что напиши, человек-анекдот.
>generalizing the standard Turing machine model admits even smaller UTMs
это
>прямо написано, что универсальная машина Тьюринга является обобщением стандартной
Или ты хотя бы тут признаешься как ты нелепо надристал под себя?
>>8449
>Группа универсальных чисел понятие более общее чем группа чисел.
>Группа принадлежит типу групп. Но "группа" не принадлежит тому же типу.
Заглядывая в щелочку в манямир безумца.
>Но теория типов не допускает такого вольного обращения с понятиями равенства или принадлежности.
Про теории типов с гетерогенным равенством поищи, может узнаешь чего интересного для себя.
В догонку - никто не обязан смотреть на математику через призму вашей любимой теории будь то MLTT, теория категорий или Диофантовы уравнения.
>Универсальная группа - универсальный объект со свойствами группы
Это бред какой-то, ты точно "теоретик категорий"? В конечно полных категориях можно определить групповой объект, в подкатегории групповых объектов будут всякие группы с универсальными свойствами (т.е. (ко)пределы). Что такое "универсальная группа в метакатегории матобъектов" мне не понятно. Что было бы универсальным свойством такого объекта? Что было бы морфизмами в этой категории?
А "универсальные числа" тебя не смутили? Да по любому кто то с нейронкой тут куражится. Возможно что сам конструктух, известно что он не прочь в свободное от дрочки на Брауэра с Мартином Лефом поговнокодить очередной ИИ.
Чет пучкнул в голосину с этого.
Просто интересно, это так коллеги общаются или просто школота/шизы потужно испражняются?
Тебя обидел преп или отчислил?
Ты сидишь дома, решаешь задачки из учебника, манина или манфорда какого-ниб, с чатом жпт, чтоб выёбываться в этом мёртвом треде?
Просто я рили плохо себе представляю какого-ниб работающего математика, типа того же Михайлова, чтоб он тут сидел и участвовал в взаимооднозначном обоссывании.
Работающие математики занимаются "взаимооднозначным обоссыванием" в других местах, тут ты прав.
конструктушок не палится
Знаешь определение N?
Есть только уровня сохацкого.
Поциэнт, не пренебрегайте лечением. Обратитесь к специалистам.
Категория моих болезней изоморфна программе считающей количество уникальных способов бегания вокруг дыры на карте в компьютерней игре, а то есть по изоморфизму Карри Говарда - Фундаментальной Группе S1.
60 Кб, 900x676>В любой математике ровно столько математики, сколько в ней вычислимости.
- Пифагор
Пиздуй в бухгалтерю, шиз!
