Back to profiles
Profile Banner

Richard Zach

580ba9c3849e80d58cbcd2c76728f33468f41c54396d73656137b224781f45d2

About

Logician, historian and philosopher of logic, mathematics, and computability Copied to @richardzach.org on Bluesky. Follow @ap.brid.gy so I can follow you back

Metadata

DID Document

{
  "@context": [
    "https://www.w3.org/ns/did/v1",
    "https://w3id.org/nostr/context",
    "https://w3id.org/security/suites/ed25519-2020/v1"
  ],
  "id": "did:nostr:580ba9c3849e80d58cbcd2c76728f33468f41c54396d73656137b224781f45d2",
  "verificationMethod": [
    {
      "id": "did:nostr:580ba9c3849e80d58cbcd2c76728f33468f41c54396d73656137b224781f45d2#key1",
      "controller": "did:nostr:580ba9c3849e80d58cbcd2c76728f33468f41c54396d73656137b224781f45d2",
      "type": "SchnorrVerification2025"
    }
  ],
  "authentication": [
    "#key1"
  ],
  "assertionMethod": [
    "#key1"
  ],
  "profile": {
    "id": "did:nostr:event:8fd207112c175d57e290ae8b4f691c2c8f6d568aea430d4c09b2c0897ec25b95",
    "name": "Richard Zach",
    "about": "Logician, historian and philosopher of logic, mathematics, and computability\n\nCopied to @richardzach.org on Bluesky. Follow @ap.brid.gy so I can follow you back",
    "picture": "https://media.mathstodon.xyz/accounts/avatars/109/264/278/157/213/832/original/59ccbf4598016f25.jpg",
    "banner": "https://media.mathstodon.xyz/accounts/headers/109/264/278/157/213/832/original/e68892ca2ee24b4e.jpeg",
    "nip05": "rrrichardzach@mathstodon-xyz.mostr.pub",
    "created_at": 1760340246,
    "updated_at": "2025-10-13T07:24:06.000Z"
  },
  "service": [
    {
      "id": "did:nostr:580ba9c3849e80d58cbcd2c76728f33468f41c54396d73656137b224781f45d2#bitcoin-taproot",
      "type": "TaprootAddress",
      "network": "tbtc4",
      "serviceEndpoint": "tb1ptq96nsuyn6qdtr9u6trkw28nx350g8z589khxetpx7ezg7qlghfqha0ppl"
    },
    {
      "id": "did:nostr:580ba9c3849e80d58cbcd2c76728f33468f41c54396d73656137b224781f45d2#bitcoin-mainnet-taproot",
      "type": "TaprootAddress",
      "network": "btc",
      "serviceEndpoint": "bc1ptq96nsuyn6qdtr9u6trkw28nx350g8z589khxetpx7ezg7qlghfqq4ewms"
    }
  ]
}

Raw JSON

{
  "_id": "67fa98f001976a34b64ea54a",
  "pubkey": "580ba9c3849e80d58cbcd2c76728f33468f41c54396d73656137b224781f45d2",
  "content": "{\"name\":\"Richard Zach\",\"about\":\"Logician, historian and philosopher of logic, mathematics, and computability\\n\\nCopied to @richardzach.org on Bluesky. Follow @ap.brid.gy so I can follow you back\",\"picture\":\"https://media.mathstodon.xyz/accounts/avatars/109/264/278/157/213/832/original/59ccbf4598016f25.jpg\",\"banner\":\"https://media.mathstodon.xyz/accounts/headers/109/264/278/157/213/832/original/e68892ca2ee24b4e.jpeg\",\"nip05\":\"rrrichardzach@mathstodon-xyz.mostr.pub\",\"fields\":[[\"Website\",\"https://richardzach.org/\"],[\"Open Logic Project\",\"https://openlogicproject.org/\"],[\"Github\",\"https://github.com/rzach\"],[\"Interests\",\"#Logic #ProofTheory #HistMath #PhilSci #ComputingHistory\"]]}",
  "created_at": 1760340246,
  "id": "8fd207112c175d57e290ae8b4f691c2c8f6d568aea430d4c09b2c0897ec25b95",
  "kind": 0,
  "sig": "704d75c378417ababcba33091b0ba048e41e20f788542f3345f4439da4e95734851910720556ca12321bc1a39a5a3dc4e412d35b887bcb7b74d012bc3422ddda",
  "tags": [
    [
      "proxy",
      "https://mathstodon.xyz/users/rrrichardzach",
      "activitypub"
    ],
    [
      "client",
      "Mostr",
      "31990:6be38f8c63df7dbf84db7ec4a6e6fbbd8d19dca3b980efad18585c46f04b26f9:mostr",
      "wss://relay.mostr.pub"
    ]
  ],
  "updated_at": "2025-10-13T07:24:06.000Z"
}