М.Двач / Математика

324 Кб, 499x713
Категоризация игр 18 фев 2018, 14:55 36864 В конец треда | Веб

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

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

Ответы3687036876370013796480427

sage 2 18 фев 2018, 16:43 2 36870

>>36864 (OP)
>вторая культура
Это довольно бессмысленное выражение, ведь она в математике только одна.

82 Кб, 916x544
3 18 фев 2018, 18:34 3 36876

>>36864 (OP)
Уже сделано учеником Нэша.

Ответы3687836881368903689837009

4 18 фев 2018, 20:26 4 36878

>>36876
Просил же без теории игр. Она, внезапно, изучает стратегии в играх, а не сами игры.

Ответы36880

5 18 фев 2018, 20:48 5 36880

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

Ответы36885

6 18 фев 2018, 20:51 6 36881

>>36876
лол, это какой-нибудь генератор рандомных статей?

7 18 фев 2018, 21:06 7 36885

>>36880
Ну круто же, как публикация называется?

Ответы49883

8 19 фев 2018, 00:04 8 36890

>>36876
>For a more detailed discussion we refer the reader to Demidovich[Dem68]
Я тебя обожаю.

9 19 фев 2018, 02:48 9 36898

>>36876
Almost got me.

10 19 фев 2018, 04:41 10 36900

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

Ответы36905

11 19 фев 2018, 16:01 11 36905

>>36900
Провокационный вопрос: майнкрафт - это игра?

Ответы36908

12 19 фев 2018, 17:26 12 36908

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

Ответы36930

13 20 фев 2018, 16:28 13 36930

>>36908
Нет, подожди, ты не путай. Формализована не игра minecraft. Формализована программа "minecraft.jar". Сама по себе программа игрой не является, так как в такой "формализации" отсутствует субъект.

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

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

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

Ответы36934

14 20 фев 2018, 19:35 14 36932

А если раскрыть математику через игру?

Ответы3693336935

15 20 фев 2018, 22:08 15 36933

>>36932
Языковая игра.

16 20 фев 2018, 23:28 16 36934

>>36930

Так я же уже дал определение, игра - это существование игрока.
Четкого консенсуса у геймдизайнеров и не будет, иначе их и не нужно столько будет )
Цель игры тоже помещается в понятие игрока, я пока не хочу забегать так далеко вперед. Мы же ищем категорную интерпретацию, а значит начинаем с самого абстрактного.

Ответы369373693936940

17 20 фев 2018, 23:30 17 36935

>>36932
Если выразим игру через категории - это получится само собой.

18 21 фев 2018, 03:44 18 36937

>>36934
А игрок?

Ответы36946

sage 19 21 фев 2018, 10:14 19 36939

>>36934
Это не определение.

sage 20 21 фев 2018, 11:15 20 36940

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

21 21 фев 2018, 14:20 21 36946

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

Ответы36947

22 21 фев 2018, 14:26 22 36947

>>36946
>игры без игроков немыслимы
Я тебя понимаю, но что есть игрок? Определи игрока как-нибудь, тогда можно через него игру определить. Алсо
>В любой игре всегда есть соперник и всегда есть жертва, вся хитрость — вовремя осознать, что ты стал вторым, и сделаться первым

Ответы36948

23 21 фев 2018, 14:41 23 36948

>>36947
>но что есть игрок?
Вот как мне видится, процесс формального ответа на этот вопрос - это и есть категоризация той или иной игры. То есть в каждом случае мы отвечаем на этот вопрос заново. В классических примерах теории игр, игрок - это набор стратегий. В примере с майнкрафтом - всё сразу НАМНОГО сложнее, но с ходу можно выделить первого игрока - это сам Нотч, созидающий игру игрок.

Ответы36949

24 21 фев 2018, 14:47 24 36949

>>36948
Интересно, то есть ответ на вопрос кто такой игрок и есть полное описание игры? Интересно.

Ответы36950

25 21 фев 2018, 15:02 25 36950

>>36949
Понял меня, няша :3 Вот, а язык категорий имеет понятие функтора - "стрелки" между категориями. То есть, можно будет раскрывать такие темы, как меняется игрок при переходе от одной игры к другой (в классической теории игр это не решается вообще)

Ответы369513695236954

26 21 фев 2018, 15:05 26 36951

>>36950
Ответ на вопрос Кто Я? и есть полное описание мира. Ты меня загрузил.

27 21 фев 2018, 15:08 27 36952

>>36950
Есть два игрока, задача каждого из них определить второго игрока и в то же время не дать определить себя. То есть как только враг тебя пытается описать ты должен измениться, иначе тебя полностью опишут и ты проиграешь. Что это будет за игра?

Ответы369533833338335

28 21 фев 2018, 15:10 28 36953

>>36952
>Есть два игрока
Что такое "игрок"?
>определить
Что такое "определить"?
>Что это
Что такое "игра"?

Ответы36955

29 21 фев 2018, 15:10 29 36954

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

Ответы36956

30 21 фев 2018, 15:13 30 36955

>>36953
>Что такое "игрок"?
Некая структура, динамический набор аксиом, два таких набора, описывающих два неких процесса, которые могут менять чужие аксиомы. Изначально есть два набора аксиом, описывающих работу с текстом, игроки могут работать с текстом, могут изменять аксиомы друг друга, изменять свойства. Цель игры сделать так, чтобы процесс прекратился, полное описание то есть.

Ответы36957

31 21 фев 2018, 15:13 31 36956

