Someone suggested I put a finer point on it.
THE TRANSITION FUNCTION OF SOME DFA CAN BE DEFINED USING THE AXIOM OF CHOICE.
If you want to speak about computable functions on the space of DFAs, then you need to somehow rule this out, or you need to take account of it. I am not sure why this is so hard to imagine...
I'm not necessarily taking a position on how to deal with this. But you have to deal with it. LOL.
Jon Sterling
npub1hf…9ls8k
2025-02-16 19:08:26 UTC
Author Public Key
npub1hfga8wmley5fzqtttpeupd8hc6s92rykfmzktm8zfdhu9h8exvqsj9ls8kSeen on
wss://relay.mostr.pubPublished at
2025-02-16 19:08:26 UTCEvent JSON
{
"id": "647d4d5865b35b0cb5b77469a5998996322b58317ef10741905fc9604c165efd",
"pubkey": "ba51d3bb7fc92891016b5873c0b4f7c6a0550c964ec565ece24b6fc2dcf93301",
"created_at": 1739732906,
"kind": 1,
"tags": [
[
"proxy",
"https://mathstodon.xyz/users/jonmsterling/statuses/114015135766974388",
"activitypub"
]
],
"content": "Someone suggested I put a finer point on it.\n\nTHE TRANSITION FUNCTION OF SOME DFA CAN BE DEFINED USING THE AXIOM OF CHOICE.\n\nIf you want to speak about computable functions on the space of DFAs, then you need to somehow rule this out, or you need to take account of it. I am not sure why this is so hard to imagine...\n\nI'm not necessarily taking a position on how to deal with this. But you have to deal with it. LOL.",
"sig": "b650638968d762a8df9c16e0595c5d7ee73c907ccbd551811ba71cc701b630d825edb61a0ddd68dd67b57a1f4056b0f3eaabd428b1f7e487c8bcdeb9fe6ab807"
}