Andrej Bauer on Nostr: Oh my! After reading (again) an old comment by npub1c9m22…z9xjd on how the abstract ...
Published at
2024-06-19 08:36:13Event JSON
{
"id": "8090af0a12658fa7b19fbe377025026256d5661167b7f74fe7c16ba30c31dcbc",
"pubkey": "406cda1605d9d95b1e39a78327c3891afba2baecd30a02b403c900e6d3f9bb58",
"created_at": 1718786173,
"kind": 1,
"tags": [
[
"p",
"c176a55ed8a5f4240dd6154f81df0176998ba869d48bef575c47e33c9207d4b2",
"wss://relay.mostr.pub"
],
[
"p",
"3422fcbc32f333fb2d3481b2e981258af8a0b571869cbfe93c42962410e232ef",
"wss://relay.mostr.pub"
],
[
"proxy",
"https://mathstodon.xyz/users/andrejbauer/statuses/112642370646046658",
"activitypub"
]
],
"content": "Oh my! After reading (again) an old comment by nostr:npub1c9m22hkc5h6zgrwkz48crhcpw6vch2rf6j97746ugl3neys86jeqyz9xjd on how the abstract index notation is just typing information, I finally understand the physicists' abstract index notations, such as Γᵢⱼʲ.\n\nThere really should be a type-theoretic account of physics.",
"sig": "685ee56476e9fb6906979ebcb5600d93d25feb214b796d8a319fecf54f00e0ca25671b6035d259df9be31ba25693f30f05ccbf1444c50ac85d7cc845251befb6"
}
