Я учусь семантику Haskell, и там я наткнулся на этот вопрос:Доказать транзитивность в Haskell семантике
Я пробовал, но до сих пор не в состоянии завершить ответ. Будет здорово, если кто-нибудь объяснит мне, как это доказать. Спасибо.
Просто эскиз -> Так как Pn (ов) при фиксированном п является морфизм Ninf -> N, то есть множество целых чисел в Integer, это доказательство можно упростить, используя это соотношение в доказательстве транзитивность по целым числам
[1,0,0 ..] -> [2,0,0 ..] -> [3,0,0 ..] -> ...
Уверен, что вы можно найти еще интереснее
Не могли бы вы немного объяснить, как найти цепь. –
pn ([x, 0,0 ..]) == x для любого n. Если цепочка x-es удовлетворяет транзитивности, то цепочка множеств X-es также. –
благодарю вас за это, но я не понял, как pn (x, 0,0,0 ..)? , как вы это делаете. можете ли вы объяснить это, так как я все еще борюсь с этим вопросом. –
I Голосовать, чтобы закрыть этот вопрос как вне темы, потому что это не вопрос программирования. – Renzo
@ Ренцо, не могли бы вы рассказать мне тогда, где задать такой вопрос? Спасибо –
Вы можете попробовать http://cs.stackexchange.com или, может быть, http://math.stackexchange.com – Renzo