>>36954
Круто. Думаю да, ведь игрок не обязан являться игроком. Следовательно если попытаться определить, то игра сразу же закончиться. Это только если игроку интуитивно ясно, что он на самом деле является игроком.
В противном случае всё намного сложнее.

Ответы37049

32 21 фев 2018, 15:16 32 36957

>>36955
>Некая структура
Что это?
>набор аксиом
Такое в математике не изучается.
>неких процесса
>менять чужие аксиомы
>работать с текстом
>игры
Что это? В твоём тексте ни одного внятного определения.

Ответы3695836959

33 21 фев 2018, 15:19 33 36958

>>36957
Ты прям настойчиво хочешь чужих определений, ты правда не умеешь двигаться без них? Я так не думаю.

Ответы36960

34 21 фев 2018, 15:19 34 36959

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

Ответы36960

35 21 фев 2018, 15:42 35 36960

>>36958
Непонятно, какие именно свойства должна иметь категория игр. Если нет даже этого, то это уже что-то вне математики.
>>36959
>ну как кольцо, группа, поле
Они не являются структурами. Это лишь объекты некоторой категории, для которых существуют определённые морфизмы и имеет место коммутативность определённых диаграмм.
>Нужно придумать такую структуру, которая могла бы изменять свойства объекта, переписывать его аксиомы.
Функторы придуманы уже давно.

Ответы3696136962

36 21 фев 2018, 15:45 36 36961

>>36960
Алгебраические структуры, алгебраические системы. Почему не являются?

37 21 фев 2018, 15:48 37 36962

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

Ответы36966

38 21 фев 2018, 15:51 38 36963

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

Ответы36964

39 21 фев 2018, 15:57 39 36964

>>36963
>я в этом не шарю, категории, функторы
Может тогда почитаешь начальные учебники по математике перед посещением доски по ней?

Ответы36965

40 21 фев 2018, 15:58 40 36965

>>36964
>сперва кумекай
Обязательно, проснусь и почитаю.

41 21 фев 2018, 15:59 41 36966

>>36962
Этот набор слов не имеет смысла. Что такое "изменение" или "удаление" свойств категории? И как она может это делать "сама"?

Ответы3696736968

42 21 фев 2018, 16:01 42 36967

>>36966
Была одна категория, стала другая.
>сама
коммутативность, например, буквы сами могут переставляться.

Ответы36970

43 21 фев 2018, 16:05 43 36968

>>36966
Что может делать игрок это аксиомы, что может делать игрок и есть правила игры, и есть игра. Например можно переставлять буквы, можно раскрывать скобки, это будет одна игра. Ещё что-то другая игра. Нужно, чтобы эти объекты были одного рода. Два игрока. И чтобы они могли изменять друг друга. Как это сделать?

Ответы3696936970

44 21 фев 2018, 16:09 44 36969

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

Ответы36970

45 21 фев 2018, 16:13 45 36970

>>36967
>Была одна категория, стала другая.
Это не имеет математического смысла. Каким образом это является доказуемым "свойством" категории игр?
>коммутативность
Коммутативность (в кольце, например) это существование определённой коммутативной диаграммы, причём тут переставление букв?

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

Ответы36971

46 21 фев 2018, 17:15 46 36971

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

Ответы36973

47 21 фев 2018, 17:18 47 36973

>>36971
>Теория категорий тоже вне математики, кстати
Она используется примерно в 99% математики. Математика теперь вне математики?

Ответы36974

48 21 фев 2018, 17:45 48 36974

>>36973
Ну вот и разберемся, сколько из этих 99% может быть охвачено играми

Ответы36975

49 21 фев 2018, 17:54 49 36975

>>36974
Игры вне математики, как ты писал выше. Так что обсуждай их на другой доске.

Ответы36976

50 21 фев 2018, 18:06 50 36976

>>36975
Но категории - на 99% математика, как ты писал выше, так что категоризацию игр тут можно обсуждать.

Ответы36977

51 21 фев 2018, 18:13 51 36977

>>36976
>Но категории - на 99% математика
Я писал, что теория категорий используется примерно в 99% математики. Значит есть всего примерно 1% математики, где она не используется.
Не понимаю, как ты вывел из этого то, что у тебя выше. В любом случае, она является областью математики, так что на 100% состоит из неё.

sage 52 22 фев 2018, 02:14 52 36985

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

Ответы369873701537041

53 22 фев 2018, 04:04 53 36987

>>36985
Просто у тебя нет фантазии. Как можно быть математиком и не иметь фантазии? Не хотеть мечтать?

54 22 фев 2018, 13:29 54 37001

>>36864 (OP)
https://www.youtube.com/watch?v=QcCmOk-uN10

Ответы37018

55 22 фев 2018, 16:39 55 37009

>>36876
Давайте полный текст напишем и в архив

56 22 фев 2018, 16:43 56 37010

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

Ответы37013

57 22 фев 2018, 19:19 57 37013

>>37010
И что же он имел?

58 22 фев 2018, 21:25 58 37015

>>36985
>залётные обыватели нахватались умных слов и теперь хочут казаться умными
Это. Хуже пидорасов.

59 23 фев 2018, 08:01 59 37018

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

60 23 фев 2018, 08:15 60 37019

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

Ответы37020

sage 61 23 фев 2018, 10:39 61 37020

>>37019
>под объектами нашей категории игр подразумевать игрока
Тут видно, что ты не понимаешь определения категории, а это примерно третий-четвёртый класс. Можешь сразу нахуй идти.

