Cody on Nostr: is there a way to formalize this intuition, e.g. proving Kolmogorov's axioms in some ...
is there a way to formalize this intuition, e.g. proving Kolmogorov's axioms in some sense?
Cody
npub1ah…vhw9x
2024-09-25 17:41:18 UTC
in reply to nevent1q…ddpx
Author Public Key
npub1ahl7tmpdsaqrpxgyjrpqhnhvegk3acmfqdz38g7mst0lkrc07ppsrvhw9xSeen on
wss://relay.momostr.pinkPublished at
2024-09-25 17:41:18 UTCEvent JSON
{
"id": "b4bc703f61bef29d631647fcc14ee693b526e3138d41054306e672aa7f9af61c",
"pubkey": "edffe5ec2d874030990490c20bceecca2d1ee369034513a3db82dffb0f0ff043",
"created_at": 1727286078,
"kind": 1,
"tags": [
[
"e",
"5e0705fbf903c65c892df80289257f07a93034787cc875a1cb770e4aaaccf400",
"",
"reply",
"9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320"
],
[
"proxy",
"https://mathstodon.xyz/@codyroux/113199420446049251",
"web"
],
[
"p",
"9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320"
],
[
"e",
"86a878af0d6b56f14118e75991d82fc7f3e5b55934be55057cc46524aaf472d5",
"",
"root",
"edffe5ec2d874030990490c20bceecca2d1ee369034513a3db82dffb0f0ff043"
],
[
"p",
"edffe5ec2d874030990490c20bceecca2d1ee369034513a3db82dffb0f0ff043"
],
[
"proxy",
"https://mathstodon.xyz/users/codyroux/statuses/113199420446049251",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mathstodon.xyz/users/codyroux/statuses/113199420446049251",
"pink.momostr"
],
[
"-"
]
],
"content": "is there a way to formalize this intuition, e.g. proving Kolmogorov's axioms in some sense?",
"sig": "690475bcf7cd57f589ef6f00d45915337aacbaa5f45ad019dc6592d88fb700ef4148c25cb47f1712e7bd561d0b1764616d80a62271852c73f2c8f1461736b9d3"
}