эт почему ещё
Size: a a a
2021 July 06
LO
и этот чат ещё ХМГ упрекает онлифэнсом
Oℕ
тюринг полный значит противоречивый, доказуемо всё, что угодно
это где такая истина манифестирована?
Oℕ
вы притворяетесь, или правда не понимаете
Oℕ
речь про CH соответствие
Oℕ
шутка такая
VL
Что значит что угодно ? T==F тоже можно?
Oℕ
конечно
Oℕ
proof : Eq T F
proof = proof
proof = proof
VL
Та
DB
theorem :: Odno -> Drugoe
theorem = error "dokazano"
theorem = error "dokazano"
LO
Вчера электричество, сегодня интернет. Пиздос
Oℕ
или что там
VL
Шутки от айтишников за 300
Oℕ
proof :: (True ~ False => a) -> a
proof = proof
proof = proof
Oℕ
нидумол, что в 2к21 придётся в хошкель офтопиках шутки про CH объяснять
DB
Просто
proof :: True ~ False
Вроде
proof :: True ~ False
Вроде
Oℕ
ну вы попробуйте скомпилить это
DB
А, там другой конструктор
:~:
:~: