image.png324 Кб, 499x713
Категоризация игр 36864 В конец треда | Веб
В этом треде мы будем заниматься настоящей наукой - попытаемся раскрыть понятие игры через теорию категорий. Анон, ты предствляешь, такое естественное понятие - игра, никак не представлено в настоящей математике. Теория игр - это сосвем не то - вторая культура, прикладная служанка экономики.
Вопросы вот какие - возможно ли это вообще? Что такое функтор между двумя играми? Если игры не укладываются в категории, возможно ли шагнуть ещё дальше в абстракцию?

Ты спросишь, анон, зачем я задаюсь такими глубокими вопросами на матаче? А у меня вот есть такая интуиция, что анонимная организация общения может дать свои плоды, которые академическому миру и не снились. Тут мы освобождены от гнета авторитета, вопрос поставлен, давайте посмотрим куда это нас приведет.
sage 2 36870
>>36864 (OP)

>вторая культура


Это довольно бессмысленное выражение, ведь она в математике только одна.
теорияигр.png82 Кб, 916x544
3 36876
>>36864 (OP)
Уже сделано учеником Нэша.
4 36878
>>36876
Просил же без теории игр. Она, внезапно, изучает стратегии в играх, а не сами игры.
5 36880
>>36878
Под теорией игр понимается изучение функторов между играми, а то есть изучение самих игр. Стратегии естественным образом дают теорию когомологий игр, что и изучается классически.
6 36881
>>36876
лол, это какой-нибудь генератор рандомных статей?
7 36885
>>36880
Ну круто же, как публикация называется?
8 36890
>>36876

>For a more detailed discussion we refer the reader to Demidovich[Dem68]


Я тебя обожаю.
9 36898
>>36876
Almost got me.
10 36900
Классическая теория игр не решает глубоких проблем, возникающих в играх. Уже даже сами экономисты говорят, что участники рынка ведут себя не рационально. Но нам плевать на рынки. Гораздо важнее, что теория игр не может разрешить, например, вопрос о преимуществе первого хода в шахматах, не дает нормально работать с бесконечными играми, запрещает даже помыслить об играх без стратегического взаимодействия.
Вот основная проблема, мне кажется, именно в последнем, в концепции того, что игра задается стратегическим выбором, что это какая-то статичная структура. А давайте взглянем иначе. Пусть существования игрока достаточно, чтобы задать игру.
11 36905
>>36900
Провокационный вопрос: майнкрафт - это игра?
12 36908
>>36905
Конечно игра что в этом провокационного? Причем, игра в том числе и формализованная, так как это ещё и компьютерная программа. Ну и что теория игр нам может сказать о майнкрафте? А вот хочется иметь такую теорию, на языке которой можно говорить о майнкрафте, о патчах, о читерстве. Но при этом ещё и об игре актеров, о театре, о зрителе, о дваче и социальных сетях, в конце концов. То есть, хочется поймать эту абстракцию, которая объединяет всё вышеперечисленное.
13 36930
>>36908
Нет, подожди, ты не путай. Формализована не игра minecraft. Формализована программа "minecraft.jar". Сама по себе программа игрой не является, так как в такой "формализации" отсутствует субъект.

>хочется поймать эту абстракцию, которая объединяет всё


Ну... нутыпонел и так, наверное.

Игры в том понимании, о котором ты говоришь, изучает такая прикладная дисциплина, как геймдизайн. И там нет четкого консенсуса по поводу того, что считать играми. Тот же майнкрафт многие геймдизайнеры откажутся признать игрой, классифицировав его как песочницу. Обычно в "определение" не настоящее, а гуманитарное включают критерий наличия цели, а если цели нет, то это и не игра. Происходит это оттого, что если цель (и соревновательность, например) есть, то понятно, что нужно балансировать, можно записать циферки и получить некую понятную систему. Если же цели нет, то получается, что настоящей "целью" "игры" является тупо получение игроком удовольствие, а формализация этого понятия - дело нейронаук и всяких психологий.

Так что давай ты попробуешь мне объяснить, что ты вообще понимаешь под словом "игра".
14 36932
А если раскрыть математику через игру?
15 36933
>>36932
Языковая игра.
16 36934
>>36930

Так я же уже дал определение, игра - это существование игрока.
Четкого консенсуса у геймдизайнеров и не будет, иначе их и не нужно столько будет )
Цель игры тоже помещается в понятие игрока, я пока не хочу забегать так далеко вперед. Мы же ищем категорную интерпретацию, а значит начинаем с самого абстрактного.
17 36935
>>36932
Если выразим игру через категории - это получится само собой.
18 36937
>>36934
А игрок?
sage 19 36939
>>36934
Это не определение.
sage 20 36940
>>36934

>Мы же ищем категорную интерпретацию, а значит начинаем с самого абстрактного.


Это бессмысленный набор слов.
21 36946
>>36937
Это же не Теория Всего, я просто предлагаю согласиться с очевидной вещью - без игроков игры немыслимы. Но вот действия игроков, и даже раньше - существование игроков - это можно в той или иной степени формализовать. Я понимаю, что всем привычней думать об играх как о структурах с заданной наперед целью. Но тогда целый пласт явлений, которые как мне кажется игровые по сути, остаются вне осмысления - когда цель формируется в процессе игры.
22 36947
>>36946

>игры без игроков немыслимы


Я тебя понимаю, но что есть игрок? Определи игрока как-нибудь, тогда можно через него игру определить. Алсо

>В любой игре всегда есть соперник и всегда есть жертва, вся хитрость — вовремя осознать, что ты стал вторым, и сделаться первым

23 36948
>>36947

>но что есть игрок?


Вот как мне видится, процесс формального ответа на этот вопрос - это и есть категоризация той или иной игры. То есть в каждом случае мы отвечаем на этот вопрос заново. В классических примерах теории игр, игрок - это набор стратегий. В примере с майнкрафтом - всё сразу НАМНОГО сложнее, но с ходу можно выделить первого игрока - это сам Нотч, созидающий игру игрок.
24 36949
>>36948
Интересно, то есть ответ на вопрос кто такой игрок и есть полное описание игры? Интересно.
25 36950
>>36949
Понял меня, няша :3 Вот, а язык категорий имеет понятие функтора - "стрелки" между категориями. То есть, можно будет раскрывать такие темы, как меняется игрок при переходе от одной игры к другой (в классической теории игр это не решается вообще)
26 36951
>>36950
Ответ на вопрос Кто Я? и есть полное описание мира. Ты меня загрузил.
27 36952
>>36950
Есть два игрока, задача каждого из них определить второго игрока и в то же время не дать определить себя. То есть как только враг тебя пытается описать ты должен измениться, иначе тебя полностью опишут и ты проиграешь. Что это будет за игра?
28 36953
>>36952