62 23 фев 2018, 14:45 62 37025

Любую игру со всеми ее элементами и их взаиможействиями можно представить в виде нечёткой когнитивной карты (FCM). Любую FCM можно представить в котягорной форме.

63 23 фев 2018, 19:59 63 37026

Теория категорий выражает собой идею композиции. Вряд ли это можно применить к играм.

Ответы37027

64 23 фев 2018, 20:05 64 37027

>>37026
Она выражает собой идею естественных преобразований, а не "композиции".

65 24 фев 2018, 00:49 65 37041

>>36985
Они больше ничего не имеют. Ну, ещё заёбывать всех "это не математика!"

Ответы3704237047

sage 66 24 фев 2018, 01:01 66 37042

>>37041
Он вообще-то про тебя.

67 24 фев 2018, 09:06 67 37047

>>37041
>Ну, ещё заёбывать всех "это не математика!"
Это один залётный питух.

16 Кб, 345x147
68 24 фев 2018, 09:17 68 37049

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

69 27 фев 2018, 15:22 69 37096

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

Ответы37097

70 27 фев 2018, 15:36 70 37097

>>37096
Если будешь играть в шахматы сам с собой, то как понять выиграл ты или проиграл?

Ответы37099

71 27 фев 2018, 16:18 71 37099

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

Ответы37100

72 27 фев 2018, 17:22 72 37100

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

Ответы3710137104

73 27 фев 2018, 17:23 73 37101

>>37100
Понятие игры в смысле.

74 27 фев 2018, 20:28 74 37104

>>37100
Языковая игра?

Ответы37127

75 28 фев 2018, 01:52 75 37127

>>37104
Игра с образами с помощью языка. Структурированное воображение. Воображение по правилам.

76 28 фев 2018, 11:59 76 37129

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

Ответы37130

77 28 фев 2018, 12:09 77 37130

>>37129
У игрока по всем представлениям должна быть цель, обычно это цель выиграть. Но есть сотни игр-песочник, где выиграть или проиграть невозможно, ты просто открываешь мир, исследуешь игру, открыта новая локация=доказана новая теорема. А потом наступает момент, когда уже нечего исследовать.

Ответы37142

78 1 мар 2018, 06:43 78 37142

>>37130
Я бы клеточные автоматы тоже отнес к таким типам игр

79 1 мар 2018, 14:46 79 37155

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

Ответы37157

80 1 мар 2018, 15:05 80 37157

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

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

Ответы3715837172

81 1 мар 2018, 15:12 81 37158

>>37157
А как же геометрия?
Как человек не познавши форму, может о ней размышлять?
Значит геометрия — раздел физики.

Ответы3715937191

82 1 мар 2018, 15:14 82 37159

>>37158
Человек должен удостовериться в возможности линий.
В существования графической науки не прийти.

Ответы37161

83 1 мар 2018, 15:18 83 37161

>>37159
Тогда остается только алгебра?
Все ли есть концепты для возможности ее понимания?

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

Ответы3716337165

84 1 мар 2018, 15:20 84 37163

>>37161
Хаха. Ошибаешься. Чтобы познать "много", нужно видеть то, что вещи могут быть не единственными.
Арифметика не математика.

Ответы37164

85 1 мар 2018, 15:21 85 37164

>>37163
Чтобы познать "отличное от меня", нужно иметь такой опыт, созерцать такое.

86 1 мар 2018, 15:26 86 37165

>>37161
Алгебра — это изучение структур и их отношений.
Когда единственный субъект — ты.
Ты узнаешь ограниченное кол-во алгебр.
Чтобы узнать про эквивалетность, нужно получить опыт, когда вещи различаются
Чтобы узнать преобразование, нужен опыт.
Конечно, кроме того, что в результате бездействия ты становишь самим собой.

87 1 мар 2018, 15:26 87 37166

Вне опыта, нет познания.

88 1 мар 2018, 15:28 88 37167

Ненужно различать формальные и неформальные науки.
Биология ничем не отличается от математики, в этом плане.

Ответы37170

89 1 мар 2018, 16:59 89 37170

>>37167
Биологии не существует.

90 1 мар 2018, 18:12 90 37172

>>37157
>Все имеет математический смысл.
>
>Математика — это наука, которую можно изучить не видев никакой мир вокруг.
Из второго утверждения (вне зависимости от его правдивости) не следует первое. Как видим, лично тебе бы не помешало видение мира, а то совсем никакой математики не знаешь. Или лучше философией тогда уж занимайся.

91 2 мар 2018, 12:24 91 37191

>>37158
>Как человек не познавши форму, может о ней размышлять?
Поседи в полной темноте пару дней - начнешь такие формы видеть, что свое очко проиграешь. В том то и дело, что формы возникают из самого человека.

92 6 мар 2018, 14:59 92 37318

Есть тут кто серьезно линейной логикой упарывался?

Ответы37333

93 6 мар 2018, 16:42 93 37333

>>37318
Полтора пейпера прочитал так что нет.

Ответы37337

94 6 мар 2018, 20:44 94 37337

>>37333
Читаю "The Blind spot" сейчас. Жирар гений

Ответы37342

95 7 мар 2018, 00:29 95 37342

>>37337
Я не смогу разделить с тобой твою радость, анон. Сейчас голова совсем занята другим, к сожалению.

96 7 мар 2018, 21:41 96 37385

а в шахматах белые всегда выигрывают или ничья?

Ответы3739037392

97 8 мар 2018, 08:16 97 37390

