Oct. 25th, 2014
figuring out...
Oct. 25th, 2014 12:28 pmSo, I kind of discovered that the stuff I'm doing with my
Moving on.
Similarly, there's some connection between
Actually, what I have, it seems to be a coaffine logic, but well, who cares right now. We will see.
"If Γ,Δ⊢Θ, then Γ,!A,Δ⊢Θ, for any A " maps to
"If Γ,!A,!A,Δ⊢Θ, then Γ,!A,Δ⊢Θ" maps to
Not everything works. But is not it weird.
Result
class looks suspiciously close to linear logic, e.g., in LL we have !(A&B)≡!A⊗!B
, and I have Good(a) <*> Good(b) == Good((a,b))
.Moving on.
Similarly, there's some connection between
Good[Either[A,B]]
and Good(a:A) orElse Good(b:B).Actually, what I have, it seems to be a coaffine logic, but well, who cares right now. We will see.
"If Γ,Δ⊢Θ, then Γ,!A,Δ⊢Θ, for any A " maps to
Good(a) foreach (f())
is the same as f()
."If Γ,!A,!A,Δ⊢Θ, then Γ,!A,Δ⊢Θ" maps to
Good(Good(a)).flatten == Good(a)
Not everything works. But is not it weird.
интересная борьба с предрассудками
Oct. 25th, 2014 04:42 pmhttps://www.facebook.com/alex.1oginov/posts/730083593708144
Там студентам предлагают сообщить, в какой степени они согласны с разными расистскими и сексистскими утверждениями.
Вот одно из них: "большинство женщин не слишком умны". Звучит оскорбительно... но давайте, предполагая булевость, запишем отрицание оного. "большинство женщин слишком умны". Ну или "меньшинство женщин не слишком умны". Это звучит еще более издевательски. И, главное, я тоже считаю, что большинство женщин не слишком умны. Во-первых, без разницы, женщин, мужчин... большинство населения не слишком умны. Во-вторых, а что, бывает слишком? Я как-то не вижу, чем плохо было бы, если бы все были умом на уровне, скажем, среднего китайского аспиранта в Беркли. Но это все равно не слишком.
Тут как-то предполагается, что студенты (а допрашивали принстонских) считают, что уж они-то точно слишком умны. Надо бы поубавить. Это больше говорит о студентах, конечно, чем, собственно, о женщинах, кому они собрались ставить оценки, но, из вежливости, решили не согласиться с тем, что большинство не слишком умны, и лучше они скажут, что большинство слишком умны. Это не ум, это конформизм и сикофантство.
Все это говорит только одно - что большинство студентов Принстона - жополизы, и не слишком умны (кстати). Будь они поумнее, они бы задумались над вопросом.
А третий пункт - предположим, некоторая группа населения не то что не слишком умна, а просто не очень умна. НУ ТАК И ЧТО?! Бля, они же все равно люди, давайте уже их уважать тоже, а не говорить им, что они должны делать по жизни.
Там студентам предлагают сообщить, в какой степени они согласны с разными расистскими и сексистскими утверждениями.
Вот одно из них: "большинство женщин не слишком умны". Звучит оскорбительно... но давайте, предполагая булевость, запишем отрицание оного. "большинство женщин слишком умны". Ну или "меньшинство женщин не слишком умны". Это звучит еще более издевательски. И, главное, я тоже считаю, что большинство женщин не слишком умны. Во-первых, без разницы, женщин, мужчин... большинство населения не слишком умны. Во-вторых, а что, бывает слишком? Я как-то не вижу, чем плохо было бы, если бы все были умом на уровне, скажем, среднего китайского аспиранта в Беркли. Но это все равно не слишком.
Тут как-то предполагается, что студенты (а допрашивали принстонских) считают, что уж они-то точно слишком умны. Надо бы поубавить. Это больше говорит о студентах, конечно, чем, собственно, о женщинах, кому они собрались ставить оценки, но, из вежливости, решили не согласиться с тем, что большинство не слишком умны, и лучше они скажут, что большинство слишком умны. Это не ум, это конформизм и сикофантство.
Все это говорит только одно - что большинство студентов Принстона - жополизы, и не слишком умны (кстати). Будь они поумнее, они бы задумались над вопросом.
А третий пункт - предположим, некоторая группа населения не то что не слишком умна, а просто не очень умна. НУ ТАК И ЧТО?! Бля, они же все равно люди, давайте уже их уважать тоже, а не говорить им, что они должны делать по жизни.
Шел дождик, и делать было нечего. Написал задачи для мидтерма, покормил кошку, привинтил полку, прочитал главу "функционального программирования на джаве", привинтил полку в офисе (а то валялась в гараже), и изучал линейную логику, т.к. обнаружил уж больно подозрительное сходство с моей хренью. Почему-то не нашел нигде внятного текста про линейную логику (читаю сразу два).
Посмотрели "Венеру в Мехах", Поланского. Поланский, конечно, рехнулся. Играют прекрасно, поставлено прекрасно, но он рехнулся. И, главное, все это такие 70-е...
Кстати, о 70-х. "Венера" вышла в 1870-м; "Идиот" в 1869-м. В воздухе носилось что-то такое.
Посмотрели "Венеру в Мехах", Поланского. Поланский, конечно, рехнулся. Играют прекрасно, поставлено прекрасно, но он рехнулся. И, главное, все это такие 70-е...
Кстати, о 70-х. "Венера" вышла в 1870-м; "Идиот" в 1869-м. В воздухе носилось что-то такое.