"Reverse metamathematics"? Now they're just making stuff up
https://www.quantamagazine.org/reverse-mathematics-illuminates-why-hard-problems-are-hard-20251201/?utm_source=fark&utm_medium=website&utm_content=link&ICID=ref_fark
#stem #math #interesting
Holly
npub1tr…hruu5
2025-12-03 00:14:13 UTC
Author Public Key
npub1tr4qkrheanq9dj60vvu7z3tmql0h58lv436f9fvzswwxzszlmgwqthruu5Seen on
wss://relay.momostr.pinkPublished at
2025-12-03 00:14:13 UTCEvent JSON
{
"id": "f3c909b829381217d734cda12c2ec9a678c8599240b64855a57cfd5207759e67",
"pubkey": "58ea0b0ef9ecc056cb4f6339e1457b07df7a1fecac7492a582839c61405fda1c",
"created_at": 1764720853,
"kind": 1,
"tags": [
[
"t",
"stem"
],
[
"t",
"math"
],
[
"t",
"interesting"
],
[
"proxy",
"https://universeodon.com/@HollyCo26588808/115652745872031587",
"web"
],
[
"proxy",
"https://universeodon.com/users/HollyCo26588808/statuses/115652745872031587",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://universeodon.com/users/HollyCo26588808/statuses/115652745872031587",
"pink.momostr"
],
[
"-"
]
],
"content": "\"Reverse metamathematics\"? Now they're just making stuff up\n\nhttps://www.quantamagazine.org/reverse-mathematics-illuminates-why-hard-problems-are-hard-20251201/?utm_source=fark\u0026utm_medium=website\u0026utm_content=link\u0026ICID=ref_fark\n\n#stem #math #interesting",
"sig": "f5d29cafce7979dbc5a95866579cb54a432254125338e00505c2d03a5e9247a5cd74504e65cabff5e5066695278dd59532e4c21cb14c5f752ae20f54bfc59a79"
}