>Есть два игрока


Что такое "игрок"?

>определить


Что такое "определить"?

>Что это


Что такое "игра"?
29 36954
>>36950
А если тоже самое, но игрок один? Игрок выиграет, когда полностью себя опишет, игрок проиграет, когда полностью себя опишет. Описывая себя, узнавая своё новое свойство игрок одновременно изменяется и усложняется. Поэтому процесс будет продолжаться бесконечно.
30 36955
>>36953

>Что такое "игрок"?


Некая структура, динамический набор аксиом, два таких набора, описывающих два неких процесса, которые могут менять чужие аксиомы. Изначально есть два набора аксиом, описывающих работу с текстом, игроки могут работать с текстом, могут изменять аксиомы друг друга, изменять свойства. Цель игры сделать так, чтобы процесс прекратился, полное описание то есть.
31 36956
>>36954
Круто. Думаю да, ведь игрок не обязан являться игроком. Следовательно если попытаться определить, то игра сразу же закончиться. Это только если игроку интуитивно ясно, что он на самом деле является игроком.
В противном случае всё намного сложнее.
32 36957
>>36955

>Некая структура


Что это?

>набор аксиом


Такое в математике не изучается.

>неких процесса


>менять чужие аксиомы


>работать с текстом


>игры


Что это? В твоём тексте ни одного внятного определения.
33 36958
>>36957
Ты прям настойчиво хочешь чужих определений, ты правда не умеешь двигаться без них? Я так не думаю.
34 36959
>>36957
Структура, ну как кольцо, группа, поле. Структура. Нужно придумать такую структуру, которая могла бы изменять свойства объекта, переписывать его аксиомы. Например какой-нибудь забывающий функтор превращает одну структуру в другую посредством деформации набора аксиом.
35 36960
>>36958
Непонятно, какие именно свойства должна иметь категория игр. Если нет даже этого, то это уже что-то вне математики.
>>36959

>ну как кольцо, группа, поле


Они не являются структурами. Это лишь объекты некоторой категории, для которых существуют определённые морфизмы и имеет место коммутативность определённых диаграмм.

>Нужно придумать такую структуру, которая могла бы изменять свойства объекта, переписывать его аксиомы.


Функторы придуманы уже давно.
36 36961
>>36960
Алгебраические структуры, алгебраические системы. Почему не являются?
37 36962
>>36960

>какие именно свойства должна иметь категория игр


Возможность изменять свои свойства, добавлять и удалять новые свойства.
38 36963
Ладно, даже если это и не бред, я в этом не шарю, категории, функторы, сперва кумекай, потом кукарекай. Я спать.
39 36964
>>36963

>я в этом не шарю, категории, функторы


Может тогда почитаешь начальные учебники по математике перед посещением доски по ней?
40 36965
>>36964

>сперва кумекай


Обязательно, проснусь и почитаю.
41 36966
>>36962
Этот набор слов не имеет смысла. Что такое "изменение" или "удаление" свойств категории? И как она может это делать "сама"?
42 36967
>>36966
Была одна категория, стала другая.

>сама


коммутативность, например, буквы сами могут переставляться.
43 36968
>>36966
Что может делать игрок это аксиомы, что может делать игрок и есть правила игры, и есть игра. Например можно переставлять буквы, можно раскрывать скобки, это будет одна игра. Ещё что-то другая игра. Нужно, чтобы эти объекты были одного рода. Два игрока. И чтобы они могли изменять друг друга. Как это сделать?
44 36969
>>36968
Можно так, например, два игрока, два набора аксиом, первый игрок доказывает какую-то штуку своим набором аксиом и эта штука автоматически становится истиной для второго игрока, второй игрок уже с этой штукой может доказать ещё что-то для первого игрока и так повторяется, пока у какого-то игрока не получится противоречие, тогда он проиграл.
45 36970
>>36967

>Была одна категория, стала другая.


Это не имеет математического смысла. Каким образом это является доказуемым "свойством" категории игр?

>коммутативность


Коммутативность (в кольце, например) это существование определённой коммутативной диаграммы, причём тут переставление букв?

>>36968
>>36969
Это что-то вне математики.
46 36971
>>36970

>Это что-то вне математики.


Вот и я думаю, что игры вне математики. Так же, как и логика вне математики. Теория категорий тоже вне математики, кстати. Но соприкосновения есть.
47 36973
>>36971

>Теория категорий тоже вне математики, кстати


Она используется примерно в 99% математики. Математика теперь вне математики?
48 36974
>>36973
Ну вот и разберемся, сколько из этих 99% может быть охвачено играми
49 36975
>>36974
Игры вне математики, как ты писал выше. Так что обсуждай их на другой доске.
50 36976
>>36975
Но категории - на 99% математика, как ты писал выше, так что категоризацию игр тут можно обсуждать.
51 36977
>>36976

>Но категории - на 99% математика


Я писал, что теория категорий используется примерно в 99% математики. Значит есть всего примерно 1% математики, где она не используется.
Не понимаю, как ты вывел из этого то, что у тебя выше. В любом случае, она является областью математики, так что на 100% состоит из неё.
sage 52 36985
Вы что, совсем тут ебанулись? Или залётные обыватели нахватались умных слов и теперь хочут казаться умными?
53 36987
>>36985
Просто у тебя нет фантазии. Как можно быть математиком и не иметь фантазии? Не хотеть мечтать?
55 37009
>>36876
Давайте полный текст напишем и в архив
56 37010
Ох, я кажется понял что имел ввиду ромочка когда говорил что ему сейчас стыдно за тот курс с мемами.
57 37013
>>37010
И что же он имел?
58 37015
>>36985

>залётные обыватели нахватались умных слов и теперь хочут казаться умными