>>37385
Да вот, один из интересных вопросов об играх. Инициатива задана наперед, не меняется в ходе игры - что это дает?

sage 98 8 мар 2018, 09:49 98 37392

>>37385
Всегда выигрывают. Доказывается тривиально, так как белая пешка является симплициальным объектом в категории схем.

99 8 мар 2018, 13:56 99 37394

https://www.gamasutra.com/view/feature/172409/10_years_of_behavioral_game_design_.php

100 9 мар 2018, 19:18 100 37403

https://www.cs.cmu.edu/~cmartens/thesis/thesis.pdf автор - трап, такие дела

Ответы37407

101 10 мар 2018, 00:14 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 10 мар 2018, 15:15 102 37415

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

Ответы37416

103 10 мар 2018, 16:13 103 37416

>>37415
Нету ничего вне категорий.

Ответы37425

104 10 мар 2018, 20:19 104 37425

>>37416
Познание не сводится к математике.

Ответы37434

105 11 мар 2018, 02:52 105 37434

>>37425
Все сводится к уравнениям.

Ответы37435

106 11 мар 2018, 09:44 106 37435

>>37434
Пидарство не сводится к уравнениям.

Ответы37438

107 11 мар 2018, 10:36 107 37436

Категории жизни

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

108 11 мар 2018, 13:28 108 37438

>>37435
Значит, гомосексуальность превосходит математику?

Ответы37454

109 12 мар 2018, 00:21 109 37454

>>37438
Игру с очком нельзя формализовать. Игры вне математики.

Ответы37455

110 12 мар 2018, 07:51 110 37455

>>37454
Математику тоже нельзя формализовать

Ответы3745637462

111 12 мар 2018, 08:51 111 37456

>>37455
Уравнение игры с очком напишешь?

Ответы37458

112 12 мар 2018, 13:59 112 37458

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

Ответы37461

113 12 мар 2018, 19:22 113 37461

>>37458
Да я понял тебя, я не имел ввиду формальность в смысле формальных систем, я имел ввиду формальность как в миру говорят, формальное общение, неформальное общение, ты понял. Есть очко, есть дилдак, дилдак входит в очко, туда-сюда, ну и что, уравнение составлять? Как выиграть в эту игру, как проиграть? Что это такое с точки зрения математики? Какие-то ощущения, чувства, это всё вне математики, не сможешь ты это описать более-менее формально. Но это ведь игра, игра с очком. Вот я и говорю, что игры вне математики.

Ответы37479

114 12 мар 2018, 19:32 114 37462

>>37455
Ты нормальный?

115 13 мар 2018, 09:29 115 37479

>>37461
Попа — ключ, условие по отношению к...
Партнер — объект.
Если для объекта А найдется такой объект B, для которого существует ключ C, то объект A доминирует над объектом B, а B подчиняется A.
Пусть, "∆" — символ страсти.
Тогда он станет аналогичной попой, требованием по отношению к возникновению подобных отношений.
Можно вводить понятия "продожительности акта", "удовольствия", "цели объектов", "любовные отношения", "сперма, член и прочая биология" Для хорошей формализации, следует писать целые трактаты. Связей ключей и следствий будет много. Но примеры этой формализации, можно увидеть во всех компьютерных играх, которые содержат эти понятия. Чем больше ввести понятий, тем более общей.

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

Ответы3748037481

116 13 мар 2018, 09:33 116 37480

>>37479
Классно. Я тебя обожаю.

117 13 мар 2018, 09:35 117 37481

>>37479
Ладно, ты меня убедил. Игры внутри математики, но тут для каждой игры нужно будет придумывать своё описание, а как описать саму игру? Что есть общего у всех игр?

Ответы3748237626

118 13 мар 2018, 10:32 118 37482

>>37481
Смотри, ты можешь действовать различным образом. Делать разное. Это тоже самое, что "иметь разные стратегии". " Пользоваться стратегиями".
У тебя, могут быть разные потребности, желания. Это тоже самое, что и "разные цели игры".

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

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

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

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

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

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

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

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

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

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

Ответы3748837625

119 13 мар 2018, 12:52 119 37488

>>37482
В этом свете интересно выделить такую стратегию, как "попробовать все стратегии".

120 17 мар 2018, 08:45 120 37625

>>37482
Нетрудно написать, что что-то затрагивает все понемногу, когда стоит четкая задача формализовать это. 0 усилия.

121 17 мар 2018, 11:48 121 37626

>>37481
>Что есть общего у всех игр?
Только то что на русском языке они обозначаются словом "игра". В английском, кстати, уже не все так однозначно, потому что есть "game" и "play".

Ответы37627

122 17 мар 2018, 12:11 122 37627

>>37626
Вы на воздушном шаре

Ответы37628

123 17 мар 2018, 12:46 123 37628

>>37627
Хотя не, забираю слова назад - математик бы не использовал модификатор "только"

Ответы37630

124 17 мар 2018, 14:01 124 37630

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

Ответы37631

125 17 мар 2018, 14:09 125 37631

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

Ответы37632

126 17 мар 2018, 16:25 126 37632

>>37631
Цитируй уж тогда все свои посты.

127 19 мар 2018, 20:01 127 37716

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

Ответы37718

128 19 мар 2018, 20:45 128 37718

>>37716
>из одного состояния стремится прийти к другому, по вариативному пути.
Не математика. В КА, например, нет никаких путей, а есть тройки ф-ии переходов.

