- okay, thanks!
So your theory is that the sentence
"With this definition, the usual elementary functions are exactly the function that are elementary over the field of the rational functions"
is using "usual elementary functions" to mean "usual elementary functions - according to those who have proposed extending the set of elementary functions to a much larger set"?
John Carlos Baez
npub1nf…3nqe4
2026-04-16 01:27:31 UTC
in reply to nevent1q…suqz
Author Public Key
npub1nf4p4rh06z6n6lsvje4txk7eqs23y3hs8vd7nraq6tgwady5qvsqy3nqe4Published at
2026-04-16 01:27:31 UTCEvent JSON
{
"id": "9fbebd4969e35ca89732431a3bc470575db9335e422acaddac342ae4f22b275e",
"pubkey": "9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320",
"created_at": 1776302851,
"kind": 1,
"tags": [
[
"proxy",
"https://mathstodon.xyz/@johncarlosbaez/116411783658716070",
"web"
],
[
"e",
"b26981ea48f9855010a33c4cc1720b9d09803004227694257b652e8b8f134235",
"",
"reply",
"378fb8535da3c841fdebd0966e5a16f3d21d4e988b925e471f2d8fdf2345d2e9"
],
[
"p",
"9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320"
],
[
"p",
"378fb8535da3c841fdebd0966e5a16f3d21d4e988b925e471f2d8fdf2345d2e9"
],
[
"e",
"49ea28cd7589b20039ed49a71de33838161755e0b477ae20bce592b4bb0e1190",
"",
"root",
"8b43e134ed66eccdb6ceb8acbeb01a61b39ad84bb6e0db19723e9cb1de69ee4b"
],
[
"p",
"8b43e134ed66eccdb6ceb8acbeb01a61b39ad84bb6e0db19723e9cb1de69ee4b"
],
[
"proxy",
"https://mathstodon.xyz/users/johncarlosbaez/statuses/116411783658716070",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mathstodon.xyz/users/johncarlosbaez/statuses/116411783658716070",
"pink.momostr"
],
[
"-"
]
],
"content": "- okay, thanks! \n\nSo your theory is that the sentence \n\n\"With this definition, the usual elementary functions are exactly the function that are elementary over the field of the rational functions\" \n\nis using \"usual elementary functions\" to mean \"usual elementary functions - according to those who have proposed extending the set of elementary functions to a much larger set\"?",
"sig": "39c8492e337ee2750478f4d3b34c5eef14273b2e391f674e5b942a7ebae4be7099b514f424bc5e825ade65e88108d16e79097f865442276c2818b94483dd5493"
}