Это. Хуже пидорасов.
59 37018
>>37001
Внезапно, тут есть о чем порассуждать. Вот ребята делают нескушный видос для своего канала. Как тему выбирают теорию игр, берут пару каноничных примеров. Но если спросить строго, как они решили эти игры? Они упоминали Нэша, но они не использовали его метод. Вместо этого они явно задали игроков, установили между ними отношения, и именно эти отношения решали игры, причем одни и те же игроки переходили к разным играм, эти переходы и приводили к решениям.
60 37019
В общем, вижу что есть общее неприятие идеи, но среди тех, кто проявил интерес - возражений на счет существования игрока вроде бы нет. Давайте тогда под объектами нашей категории игр подразумевать игрока. Id получили, ну круто же.
sage 61 37020
>>37019

>под объектами нашей категории игр подразумевать игрока


Тут видно, что ты не понимаешь определения категории, а это примерно третий-четвёртый класс. Можешь сразу нахуй идти.
62 37025
Любую игру со всеми ее элементами и их взаиможействиями можно представить в виде нечёткой когнитивной карты (FCM). Любую FCM можно представить в котягорной форме.
63 37026
Теория категорий выражает собой идею композиции. Вряд ли это можно применить к играм.
64 37027
>>37026
Она выражает собой идею естественных преобразований, а не "композиции".
65 37041
>>36985
Они больше ничего не имеют. Ну, ещё заёбывать всех "это не математика!"
sage 66 37042
>>37041
Он вообще-то про тебя.
67 37047
>>37041

>Ну, ещё заёбывать всех "это не математика!"


Это один залётный питух.
gc.jpg16 Кб, 345x147
68 37049
>>36956
Ну тут такое, на одну и ту же игру можно смотреть и как на игру одного игрока, а можно выделять в ней нескольких, если нужно - это позволяет двойственность категорий. Ну вот например способ решать игры без табличек.
69 37096
Вообще это забавно. Вот вы можете представить игру, в которую необходимо играть вдвоем? Ну вот в шахматах вроде бы и нужно два игрока, но я могу ходить и за черных и за белых сам. Вот вы можете придумать такую игру, где ну никаким образом один игрок не может играть, не может эмулировать второго игрока?
70 37097
>>37096
Если будешь играть в шахматы сам с собой, то как понять выиграл ты или проиграл?
71 37099
>>37097
Ну такое, мне это не видится центральным вопросом игр. Ну просто вибирай критерий, и если пришел к нему - значит выиграл. Меня заботит то, что всякая игра - это эпистемологический процесс для игрока.
72 37100
>>37099
Подумал тут, что математика это игра, в которой тебе даны некоторые правила (игры) и смысл игры в том, чтобы создавать из этих новые правила. И так делать до тех пор, пока изначальные правила себя не исчерпают. Тогда можно опять ввести новые фундаментальные правила и снова играть. Если так думать, то игра шире, чем математика даже.
73 37101
>>37100
Понятие игры в смысле.
74 37104
>>37100
Языковая игра?
75 37127
>>37104
Игра с образами с помощью языка. Структурированное воображение. Воображение по правилам.
76 37129
Читаю же по ходу дела тексты академические. Ну это пиздец, на игры не смотрят никак иначе, кроме как на череду побед и поражений. А взглянули бы на процесс игры, как на интерес и разочарование - может и пропали бы все черные ящики из нейросеток.
Игра - это постоянное движение, значит и граф, описывающий игру, должен постоянно трансформироваться. К сожалению, картинки не умеют трансформироваться сами, но у нас есть воображение для этого.
77 37130
>>37129
У игрока по всем представлениям должна быть цель, обычно это цель выиграть. Но есть сотни игр-песочник, где выиграть или проиграть невозможно, ты просто открываешь мир, исследуешь игру, открыта новая локация=доказана новая теорема. А потом наступает момент, когда уже нечего исследовать.
78 37142
>>37130
Я бы клеточные автоматы тоже отнес к таким типам игр
79 37155
А ведь есть ещё игры со своим очком, как насчёт них?!
Вы реально что-ли не понимаете что то что в естественном языке две разные вещи называются одним словом (это я еще не уверен в любом ли) то это еще совершенно не значит что где-то за этим есть математический смысл?
Вам в тред философии, в общем.
80 37157
>>37155
Все имеет математический смысл.

Математика — это наука, которую можно изучить не видев никакой мир вокруг.
81 37158
>>37157
А как же геометрия?
Как человек не познавши форму, может о ней размышлять?
Значит геометрия — раздел физики.
82 37159
>>37158
Человек должен удостовериться в возможности линий.
В существования графической науки не прийти.
83 37161
>>37159
Тогда остается только алгебра?
Все ли есть концепты для возможности ее понимания?

Если есть субъект, то есть и алгебра.
Алгебра выходит из субъекта.
Ведь, можно понять, что единственный, что может быть много меня. Что есть нечто, где меня нет. Что я могу иметь определенные отношение к другим я.
84 37163
>>37161
Хаха. Ошибаешься. Чтобы познать "много", нужно видеть то, что вещи могут быть не единственными.
Арифметика не математика.
85 37164
>>37163
Чтобы познать "отличное от меня", нужно иметь такой опыт, созерцать такое.
86 37165
>>37161
Алгебра — это изучение структур и их отношений.
Когда единственный субъект — ты.
Ты узнаешь ограниченное кол-во алгебр.
Чтобы узнать про эквивалетность, нужно получить опыт, когда вещи различаются
Чтобы узнать преобразование, нужен опыт.
Конечно, кроме того, что в результате бездействия ты становишь самим собой.
87 37166
Вне опыта, нет познания.
88 37167
Ненужно различать формальные и неформальные науки.
Биология ничем не отличается от математики, в этом плане.
89 37170
>>37167
Биологии не существует.
90 37172
>>37157

>Все имеет математический смысл.


>


>Математика — это наука, которую можно изучить не видев никакой мир вокруг.


Из второго утверждения (вне зависимости от его правдивости) не следует первое. Как видим, лично тебе бы не помешало видение мира, а то совсем никакой математики не знаешь. Или лучше философией тогда уж занимайся.
91 37191
>>37158

>Как человек не познавши форму, может о ней размышлять?


