I just noticed that synthetic computability is my go-to idea for birthday presents. My paper on fixed-point theorems was for the Lawvere-Freyd issue of Tbilisi journal https://doi.org/10.1515/tmj-2017-0107, the continuity theorems for Dieter Spreen's issue of Logic & Analysis https://arxiv.org/abs/2307.07830 (why hasn't that been published yet?!), and now with nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqgghn98exryrkzag8ezwzjznw95gd7n6vdr30zddj5tgetjqpzjdsa5nf5n (nprofile…nf5n) we're cooking up Turing reductions for Jaap van Oosten's symposium in Amsterdam.
So people, if you want to see more progress in synthetic computability, you'll have to celebrate some birthdays.
Andrej Bauer /
npub1gp…tzrxg
2025-02-11 13:12:00
Author Public Key
npub1gpkd59s9m8v4k83e57pj0sufrta69whv6v9q9dqreyqwd5lehdvqutzrxgPublished at
2025-02-11 13:12:00Event JSON
{
"id": "cc5599904b500dac75bdc2942548ebaec950583c41473fd6f5265965c303a8b7",
"pubkey": "406cda1605d9d95b1e39a78327c3891afba2baecd30a02b403c900e6d3f9bb58",
"created_at": 1739279520,
"kind": 1,
"tags": [
[
"p",
"422f329f261907617507c89c290a6e2d10df4f4c68e2f135b2a2d195c801149b",
"wss://relay.mostr.pub"
],
[
"p",
"d5c772b9ec01c40e2cff1de8fa4a7967c1aa7faa8f54ffebf8cfa6f5e209b2f9",
"wss://relay.mostr.pub"
],
[
"proxy",
"https://mathstodon.xyz/users/andrejbauer/statuses/113985422668802815",
"activitypub"
]
],
"content": "I just noticed that synthetic computability is my go-to idea for birthday presents. My paper on fixed-point theorems was for the Lawvere-Freyd issue of Tbilisi journal https://doi.org/10.1515/tmj-2017-0107, the continuity theorems for Dieter Spreen's issue of Logic \u0026 Analysis https://arxiv.org/abs/2307.07830 (why hasn't that been published yet?!), and now with nostr:nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqgghn98exryrkzag8ezwzjznw95gd7n6vdr30zddj5tgetjqpzjdsa5nf5n we're cooking up Turing reductions for Jaap van Oosten's symposium in Amsterdam.\n\nSo people, if you want to see more progress in synthetic computability, you'll have to celebrate some birthdays.",
"sig": "2ceffa31d13e247871d7f39f5e4ba406257c962ee3a459cd2e9e875fc173d05d2fce239574220f7f354655d1f14f9b6c822f684aebce91430f1602ea10a92a85"
}