129 20 мар 2018, 20:29 129 37732

Даю просто определение игры:
Создание всегда более сложного ритма на выходе чем на входе

Ответы3773337737

130 20 мар 2018, 20:35 130 37733

>>37732
Т.е. степень усложнения

131 20 мар 2018, 22:11 131 37737

>>37732
>ритм
Что это?

Ответы37855

132 21 мар 2018, 10:08 132 37739

Показательный тред. Обывательские, но зато наукообразные "системы", "вариативность", "недетерминированный", "ритм"... А на деле просто пустышка.

Ответы37740

133 21 мар 2018, 10:49 133 37740

>>37739
Показательно тут то, что игры есть, а с точки зрения науки - это пустышка (ты же тут от лица науки?)

Ответы37741

134 21 мар 2018, 11:09 134 37741

>>37740
Я о рассуждениях что есть игра, а не о играх.

Ответы37742

135 21 мар 2018, 12:10 135 37742

>>37741
Ну не дает современная наука нам языка для рассуждений об играх - приходится самим искать, щито поделать

136 21 мар 2018, 12:14 136 37743

Да, и снова забава, вот компьютерные игры дают возможность говорить хоть сколько-то формально об играх (например, выше в треде аноно подметил с майнкрафтом). То есть, мы можем ссылаться на конкретные компьютерные игры - как на формальные системы.

Ответы37744

137 21 мар 2018, 12:29 137 37744

>>37743
Классический путь - формализовать несколько конкретных игр, потом искать общее в формализмах.

Ответы37746

138 21 мар 2018, 12:42 138 37746

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

Ответы37747

74 Кб, 360x570
139 21 мар 2018, 18:51 139 37747

>>37746
>Ну и тут опять возникет игра между понятиями текста, изображения и символа.
Если возникает, то это не математика. И значит нихуя еще неформализировано

Ответы37748

140 21 мар 2018, 18:53 140 37748

>>37747
Возникает игра. И в математике игра тоже постоянно возникает.

Ответы37749

141 21 мар 2018, 18:55 141 37749

>>37748
В математике "между понятиями текста, изображения и символа"?

Ответы3775037751

142 21 мар 2018, 18:56 142 37750

>>37749
В математике символьная игра возникает часто.

Ответы37764

143 21 мар 2018, 18:58 143 37751

>>37749
Вот теорема какая-нибудь, выиграть=доказать теорему, есть аксиомы преобразования текста=правила игры.

Ответы37752

144 21 мар 2018, 19:35 144 37752

>>37751
Это представления лингвистов о математике? Всяк по себе мерит.

Ответы37753

145 21 мар 2018, 19:37 145 37753

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

Ответы3775437758

146 21 мар 2018, 20:03 146 37754

>>37753
Ваше место у параши

Ответы37755

147 21 мар 2018, 20:04 147 37755

>>37754
Боюсь, что твоё.

148 21 мар 2018, 21:47 148 37758

>>37753
>Математика это язык. Любой математик это лингвист.
Хуита из научпопа для девочек

Ответы37760

149 21 мар 2018, 21:54 149 37760

>>37758
>пук
Это слова Ромы, а ты кто?

Ответы37772

150 21 мар 2018, 23:46 150 37764

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

Ответы3776537780

151 22 мар 2018, 01:34 151 37765

>>37764
>содержимым
Это что? Приведи пример, не понимаю тебя.

Ответы3777037775

152 22 мар 2018, 07:55 152 37770

>>37765
Странно, что тебя не заставили привести пример игры в математике как языке.

Ответы37779

153 22 мар 2018, 11:29 153 37772

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

Ответы377733777437777

154 22 мар 2018, 12:08 154 37773

>>37772
>эта боль

155 22 мар 2018, 12:14 155 37774

>>37772
>так это умение думать,
) и снова гуманитарии со своими терминами без определений и оснований.

156 22 мар 2018, 12:18 156 37775

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

Ответы3777637779

157 22 мар 2018, 12:28 157 37776

>>37775
И священные тексты SGA

158 22 мар 2018, 13:05 158 37777

>>37772
Ты про научпоп пизданул чё-то, потому и сказал. Так я с ним согласен, причём тут верить/думать, просто наши мнения совпадают. Есть аксиомы, есть вывод из аксиом, всё остальное хуйня уровня физической интуиции. Текст не описывает объект, текст и есть объект.

159 22 мар 2018, 13:21 159 37779

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

160 22 мар 2018, 13:26 160 37780

>>37764
>легче принебречь содержимым, чем ОСОЗНАТЬ
>Содержимое в математике, вприниципе непознаваемое
И опять же, как ты собрался осознавать непознаваемое?

Ответы37781

161 22 мар 2018, 13:40 161 37781

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

Ответы37782377843778537786

162 22 мар 2018, 13:42 162 37782

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

Ответы37783

163 22 мар 2018, 13:42 163 37783

>>37782
>Непознаваемое нельзя познать
Даже это не будет им являться, понимаешь?

164 22 мар 2018, 13:43 164 37784

>>37781
Алсо для чего он используется тогда?

Ответы37788

165 22 мар 2018, 13:48 165 37785

>>37781
>⅋ is called "multiplicative disjunction
Это не непознаваемое.

166 22 мар 2018, 13:52 166 37786

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

Ответы37787

167 22 мар 2018, 13:59 167 37787

>>37786
>А что оно? Понятно
Пофиксил

Ответы37789

168 22 мар 2018, 14:01 168 37788

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

Ответы37789