Поседи в полной темноте пару дней - начнешь такие формы видеть, что свое очко проиграешь. В том то и дело, что формы возникают из самого человека.
92 37318
Есть тут кто серьезно линейной логикой упарывался?
93 37333
>>37318
Полтора пейпера прочитал так что нет.
94 37337
>>37333
Читаю "The Blind spot" сейчас. Жирар гений
95 37342
>>37337
Я не смогу разделить с тобой твою радость, анон. Сейчас голова совсем занята другим, к сожалению.
96 37385
а в шахматах белые всегда выигрывают или ничья?
97 37390
>>37385
Да вот, один из интересных вопросов об играх. Инициатива задана наперед, не меняется в ходе игры - что это дает?
sage 98 37392
>>37385
Всегда выигрывают. Доказывается тривиально, так как белая пешка является симплициальным объектом в категории схем.
100 37403
https://www.cs.cmu.edu/~cmartens/thesis/thesis.pdf автор - трап, такие дела
101 37407
>>37403

>There’s still an unfortunate stigma against addressing mental health in academia, and I’m going to try to do my part to break it here: I would unquestionably not have finished my Ph.D. without therapy for anxiety and depression. Thanks to Dr. W for her incredible skills.



>My mother has been the one constant in my life, and she has made her love known the whole way. Growing up, my “village” consisted of grandparents, aunts and uncles, teachers, and my mother’s romantic partners, all of whose love and guidance deserve my profound thanks. But my mother shaped who I am today more than anyone else; it’s hard to thank her without a touch of narcissism. Mom: thanks for showing me how to be fearless, opinionated, independent, creative, hard-working, vulnerable, selfless and


selfish (as the situation warrants).

>Finally, while it is clearly possible to be a successful academic without a partner who shoulders a large burden of domestic and emotional labor, it is abundantly clear to me that Rob’s efforts to be an equitable and generous partner to me while juggling his own teaching career have made a huge dif-


ference in my productivity, creativity, and happiness. And furthermore, I am
in the rare position to have a partner who understands and enjoys my thesis work, even to the point of putting up with my rambling about narrative structure after every television show, movie, and play we see together.

Что это за хуйню он написал? Там так принято, что ли, такое дерьмо в дисер вставлять? Мрак какой, совсем ебанулись
102 37415
Ну и ситуация забавная получается, в свете линейной логики я склоняюсь уже к тому, что категоризировать-то игры не выйдет. Ну и вообще категории теперь видятся как некое медийное пространство, раньше они мне казались неким абсолютом, пределом.
103 37416
>>37415
Нету ничего вне категорий.
104 37425
>>37416
Познание не сводится к математике.
105 37434
>>37425
Все сводится к уравнениям.
106 37435
>>37434
Пидарство не сводится к уравнениям.
107 37436
Категории жизни

Игра есть добровольное действие или занятие, которое осуществляется в определенных временных и пространственных границах с свободно принятыми, но абсолютно обязательными правилами, имея ограниченную собственными рамками цель и сопровождаясь чувствами напряжения и радости, а также сознанием пребывания в «другом бытии», отличном от «повседневной жизни». По нашему мнению, определенное таким образом понятие игры способно охватить все, что мы у животных, детей и взрослых называем «игрой»: соревнования на силу и ловкость, игры на выдумку, на отгадывание, азартные игры, всевозможные показы и представления. Мы осмелились назвать игру одной из найфундаментальниших категорий жизни.
108 37438
>>37435
Значит, гомосексуальность превосходит математику?
109 37454
>>37438
Игру с очком нельзя формализовать. Игры вне математики.
110 37455
>>37454
Математику тоже нельзя формализовать
111 37456
>>37455
Уравнение игры с очком напишешь?
112 37458
>>37456
Я к тому, что никто не познал математику чисто по книгам. Всегда есть инициация, фигура учителя, который производит неформальное введение в очко математику. А после этого уже можешь кукарекать про формальные системы сколько хочешь.
113 37461
>>37458
Да я понял тебя, я не имел ввиду формальность в смысле формальных систем, я имел ввиду формальность как в миру говорят, формальное общение, неформальное общение, ты понял. Есть очко, есть дилдак, дилдак входит в очко, туда-сюда, ну и что, уравнение составлять? Как выиграть в эту игру, как проиграть? Что это такое с точки зрения математики? Какие-то ощущения, чувства, это всё вне математики, не сможешь ты это описать более-менее формально. Но это ведь игра, игра с очком. Вот я и говорю, что игры вне математики.
114 37462
>>37455
Ты нормальный?
115 37479
>>37461
Попа — ключ, условие по отношению к...
Партнер — объект.
Если для объекта А найдется такой объект B, для которого существует ключ C, то объект A доминирует над объектом B, а B подчиняется A.
Пусть, "∆" — символ страсти.
Тогда он станет аналогичной попой, требованием по отношению к возникновению подобных отношений.
Можно вводить понятия "продожительности акта", "удовольствия", "цели объектов", "любовные отношения", "сперма, член и прочая биология" Для хорошей формализации, следует писать целые трактаты. Связей ключей и следствий будет много. Но примеры этой формализации, можно увидеть во всех компьютерных играх, которые содержат эти понятия. Чем больше ввести понятий, тем более общей.

Чтобы составить уравнение, нужно немного разбираться в алгебраической геометрии.
Если примерно, то, это множество кадров сопоставления движения + геометрическая форма, в зависимости от степени обобщения, можно представить, как элипс и тор. Иначе, использовать продвинутые методы анализа, использовать всякие интегральные, дифференциальные уравнения.
116 37480
>>37479
Классно. Я тебя обожаю.
117 37481
>>37479
Ладно, ты меня убедил. Игры внутри математики, но тут для каждой игры нужно будет придумывать своё описание, а как описать саму игру? Что есть общего у всех игр?
118 37482
>>37481
Смотри, ты можешь действовать различным образом. Делать разное. Это тоже самое, что "иметь разные стратегии". " Пользоваться стратегиями".
У тебя, могут быть разные потребности, желания. Это тоже самое, что и "разные цели игры".

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

Общего у всех игр?
Тут нужно уточнять, но обычно применяется полный резервуар математических средств

Но, вообще, кроме цели и возможных стратегий, существуют игроки.

Игрок — это условно недетерменированная машина.

Другими словами, игрок может применять различные стратегии, и какую он нам приймет, нам неизвестно.

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

Выбор определенной стратегии, предлагает всегда трату ресурсов. Другими словами, выбирая что-то[и только одно], ты отрицаешь все другие варианты.

Игроки, всегда могут иметь ограниченное кол-во стратегий одновременно.

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

Еще, в играх, всегда используются[непроизвольным образом], такие разделы, как топология, анализ, алгебра. Шучу, на самом деле, НЕСУЩЕСТВУЕТ РАЗДЕЛА МАТЕМАТИКИ, КОТОРЫЙ НЕ ЗАТРАГЫВАЕТ ВСЕ ИГРЫ . И я даже больше скажу, АБСОЛЮТНО ЛЮБОЕ МАТЕМАТИЧЕСКОЕ ПОНЯТИЕ, СОДЕРЖИТСЯ В АБСОЛЮТНО-ЛЮБОЙ ИГРЕ.
119 37488
>>37482
В этом свете интересно выделить такую стратегию, как "попробовать все стратегии".
120 37625
>>37482
Нетрудно написать, что что-то затрагивает все понемногу, когда стоит четкая задача формализовать это. 0 усилия.
121 37626
>>37481

>Что есть общего у всех игр?


Только то что на русском языке они обозначаются словом "игра". В английском, кстати, уже не все так однозначно, потому что есть "game" и "play".
122 37627
>>37626
Вы на воздушном шаре
123 37628
>>37627
Хотя не, забираю слова назад - математик бы не использовал модификатор "только"
124 37630
>>37628
Довольно много верных утверждений формулируется с таким "модификатором". Например, только полный имбецил либо философ может искать скрытый смысл в случайных совпадениях одного из естественных языков, сложившихся спонтанно.
125 37631
>>37630

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


Когда рассуждаешь о том, в чем ни ухом ни рылом.
126 37632
>>37631
Цитируй уж тогда все свои посты.
127 37716
Короче типо, игра это типо, когда система из одного состояния стремится прийти к другому, по вариативному пути. Вариативность проистекает из ограниченной способности к познанию и вычислению. Ну и также многие игры имеют осознанно принятые ограничения(правила).
128 37718
>>37716

>из одного состояния стремится прийти к другому, по вариативному пути.


Не математика. В КА, например, нет никаких путей, а есть тройки ф-ии переходов.
129 37732
Даю просто определение игры:
Создание всегда более сложного ритма на выходе чем на входе
130 37733
>>37732
Т.е. степень усложнения
131 37737
>>37732

>ритм


Что это?
132 37739
Показательный тред. Обывательские, но зато наукообразные "системы", "вариативность", "недетерминированный", "ритм"... А на деле просто пустышка.
133 37740
>>37739
Показательно тут то, что игры есть, а с точки зрения науки - это пустышка (ты же тут от лица науки?)
134 37741
>>37740
Я о рассуждениях что есть игра, а не о играх.
135 37742
>>37741
Ну не дает современная наука нам языка для рассуждений об играх - приходится самим искать, щито поделать
136 37743
Да, и снова забава, вот компьютерные игры дают возможность говорить хоть сколько-то формально об играх (например, выше в треде аноно подметил с майнкрафтом). То есть, мы можем ссылаться на конкретные компьютерные игры - как на формальные системы.
137 37744
>>37743
Классический путь - формализовать несколько конкретных игр, потом искать общее в формализмах.
138 37746
>>37744
Та ну они уже все и так формализованы матрицей монитора. Различие в режимах, т.е. как читать матрицу. Ну и тут опять возникет игра между понятиями текста, изображения и символа.
201722.jpg74 Кб, 360x570
139 37747
>>37746

>Ну и тут опять возникет игра между понятиями текста, изображения и символа.


Если возникает, то это не математика. И значит нихуя еще неформализировано
140 37748
>>37747
Возникает игра. И в математике игра тоже постоянно возникает.
141 37749
>>37748
В математике "между понятиями текста, изображения и символа"?
142 37750
>>37749
В математике символьная игра возникает часто.
143 37751
>>37749
Вот теорема какая-нибудь, выиграть=доказать теорему, есть аксиомы преобразования текста=правила игры.
144 37752
>>37751
Это представления лингвистов о математике? Всяк по себе мерит.
145 37753
>>37752
Математика это язык. Любой математик это лингвист.
146 37754
>>37753
Ваше место у параши
147 37755
>>37754
Боюсь, что твоё.
148 37758
>>37753

>Математика это язык. Любой математик это лингвист.


Хуита из научпопа для девочек
149 37760
>>37758

>пук


Это слова Ромы, а ты кто?
150 37764
>>37750
Символьная игра, в смысле, что легче принебречь содержимым, чем ОСОЗНАТЬ
151 37765
>>37764

>содержимым


Это что? Приведи пример, не понимаю тебя.
152 37770
>>37765
Странно, что тебя не заставили привести пример игры в математике как языке.
153 37772
>>37760
И это он перефразировал Гротендика. Ну и хули? Ты решил, что Рома - ровный пацик и ему можно верить и если он хуй достанет и скажет "сосать - это соль математики, ёпта", начнёшь хуй сосать?
Если что и отличает математиков, так это умение думать, ёпта.
Алсо, тут хуесос с "пуком", тоже уёбок, но он меня ваще не трогает.
154 37773
>>37772

>эта боль

155 37774
>>37772

>так это умение думать,


) и снова гуманитарии со своими терминами без определений и оснований.
156 37775
>>37765
Содержимое в математике, вприниципе непознаваемое, является суть мистичностью.
Вот, когда мы говорим "прямая", это может быть и любая кривая[на самом деле, все, что угодно], но главное, чтобы исполнялись свойства планиметрии. А вот, познание прямой, которую мы рисуем, является невозможным, мистичным.
157 37776
>>37775
И священные тексты SGA
158 37777
>>37772
Ты про научпоп пизданул чё-то, потому и сказал. Так я с ним согласен, причём тут верить/думать, просто наши мнения совпадают. Есть аксиомы, есть вывод из аксиом, всё остальное хуйня уровня физической интуиции. Текст не описывает объект, текст и есть объект.
159 37779
>>37770
Почему странно? Просто он меня понял, а я его нет.
>>37775

