Independent research in categorical logic, constructive topology and a bit of history. Refuse to use American IT giants.
Public Key
npub1ah0dumc3m7x4p9gau4fdwq0gexpfdf9dqmnxape6c5hkt9zv3nsqmr4tza Profile Code
nprofile1qqswmhk7dugalr2sj5w725khq85vnq5k5jksdenwsuav2tm9j3xgecqppamhxue69uhkummnw3ezumt0d5q3gamnwvaz7tmjv4kxz7fwv3sk6atn9e5k7t8gxs5
Show more details
Published at
2026-10-19T10:17:12Z Event JSON
{
"id": "cb0ecbce3bf89fb2a37851f0a590db85f43d540c2dd65055a354aeed6bf39a1e" ,
"pubkey": "eddede6f11df8d50951de552d701e8c98296a4ad06e66e873ac52f65944c8ce0" ,
"created_at": 1792405032 ,
"kind": 0 ,
"tags": [
[
"proxy",
"https://mathstodon.xyz/users/Paul_Taylor",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mathstodon.xyz/users/Paul_Taylor",
"pink.momostr"
],
[
"-"
]
],
"content": "{\"name\":\"Paul Taylor\",\"about\":\"Independent research in categorical logic, constructive topology and a bit of history. Refuse to use American IT giants.\\n\\nwebpage: www.paultaylor.eu\\nlocation: Birmingham, UK\\n\",\"website\":\"https://mathstodon.xyz/@Paul_Taylor\",\"nip05\":\"[email protected] \"}" ,
"sig": "a50ce1c35c6b125deb1cfa916bd4f104d8dc76df1ca50b9f5615e5ac94cc6f0587c3c8636e0942677f4e6e0a103a43eaf0d97513a6def5cb7a33f2917379937d"
}
Last Notes npub1ah0dumc3m7x4p9gau4fdwq0gexpfdf9dqmnxape6c5hkt9zv3nsqmr4tza Paul Taylor The "Lemma" wasn't Zorn's. Even in his paper it was an Axiom. The proof of the Lemma was by Kuratowski in 1922: see www.paultaylor.eu/trans/ which now finally has the whole of K's paper, npub1ah0dumc3m7x4p9gau4fdwq0gexpfdf9dqmnxape6c5hkt9zv3nsqmr4tza Paul Taylor England's canals were also abandoned, particularly after they were frozen in the hard winter of 1962-3. npub1ah0dumc3m7x4p9gau4fdwq0gexpfdf9dqmnxape6c5hkt9zv3nsqmr4tza Paul Taylor ἑξακόσιχωρον --- or should it be ἑξακόσιτοπον (hexakositope)? --- except that I never got the hang of accents in Ancient or Modern Greek. npub1ah0dumc3m7x4p9gau4fdwq0gexpfdf9dqmnxape6c5hkt9zv3nsqmr4tza Paul Taylor If it's "Platonic", let's give it the glorious Greek name that it deserves: ἑξακόσιεδρον (hexacosihedron)! npub1ah0dumc3m7x4p9gau4fdwq0gexpfdf9dqmnxape6c5hkt9zv3nsqmr4tza Paul Taylor I have been using email for 40 years. It used to work.