tranny demon hacker on Nostr: but the issue goes more deep that than, because the ultimate source of these logics ...
but the issue goes more deep that than, because the ultimate source of these logics is in their judgmental fragments
this was a massively important shift in perspective that Martin-Loef gave us and on which a looooot of modern type theory since the 1970s has depended on
Published at
2024-11-14 19:25:50Event JSON
{
"id": "4883eb34387b9823f41dc8cd14a39fe03b7f1cf533184b8d03927335f89e7c61",
"pubkey": "6e5b64a93f9c17d6528911485e399c8be0361c502e3c736e8118f8e00d950d0c",
"created_at": 1731612350,
"kind": 1,
"tags": [
[
"e",
"84b5bda081bbdafc33289122071a73ecc25661010fba6d5c9a4962cdac26baf4",
"wss://relay.mostr.pub",
"reply"
],
[
"proxy",
"https://kolektiva.social/users/beka_valentine/statuses/113482947030942972",
"activitypub"
]
],
"content": "but the issue goes more deep that than, because the ultimate source of these logics is in their judgmental fragments\n\nthis was a massively important shift in perspective that Martin-Loef gave us and on which a looooot of modern type theory since the 1970s has depended on",
"sig": "84ae272adba56b0dabb436c85e3b16c66b253ebe3f6eeb7d5a0025f84630b2723f5777c8a0ecd67ca3397d492bb4c26e439e59d587f9679500783364d9ba9d6b"
}