>содержимое


>это что?


>оно впринципе непознаваемо


Если содержимое непознаваемо, то какой смысл о нём говорить? Если оно впринципе непознаваемо, то как ты узнал, чем оно является? Хуйня какая-то, шизотерика, это потому, что нет никакого содержимого. Нет ничего, кроме символьной игры.
160 37780
>>37764

>легче принебречь содержимым, чем ОСОЗНАТЬ


>Содержимое в математике, вприниципе непознаваемое


И опять же, как ты собрался осознавать непознаваемое?
161 37781
>>37780
Линейная логика прикольна тем, что там есть знак "Par", о котором сам создатель этой логики говорит, что не может подобрать словесной интерпретации. Но это и хорошо, мы можем интерпретировать его как "непознаваемое".
162 37782
>>37781
Непознаваемое нельзя познать, всё, что мы о нём не скажем не будет им являться, я про это. О нём вообще нет смысла говорить. О чём невозможно говорить, о том следует молчать.
163 37783
>>37782

>Непознаваемое нельзя познать


Даже это не будет им являться, понимаешь?
164 37784
>>37781
Алсо для чего он используется тогда?
165 37785
>>37781

>⅋ is called "multiplicative disjunction


Это не непознаваемое.
166 37786
>>37781
И опять же, символ-то есть, объекта нет. Тут нужен пример, когда объект есть, а символа для него нет. Например "нечто, невыразимое символами". Только что мы выразили его символами, значит это не оно. А что оно? Непонятно. Но разве такие конструкции имеют отношение к математике?
167 37787
>>37786

>А что оно? Понятно


Пофиксил
168 37788
>>37784
Для согласованности, через комбинации с другими символами можно делать логический вывод.
169 37789
>>37787
И что же? Мне вот нет. Понятно это нечто, невыразимое никакими словами, кроме этих. То есть это просто неопределяемое понятие. Точка это точка. А вот без приписки кроме уже непонятно.
>>37788
Ну так клёво, это совсем осмысленная штука, далеко не непознаваемое. Так-то и плюс можно описать только относительно операции сложения, через комбинации с другими символами можно производить вычисления. А что такое плюс сам по себе? Крестик вертикальный, я хз.
170 37790
>>37789

>А что такое плюс сам по себе?


ебать дебил
171 37791
>>37790
сань хуй саси
172 37792
>>37791
Где ты видел в математике операцию без определения над чем эта операция? С кем я сижу...
173 37793
>>37792

>Где ты видел в математике операцию без определения над чем эта операция?


>Так-то и плюс можно описать только относительно операции


О том и говорю. Символ плюса сам по себе ничего не значит, точно так же, как символ par, поэтому неудивительно, что его не смог тот чел описать.
174 37794
>>37792

>там есть знак "Par", о котором сам создатель этой логики говорит, что не может подобрать словесной интерпретации.


Так и про + можно сказать, в этом нет ничего удивительного. Понимаешь? Но у par есть смысл, это

>⅋ is called "multiplicative disjunction


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


Поэтому он никаким боком не относится к непознаваемому.
175 37795
>>37794
В математике у символов есть смысл, а символы сами по себе неинтересны - можно заменить их любыми другими, в отличии от смысла.
176 37796
>>37795
В математике правила работы с символами, с текстом и есть смысл, запиши их другими символами ничего не изменится. Нет никакого содержимого/непознаваемого за этими правилами. Математика это язык.
177 37797
>>37795
А у символов смысла никакого нет. Символы имеют смысл только в контексте их применения.
178 37799
>>37797

>Символы имеют смысл только в контексте их применения.


Символы имеют смысл только в контексте смысла
sage 179 37800
>>37794
Доказательства, впринципе невозможны.
Аксиома: A=A
1.Как доказать, что A=A?
Ты мудак? Аксиома A=A, значит, A=A.
2.Докажи, что из аксиомы A=A, следует, что A=A.
3. Аксиома — это факт, утверждение об истине.
Говоря, что A=A аксиома, мы говорим, что она истинна. Значит и A=A истинна.
...
616.Докажи, что говоря, что A=A истинна, A=A истинна.
617.Не говоря, а превозглашая!
...
4001.Докажи, что, если A=A истинна, то A=A истинна.
4002. Это же очевидно, из A=A, следует A=A!
...
8616. Из A -> A. Утверждение следует из самого себя!!!!
8167. Ты не сможешь это доказать.
...
10000. Ничего нельзя доказать, если не признать магию, процесс того, как мы
становимся быть уверенными, что при принятии A, следует А.
180 37801
>>37794
Нет, тут ситуация сложнее, чем с плюсом. Par известно над чем определен, тем не менее никто не смог ещё подобрать адекватную семантику. Мультипликативная конъюнкция - "могу взять/мне дадут А и В сразу". Аддитивная конъюнкция - "Могу выбрать между А и Б". Аддитивная дизъюнкция - "Мне дадут А или Б". Мультипликативная дизъюнкция (par) - "Ну хуй знает. "А и Б "сообщающиеся сосуды" (с) Жирар""
sage 181 37803
>>37795
Если бы ты изучал основания,
Ты бы понял, что смысла нету вне символов.
А аксиомы утверждают об свойствах символов.
182 37804
>>37801
Известно, как с ним работать, с этим пар, известны свойства. ИРЛ интерпретация нахуй не нужна. В математике. Бытовая интерпретация. Ну пиздец. А КОКОЙ ФЕЗИЧЕСКЕЙ СМЫСЛ МММ?? ММММММ????!!!
183 37805
>>37803

>свойствах символов.