169 22 мар 2018, 14:08 169 37789

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

Ответы37790

170 22 мар 2018, 14:25 170 37790

>>37789
>А что такое плюс сам по себе?
ебать дебил

Ответы37791

171 22 мар 2018, 14:26 171 37791

>>37790
сань хуй саси

Ответы37792

172 22 мар 2018, 14:38 172 37792

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

Ответы3779337794

173 22 мар 2018, 14:40 173 37793

>>37792
>Где ты видел в математике операцию без определения над чем эта операция?
>Так-то и плюс можно описать только относительно операции
О том и говорю. Символ плюса сам по себе ничего не значит, точно так же, как символ par, поэтому неудивительно, что его не смог тот чел описать.

174 22 мар 2018, 14:44 174 37794

>>37792
>там есть знак "Par", о котором сам создатель этой логики говорит, что не может подобрать словесной интерпретации.
Так и про + можно сказать, в этом нет ничего удивительного. Понимаешь? Но у par есть смысл, это
>⅋ is called "multiplicative disjunction
>Для согласованности, через комбинации с другими символами можно делать логический вывод.
Поэтому он никаким боком не относится к непознаваемому.

Ответы377953780037801

175 22 мар 2018, 15:07 175 37795

>>37794
В математике у символов есть смысл, а символы сами по себе неинтересны - можно заменить их любыми другими, в отличии от смысла.

Ответы377963779737803

176 22 мар 2018, 15:11 176 37796

>>37795
В математике правила работы с символами, с текстом и есть смысл, запиши их другими символами ничего не изменится. Нет никакого содержимого/непознаваемого за этими правилами. Математика это язык.

177 22 мар 2018, 15:12 177 37797

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

Ответы37799

178 22 мар 2018, 15:15 178 37799

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

Ответы37808

sage 179 22 мар 2018, 15:17 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, следует А.

Ответы37807

180 22 мар 2018, 15:18 180 37801

>>37794
Нет, тут ситуация сложнее, чем с плюсом. Par известно над чем определен, тем не менее никто не смог ещё подобрать адекватную семантику. Мультипликативная конъюнкция - "могу взять/мне дадут А и В сразу". Аддитивная конъюнкция - "Могу выбрать между А и Б". Аддитивная дизъюнкция - "Мне дадут А или Б". Мультипликативная дизъюнкция (par) - "Ну хуй знает. "А и Б "сообщающиеся сосуды" (с) Жирар""

Ответы37804

sage 181 22 мар 2018, 15:19 181 37803

>>37795
Если бы ты изучал основания,
Ты бы понял, что смысла нету вне символов.
А аксиомы утверждают об свойствах символов.

Ответы37805

182 22 мар 2018, 15:22 182 37804

>>37801
Известно, как с ним работать, с этим пар, известны свойства. ИРЛ интерпретация нахуй не нужна. В математике. Бытовая интерпретация. Ну пиздец. А КОКОЙ ФЕЗИЧЕСКЕЙ СМЫСЛ МММ?? ММММММ????!!!

Ответы37809

183 22 мар 2018, 15:24 183 37805

>>37803
>свойствах символов.
лул в голосину

Ответы37806

184 22 мар 2018, 15:26 184 37806

>>37805
Приведи контрпример

185 22 мар 2018, 15:27 185 37807

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

Ответы3781037812

186 22 мар 2018, 15:27 186 37808

>>37799
Не понял, что ты имеешь ввиду.

187 22 мар 2018, 15:28 187 37809

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

Ответы3781237817

188 22 мар 2018, 15:32 188 37810

>>37807
Если из A-> A, из этого не следует, что из A->A.[иначе бы требовалась осуществимая бесконечная цепь]
Следовательно, любые математические утверждения полагаются на интуитивную очевидность, магию.

Ответы37813

189 22 мар 2018, 15:32 189 37811

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

Ответы37860

190 22 мар 2018, 15:34 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
Нет, почему? Семантика и свойства символов, аксиомы, это одно и то же. Ты не описываешь абелеву группу набором аксиом, ты её вводишь, она не существует где-то там, а в тексте её отражение, она прямо в тексте, вот она.

Ответы37814

191 22 мар 2018, 15:34 191 37813

>>37810
>на интуитивную очевидность, магию
На веру. Аксиомы принимаются на веру.

Ответы37816

192 22 мар 2018, 15:35 192 37814

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

Ответы3781537821

193 22 мар 2018, 15:35 193 37815

>>37814
Она с самого создания треда пошла, если ты не заметил.

Ответы37819

194 22 мар 2018, 15:37 194 37816

>>37813
Они принимают на веру, что существует выводимость из аксиом.
А если принимают, как аксиому выводимость, то принимают вывод выводимости из аксиомы выводимости

Ответы37818

195 22 мар 2018, 15:37 195 37817

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

196 22 мар 2018, 15:38 196 37818

>>37816
Видимо, да. Или нет. Вывод выводимости, зачем на выводить выводимость, если это аксиома?

Ответы37820

197 22 мар 2018, 15:39 197 37819

>>37815
Потому что никто не может признать, что задача ему не по силам. А умничать хочется.

Ответы37821

198 22 мар 2018, 15:40 198 37820

>>37818
Нужно бесконечное кол-во аксиом выводимости, чтобы вывод существовал.
А бесконечность не может достигнуться

Ответы37822

199 22 мар 2018, 15:42 199 37821

