It is absolutely fine not wanting to try it.
But then please stop saying things such as "I don't think formalizing mathematics at all makes us think the right way" or other claims about formalization.
If you want to speak with authority about formalization, then learn it first. And, yes, it is not easy or fast.
Martin Escardo
npub14a…f9fse
2026-04-01 05:22:16 UTC
in reply to nevent1q…tln8
Author Public Key
npub14a5755aglz3euvetuy8z7x25akaz42lgvrgkr8qj2a55ghpwaelqjf9fseSeen on
wss://relay.momostr.pinkPublished at
2026-04-01 05:22:16 UTCEvent JSON
{
"id": "7f13935f14b5ab7a7c8ac4b4cd2b5ebb7e3f7a0c29bc39bb4cf2b05923695fbe",
"pubkey": "af69ea53a8f8a39e332be10e2f1954edba2aabe860d1619c125769445c2eee7e",
"created_at": 1775020936,
"kind": 1,
"tags": [
[
"p",
"0fb8489d1bda51d0f9c32dc008ce4878b140d614612cbb83d62c3224854e529f"
],
[
"p",
"3f7515c818bf1e76ec624c355ab22e2408d902b66824651afad01a67a856af4a"
],
[
"p",
"9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320"
],
[
"p",
"608dd7b22ade794b0dde29cb84cffd69bf9f9cd477002e838206c68cb799ecb8"
],
[
"e",
"22962dfc8f9d6f083de25bb64fc91b64f035f97550d0e8f7789f801aea51a0c2",
"",
"root",
"9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320"
],
[
"p",
"67f17e59b525a7cc73f7a2bb4308053daa9c4db30d42b9fcb237903d4a93043f"
],
[
"p",
"af69ea53a8f8a39e332be10e2f1954edba2aabe860d1619c125769445c2eee7e"
],
[
"e",
"5c7fe5da3115467fb1526a7c9726eeb54739b1673c1d68a9def0c601b0d8693a",
"",
"reply",
"9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320"
],
[
"proxy",
"https://mathstodon.xyz/@MartinEscardo/116327772083986728",
"web"
],
[
"proxy",
"https://mathstodon.xyz/users/MartinEscardo/statuses/116327772083986728",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mathstodon.xyz/users/MartinEscardo/statuses/116327772083986728",
"pink.momostr"
],
[
"-"
]
],
"content": "It is absolutely fine not wanting to try it.\n\nBut then please stop saying things such as \"I don't think formalizing mathematics at all makes us think the right way\" or other claims about formalization.\n\nIf you want to speak with authority about formalization, then learn it first. And, yes, it is not easy or fast.",
"sig": "f560e7c86b8655fbd21404f26b03aaf617aec1100a0e619e43a6267d53bfb2087285562aaab1f534b6f725300549af9ff078aa6298ab8a783f31c5a671b64462"
}