лул в голосину
184 37806
>>37805
Приведи контрпример
185 37807
>>37800
Это так. Доказательства невозможны без постулирования. Но я не понимаю, к чему ты это. Да, мы задаём правила игр, задаём структуру текста, затем мы можем его изменять внутри этого пространства и получать другой текст, тот, который нам нужно было получить.
186 37808
>>37799
Не понял, что ты имеешь ввиду.
187 37809
>>37804
Ну тут такое дело, если воспринимать математику как игру, то ты только что выбрал сдаться, проиграть. Ты выбрал закрыть глаза на семантику, и заниматься только синтаксисом (тем, чем компьютеры занимаются заведомо лучше тебя).
188 37810
>>37807
Если из A-> A, из этого не следует, что из A->A.[иначе бы требовалась осуществимая бесконечная цепь]
Следовательно, любые математические утверждения полагаются на интуитивную очевидность, магию.
189 37811
Во ребята, у меня прозрение. Современная математика - это игра между человеком и компьютером.
190 37812
>>37807
Пример кубик Рубика или доказать, что A
U B U C U D=A\B U B\C U C\D U D\A U AПBПCПD это для n=4, а надо для любого n, пользуясь только свойствами разности, пересечения и объедигнения
>>37809
Нет, почему? Семантика и свойства символов, аксиомы, это одно и то же. Ты не описываешь абелеву группу набором аксиом, ты её вводишь, она не существует где-то там, а в тексте её отражение, она прямо в тексте, вот она.
191 37813
>>37810

>на интуитивную очевидность, магию


На веру. Аксиомы принимаются на веру.
192 37814
>>37812

>она не существует где-то там, а в тексте её отражение, она прямо в тексте, вот она.


пошла феласофия
193 37815
>>37814
Она с самого создания треда пошла, если ты не заметил.
194 37816
>>37813
Они принимают на веру, что существует выводимость из аксиом.
А если принимают, как аксиому выводимость, то принимают вывод выводимости из аксиомы выводимости
195 37817
>>37809

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


Компьютеры не могут доказывать теоремы, они могут их только проверять.ну ладно, четыре краски, перебором решили, но это такое
196 37818
>>37816
Видимо, да. Или нет. Вывод выводимости, зачем на выводить выводимость, если это аксиома?
197 37819
>>37815
Потому что никто не может признать, что задача ему не по силам. А умничать хочется.
198 37820
>>37818
Нужно бесконечное кол-во аксиом выводимости, чтобы вывод существовал.
А бесконечность не может достигнуться
199 37821
>>37814
Другими словами с такой точкой зрения я вообще ничего не теряю, весь смысл уже записан, это и есть абелева группа, в этом её смысл.
>>37819
Так я с самого начала треда пишу, что игры вне математики, потому что математика сама является игрой.Хотя мне ответили тут, что даже игру с очком можно математизировать. Возможно игры являются математикой. Тогда игра и математика это одно и то же.
200 37822
>>37820
Зачем выводить выводимость, если она постулируется?
201 37824
>>37821

> вообще ничего не теряю


Даже больше, я абстрагируюсь от субъективного "понимания", которое на самом деле является упрощением, аналогией или ещё чем-то таким, интуиция вообще перестаёт действовать во многих случаях, полагаться на неё бредово. Интуитивно даже 4-мерный вектор не представишь. Можно цветом, конечно, кодировать, но понятно, что это уловка.
202 37826
>>37824

>Интуитивно даже 4-мерный вектор не представишь.


Представляешь как объект, который ведет себя под операциями неким образом.
203 37827
>>37826

>объект , который ведёт себя неким образом


Так это тоже самое, что и аксиоматическое описание. Объекта нет, зато есть свойства. Свойства=объект.
204 37828
>>37827
Если у чего-то нет свойств - оно не существует.
205 37829
>>37827
Так нахуя ты разделяешь объекты и операции.
206 37830
>>37828
Нечто, "не имеющее свойств", звется объектом с пустым множеством свойств. А пустое множество имеет свойства.
207 37831
208 37832
>>37829

>свойства=объект


Да я ж вроде не разделяю. Это же ты стал писать про непознаваемое содержимое, которое кроется за аксиомами. Я топлю за то, что нет никакого непознаваемого содержимого объекта, объективная реальность, в то время как мы все субъективно мыслим, потому объект не познаваем, есть познаваемые аксиомы, они записаны символами, они определяют правила преобразования символов, правила символьной игры, пространство игры, ну как шахматная доска с тем, как ходят фигуры, блядь.
209 37834
>>37828
Если чего-то не существует - у него нет свойств. В обратном я не уверен.
210 37835
>>37834
Я говорю о дед морозе. Дед мороз мужчина, с белой бородкой. У него есть свойства. Он существует?
211 37836
>>37835
Нет, если в такую плоскость разговор уводить, то вся математика не существует.
212 37837
>>37836
Получается, говоря о существовании математики, существует дед мороз?
213 37838
>>37837
Получается так. Как образ, часть народного эпоса, вот это всё. Хотя, ты же опять языком воспользовался, аксиомы деда мороза задал.
214 37840
>>37838
Ну на самом деле аксиомы белобородых мужчин, но не суть.
215 37841
>>37838
Прости меня, прости. Я люблю тебя
216 37842
>>37841
И я тебя люблю, анон. Так приятно.
217 37843
>>37841
>>37842
Лучше бы сказали чонить по теме треда.
218 37844
>>37843
По-моему, это было очень в тему треда
219 37845
>>37843
Да я говорил уже, математика подмножество игр, с другой стороны анон выше писал, что игры, даже игры с очком, подмножество математики. Может математика и игра одно и то же? Действительно, есть правилы игры-аксиомы, есть цель игры-теорема, задача вывести теорему из аксиом.
220 37846
>>37845

>подмножество


Понятно, что подмножество в житейском смысле, не в математическом, часть.
221 37847
>>37841
>>37842
Я тоже ощутил это, всех вас люблю. Мы на мгновение выиграли
222 37848
>>37845

>Математик Владимир Воеводский о своем мистическом опыте и "игре, хозяйкой которой является страх"


>хозяйкой


>страх


>смерти нет если бы была смерть то меня бы не было под смертью мы понимаем страх смерти


>Cowards die many times before their deaths

videoplayback (14).webm2,5 Мб, webm,
640x268, 0:41
223 37849
>>37848

>Игра, хозяйкой которой является смерть.


Это не про математику, это про жизнь.
224 37850
>>37849
Зачем разделять? Ну, как нечто временное я такое разделение могу понять (для целей оубчения, например), но по существу - это тупой подход
225 37851
>>37850
Не знаю, для меня разные вещи. В математике нет времени, страха, других ограничений.
226 37852
>>37850
В математике нет Я, в общем. Для меня реальность проекция математики на несовершенное человеческое сознание. Я не шизик, честно.
227 37853
>>37848