>>37814
Другими словами с такой точкой зрения я вообще ничего не теряю, весь смысл уже записан, это и есть абелева группа, в этом её смысл.
>>37819
Так я с самого начала треда пишу, что игры вне математики, потому что математика сама является игрой.Хотя мне ответили тут, что даже игру с очком можно математизировать. Возможно игры являются математикой. Тогда игра и математика это одно и то же.

Ответы37824

200 22 мар 2018, 15:43 200 37822

>>37820
Зачем выводить выводимость, если она постулируется?

201 22 мар 2018, 15:47 201 37824

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

Ответы37826

202 22 мар 2018, 15:49 202 37826

>>37824
>Интуитивно даже 4-мерный вектор не представишь.
Представляешь как объект, который ведет себя под операциями неким образом.

Ответы37827

203 22 мар 2018, 15:51 203 37827

>>37826
>объект , который ведёт себя неким образом
Так это тоже самое, что и аксиоматическое описание. Объекта нет, зато есть свойства. Свойства=объект.

Ответы3782837829

204 22 мар 2018, 15:53 204 37828

>>37827
Если у чего-то нет свойств - оно не существует.

Ответы3783037834

205 22 мар 2018, 15:54 205 37829

>>37827
Так нахуя ты разделяешь объекты и операции.

Ответы37832

206 22 мар 2018, 15:55 206 37830

>>37828
Нечто, "не имеющее свойств", звется объектом с пустым множеством свойств. А пустое множество имеет свойства.

Ответы37831

207 22 мар 2018, 15:58 207 37831

>>37830
/0

208 22 мар 2018, 15:58 208 37832

>>37829
>свойства=объект
Да я ж вроде не разделяю. Это же ты стал писать про непознаваемое содержимое, которое кроется за аксиомами. Я топлю за то, что нет никакого непознаваемого содержимого объекта, объективная реальность, в то время как мы все субъективно мыслим, потому объект не познаваем, есть познаваемые аксиомы, они записаны символами, они определяют правила преобразования символов, правила символьной игры, пространство игры, ну как шахматная доска с тем, как ходят фигуры, блядь.

209 22 мар 2018, 15:59 209 37834

>>37828
Если чего-то не существует - у него нет свойств. В обратном я не уверен.

Ответы37835

210 22 мар 2018, 16:00 210 37835

>>37834
Я говорю о дед морозе. Дед мороз мужчина, с белой бородкой. У него есть свойства. Он существует?

Ответы37836

211 22 мар 2018, 16:01 211 37836

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

Ответы37837

212 22 мар 2018, 16:03 212 37837

>>37836
Получается, говоря о существовании математики, существует дед мороз?

Ответы37838

213 22 мар 2018, 16:04 213 37838

>>37837
Получается так. Как образ, часть народного эпоса, вот это всё. Хотя, ты же опять языком воспользовался, аксиомы деда мороза задал.

Ответы3784037841

214 22 мар 2018, 16:05 214 37840

>>37838
Ну на самом деле аксиомы белобородых мужчин, но не суть.

215 22 мар 2018, 16:06 215 37841

>>37838
Прости меня, прости. Я люблю тебя

Ответы378423784337847

216 22 мар 2018, 16:06 216 37842

>>37841
И я тебя люблю, анон. Так приятно.

Ответы3784337847

217 22 мар 2018, 16:12 217 37843

>>37841
>>37842
Лучше бы сказали чонить по теме треда.

Ответы3784437845

218 22 мар 2018, 16:15 218 37844

>>37843
По-моему, это было очень в тему треда

219 22 мар 2018, 16:16 219 37845

>>37843
Да я говорил уже, математика подмножество игр, с другой стороны анон выше писал, что игры, даже игры с очком, подмножество математики. Может математика и игра одно и то же? Действительно, есть правилы игры-аксиомы, есть цель игры-теорема, задача вывести теорему из аксиом.

Ответы3784637848

220 22 мар 2018, 16:19 220 37846

>>37845
>подмножество
Понятно, что подмножество в житейском смысле, не в математическом, часть.

221 22 мар 2018, 16:19 221 37847

>>37841
>>37842
Я тоже ощутил это, всех вас люблю. Мы на мгновение выиграли

222 22 мар 2018, 16:32 222 37848

>>37845
>Математик Владимир Воеводский о своем мистическом опыте и "игре, хозяйкой которой является страх"
>хозяйкой
>страх
>смерти нет если бы была смерть то меня бы не было под смертью мы понимаем страх смерти
>Cowards die many times before their deaths

Ответы3784937853

2,5 Мб, webm,
640x268, 0:41
223 22 мар 2018, 16:48 223 37849

>>37848
>Игра, хозяйкой которой является смерть.
Это не про математику, это про жизнь.

Ответы37850

224 22 мар 2018, 17:21 224 37850

>>37849
Зачем разделять? Ну, как нечто временное я такое разделение могу понять (для целей оубчения, например), но по существу - это тупой подход

Ответы3785137852

225 22 мар 2018, 17:25 225 37851

>>37850
Не знаю, для меня разные вещи. В математике нет времени, страха, других ограничений.

226 22 мар 2018, 17:26 226 37852

>>37850
В математике нет Я, в общем. Для меня реальность проекция математики на несовершенное человеческое сознание. Я не шизик, честно.

227 22 мар 2018, 17:57 227 37853

>>37848
>Cowards die many times before their deaths
https://www.youtube.com/watch?v=WEvby-c1WnI

228 23 мар 2018, 04:48 228 37855

>>37737
пульсирующий анус

