- thanks! A friend just pointed me to a blog article by Robert Smith that tries to use Galois theory to show Odrzywołek can't get all elementary functions in the way he claims:
https://www.stylewarning.com/posts/not-all-elementary/
However, it seems to use a very broad definition of "elementary function" that includes solving quintic equations... not what I'd call elementary functions!
John Carlos Baez
npub1nf…3nqe4
2026-04-16 00:39:27 UTC
in reply to nevent1q…l4x2
Author Public Key
npub1nf4p4rh06z6n6lsvje4txk7eqs23y3hs8vd7nraq6tgwady5qvsqy3nqe4Published at
2026-04-16 00:39:27 UTCEvent JSON
{
"id": "52323d7f3db866215454cedbc36432ad90ad89a4f93e72f4eaf9f2d56ba04e46",
"pubkey": "9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320",
"created_at": 1776299967,
"kind": 1,
"tags": [
[
"proxy",
"https://mathstodon.xyz/@johncarlosbaez/116411594700217564",
"web"
],
[
"p",
"9a6a1a8eefd0b53d7e0c966ab35bd904151246f03b1be98fa0d2d0eeb4940320"
],
[
"e",
"49ea28cd7589b20039ed49a71de33838161755e0b477ae20bce592b4bb0e1190",
"",
"root",
"8b43e134ed66eccdb6ceb8acbeb01a61b39ad84bb6e0db19723e9cb1de69ee4b"
],
[
"e",
"a2e4842f09aeb523c7e41e04037d8a68a75828cbdfa06dcb3d63726482d5e7cb",
"",
"reply",
"8b43e134ed66eccdb6ceb8acbeb01a61b39ad84bb6e0db19723e9cb1de69ee4b"
],
[
"p",
"8b43e134ed66eccdb6ceb8acbeb01a61b39ad84bb6e0db19723e9cb1de69ee4b"
],
[
"proxy",
"https://mathstodon.xyz/users/johncarlosbaez/statuses/116411594700217564",
"activitypub"
],
[
"L",
"pink.momostr"
],
[
"l",
"pink.momostr.activitypub:https://mathstodon.xyz/users/johncarlosbaez/statuses/116411594700217564",
"pink.momostr"
],
[
"-"
]
],
"content": "- thanks! A friend just pointed me to a blog article by Robert Smith that tries to use Galois theory to show Odrzywołek can't get all elementary functions in the way he claims:\n\nhttps://www.stylewarning.com/posts/not-all-elementary/\n\nHowever, it seems to use a very broad definition of \"elementary function\" that includes solving quintic equations... not what I'd call elementary functions!",
"sig": "e30e878bdf42ae02d00c7f7dc2a1542d7a311fdc1aa15d44b283b5ea15d19ab0e5c1d2fb2890022395b4dab4ecb57aa5e5d36647a4448912e60e0f1fa2fd7480"
}