>Cowards die many times before their deaths


https://www.youtube.com/watch?v=WEvby-c1WnI
228 37855
>>37737
пульсирующий анус
229 37860
>>37811

>Современная математика - это игра между человеком и компьютером.


Которую человек проиграл.
230 37896
>>37860
Ну, это как проиграть листу бумаги. Если этот лист - повестка в армию, то конечно можно подумать, что ты проиграл. В общем, я к тому, что за компом всегда стоит другой человек, как и за Теоремой Ферма стоит сам человек Ферма, и конечно же, математика - это всегда игра между людьми (даже если оба - это две твои личности, например). И те, кто (по)думают, что искусственный интеллект может быть обособлен от естественно стоящих за ним людьми - это и есть заведомо проигравшие. Это те лохи, с которых будут стричь в ближайшие десятилетия.

Ну то ладно. У меня тут созрел термин, чего же мне так не хватает в классической теории игр - Тактический уровень. Теория игр сейчас только стратегическая, всё внимание приковано к цели - выигрышной стратегии. Но то, как она достигается - выставлено за рамки, словно бы игры герметичны. И нет, развернутая форма - это не то, она все равно статична. Если говорить о формальных вещах, то вот обогатить развернутую форму теорией трансформации графов - было бы круто. Но тогда понятие стратегии летит к чертям, или нет?
231 37964
>>36864 (OP)
А насколько эффективно применять теорию игр к сток трейдингу?
232 38016
>>37896

>В общем, я к тому, что за компом всегда стоит другой человек



Ну это как думать, что за доказательством теоремы Ферма стоит Диофант у которого, согласно википедии, появились первые примеры эллиптических кривых
233 38333
>>36952
Искусство.
234 38334
>>38333
Пардон, только там не два игрока будет. Или можно рассматривать художника как первого игрока, а общество - как второго.
235 38335
>>36952
>>38333
>>38334
Кстати, еще пара мыслей. Определяем противника как победителя. Надеюсь, понятно. Чтобы противостоять такой стратегии с его стороны, заранее определяем его как того, кто определит нас как победителя, наше определение своевременнее, поэтому если он его применит, мы по идее выиграли, потому что раньше дали определение. Тут формализовать надо правила, какие утверждения вообще должны быть возможны. Вырисовывается и самый слабый ход - определить противника как проигравшего. В общем, может неплохая игра выйти, если хорошо обдумать ее, кмк.
236 38336
>>38335
Вот вам и категория, кстати. Ход обоих противников - стрелка, а когда они оба определяют как проигравшего - идентичность.
237 38337
>>38335
нихуя не понял
238 38363
>>38335

>Определяем противника как победителя.


Читак! Охуенно!
239 38364
>>38335

>того, кто определит нас как победителя


Хотя получается тут, что победитель этот тот, кто определяет нас как победителя, не?
240 38365
241 38366
>>38365
Тут Нео определил Смита как победителя.
242 38371
>>38335
Позиция проигравшего позволяет учиться. В позиции победителя нет доступа к поиску новой выигрышной стратегии. Такая вот игра получается, ты ищешь победную стратегию, пока её не находишь, потом, если её применишь - сам станешь победителем. Но теперь тебя могут так же сместить.
243 38374
>>38371
То есть если ты победитель твой проигрыш лишь дело времени.
https://www.youtube.com/watch?v=PX2H6UtCpjY
244 38375
>>38371
Блядь, не тот отрывок. Вот
https://www.youtube.com/watch?v=dvDFIDVInrg
245 38376
>>38371
Блядь, тоже не тот отрывок. Короче текстом

>В любой игре всегда есть соперник и всегда есть жертва, вся хитрость — вовремя осознать, что ты стал вторым, и сделаться первым

246 38377
>>38376

>Короче текстом


Короче хуйня
247 38379
>>38377
Почему? В тему же, по сути то же самое другими словами.

>Позиция проигравшего позволяет учиться. В позиции победителя нет доступа к поиску новой выигрышной стратегии


>вся хитрость — вовремя осознать, что ты стал вторым, и сделаться первым

248 49883
>>36885
Zur Homotopie dem Spielerische Theorie. A. Einstehen
249 49886
Надеялся на интересный тред, а увидел бессодержательные словесные потоки...
Мимокрок
250 49899
Как игры с нерациональными игроками моделировать?
251 51189
>>49886
двачую, из гугла сюда попал
когда пошел с корешем в макдак, вспоминали, как воеводский пытался теорвер категоризировать, и как лурье гармонический анализ категорил
я пошутил, что неплохо бы тигры в порядок привести
сейчас вспомнил и решил гуглануть - пусто
252 52778
>>49886
Просто для тебя это не актуально. Ты хочешь на все готовенькое прийти, а я же сразу сказал, что тут настоящая наука делается, а не её профанация. Я ждал обмена мнениями, но нашлось всего пара анонов, которым было что сказать.
253 52779
Давайте промежуточное что-то зафиксируем. Есть конкретная игра "Майнкрафт", все её знают, чем она хороша. И есть тот факт, что "Теория Игр" ничего нам не дает для формализации этой игры.
254 52780
Тут надо сделать историческую заметку. Отцы теории игр были любителями азартных игр . Это класс игр, где главное - победа. Ясно, что Майнкрафт к таковым не относится. Генерализация теории игр должа включать и то и это.
255 52787
>>49899
Описать всевозможные ходы.
Вообще, написать майнкрафт на языке математики, это написать код игры, но очень понятно.
256 53459
>>52787
Ну а если игра такая, что действие не описать, пока оно не произойдет?
257 53517
Давайте придумаем формализацию мемов.
258 54850
>>53517

>Dank Learning: Generating Memes Using Deep Neural Networks pdf


Зачем нужны формализации, если все необходимое уже умеют делать нейроночки без всяких формализаций?
259 80427
>>36864 (OP)
просто оставлю это здесь

Lectures on compositional game theory
https://julesh.com/videos/
260 86631
9
Обновить тред
« /math/В начало тредаВеб-версияНастройки
/a//b//mu//s//vg/Все доски

Скачать тред только с превьюс превью и прикрепленными файлами

Второй вариант может долго скачиваться. Файлы будут только в живых или недавно утонувших тредах.Подробнее