229 23 мар 2018, 18:05 229 37860

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

Ответы37896

230 26 мар 2018, 13:30 230 37896

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

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

Ответы38016

231 29 мар 2018, 13:46 231 37964

>>36864 (OP)
А насколько эффективно применять теорию игр к сток трейдингу?

232 31 мар 2018, 02:20 232 38016

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

Ну это как думать, что за доказательством теоремы Ферма стоит Диофант у которого, согласно википедии, появились первые примеры эллиптических кривых

233 9 апр 2018, 21:18 233 38333

>>36952
Искусство.

Ответы3833438335

234 9 апр 2018, 21:20 234 38334

>>38333
Пардон, только там не два игрока будет. Или можно рассматривать художника как первого игрока, а общество - как второго.

Ответы38335

235 9 апр 2018, 21:32 235 38335

>>36952
>>38333
>>38334
Кстати, еще пара мыслей. Определяем противника как победителя. Надеюсь, понятно. Чтобы противостоять такой стратегии с его стороны, заранее определяем его как того, кто определит нас как победителя, наше определение своевременнее, поэтому если он его применит, мы по идее выиграли, потому что раньше дали определение. Тут формализовать надо правила, какие утверждения вообще должны быть возможны. Вырисовывается и самый слабый ход - определить противника как проигравшего. В общем, может неплохая игра выйти, если хорошо обдумать ее, кмк.

Ответы383363833738363383643836538371

236 9 апр 2018, 21:47 236 38336

>>38335
Вот вам и категория, кстати. Ход обоих противников - стрелка, а когда они оба определяют как проигравшего - идентичность.

237 9 апр 2018, 22:06 237 38337

>>38335
нихуя не понял

238 10 апр 2018, 15:27 238 38363

>>38335
>Определяем противника как победителя.
Читак! Охуенно!

Ответы38365

239 10 апр 2018, 15:29 239 38364

>>38335
>того, кто определит нас как победителя
Хотя получается тут, что победитель этот тот, кто определяет нас как победителя, не?

240 10 апр 2018, 15:30 240 38365

>>38363
>>38335
https://www.youtube.com/watch?v=obmeCspmEnU
Ну охуенно же.

Ответы38366

241 10 апр 2018, 15:30 241 38366

>>38365
Тут Нео определил Смита как победителя.

242 10 апр 2018, 17:25 242 38371

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

Ответы383743837538376

243 10 апр 2018, 17:32 243 38374

>>38371
То есть если ты победитель твой проигрыш лишь дело времени.
https://www.youtube.com/watch?v=PX2H6UtCpjY

244 10 апр 2018, 17:35 244 38375

>>38371
Блядь, не тот отрывок. Вот
https://www.youtube.com/watch?v=dvDFIDVInrg

245 10 апр 2018, 17:37 245 38376

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

Ответы38377

246 10 апр 2018, 18:13 246 38377

>>38376
>Короче текстом
Короче хуйня

Ответы38379

247 10 апр 2018, 18:36 247 38379

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

248 4 фев 2019, 07:32 248 49883

>>36885
Zur Homotopie dem Spielerische Theorie. A. Einstehen

249 4 фев 2019, 15:57 249 49886

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

Ответы5118952778

250 4 фев 2019, 23:28 250 49899

Как игры с нерациональными игроками моделировать?

Ответы52787

251 21 мар 2019, 05:43 251 51189

>>49886
двачую, из гугла сюда попал
когда пошел с корешем в макдак, вспоминали, как воеводский пытался теорвер категоризировать, и как лурье гармонический анализ категорил
я пошутил, что неплохо бы тигры в порядок привести
сейчас вспомнил и решил гуглануть - пусто

252 25 апр 2019, 21:05 252 52778

>>49886
Просто для тебя это не актуально. Ты хочешь на все готовенькое прийти, а я же сразу сказал, что тут настоящая наука делается, а не её профанация. Я ждал обмена мнениями, но нашлось всего пара анонов, которым было что сказать.

253 25 апр 2019, 21:08 253 52779

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

254 25 апр 2019, 21:15 254 52780

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

255 26 апр 2019, 11:02 255 52787

>>49899
Описать всевозможные ходы.
Вообще, написать майнкрафт на языке математики, это написать код игры, но очень понятно.

Ответы53459

256 16 мая 2019, 11:25 256 53459

>>52787
Ну а если игра такая, что действие не описать, пока оно не произойдет?

257 18 мая 2019, 23:59 257 53517

297 Кб, 1342x38076 Кб, 380x44054 Кб, 312x244

Давайте придумаем формализацию мемов.

Ответы54850

258 26 мая 2019, 15:55 258 54850

>>53517
>Dank Learning: Generating Memes Using Deep Neural Networks pdf
Зачем нужны формализации, если все необходимое уже умеют делать нейроночки без всяких формализаций?

259 17 фев 2021, 21:24 259 80427

>>36864 (OP)
просто оставлю это здесь

Lectures on compositional game theory
https://julesh.com/videos/

260 16 авг 2021, 06:57 260 86631

9

Обновить тред
« /math/В начало тредаВеб-версияНастройки/a//b//mu//s//vg/Все доски

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

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

Пользуетесь скринридером — пишите, что можно улучшить.
Host-Food.ru — надёжный хостинг от 12 руб/мес | Free DNS
Зеркала М.Двача: m2ch.hk, m2ch.lib, m2chfapiswfw2wcakptqp4o6ltgchvjuxfab7urxlduraomtlnhw5xad.onion