Event JSON
{
"id": "22962dfc8f9d6f083de25bb64fc91b64f035f97550d0e8f7789f801aea51a0c2",
"pubkey": "9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320",
"created_at": 1774808892,
"kind": 1,
"tags": [
[
"proxy",
"https://mathstodon.xyz/@johncarlosbaez/116313875561105634",
"web"
],
[
"proxy",
"https://mathstodon.xyz/users/johncarlosbaez/statuses/116313875561105634",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mathstodon.xyz/users/johncarlosbaez/statuses/116313875561105634",
"pink.momostr"
],
[
"-"
]
],
"content": "I don't want to formalize any of my work on mathematics. First because, as Emily Riehl notes, formalization tends to impose consensus. And second, because I find it boring. It steals time from creative thought to nail things down with more rigidity than I need or want.\n\nhttps://bsky.app/profile/quantamagazine.bsky.social/post/3mi7iktjbrr26",
"sig": "6f458a5fb6f6dd784ed8e87dd9802c2f1a1c24cc4648e75063a49eb6fcaaeabd6271de534341b8b9123026918a1cc61624633baafd6b1801c422912bb90a9c88"
}
