npub1knzsux7p6lzwzdedp3m8c3c92z0swzc0xyy5glvse58txj5e9ztqpac73p (npub1knz…c73p) npub1zverf7mum6gjapqm7g8jc06e9luwjcgrzu5fdvq5acaxmz6nwjrqj439hz (npub1zve…39hz)
insane approach? really?
give me a better approach to understand \( \overline{\mathbb{F}_2} \).
it's a beautiful paper if you ever really want to understand Galois theory.
try to prove every statement Conway made in ONAG about \( On_2 \) being the algebraic closure of \( \mathbb{F}_2 \) (or give them as exercises to your better students)
Lenstra went way beyond that in the late 70ties (i think he was a visiting scholar at IHES at the time)
Probably he had to hardcode things, and because of the limited computing power at the time, he could not even approach stage 47.
An eternity ago, i did a post on this, slightly extending his scope (up to level 67)
http://www.neverendingbooks.org/on2-extending-lenstras-list
The best result I know of is by Aaron Siegel, see his book 'Combinatorial Game Theory' or my preview post on it
http://www.neverendingbooks.org/aaron-siegel-on-transfinite-number-hacking
He was able to push things up to level 293, but had to skip 4 levels because calculations seemed to take forever.
it is quite a humbling experience that even the simplest (and in applications the most valuable) of all algebraic closures is still way beyond our reach.
Later Lenstra and Bart de Smit gave another approach to the "Standard Model of Finite Fields"
http://www.damtp.cam.ac.uk/user/na/FoCM/FoCM08/Talks/Lenstra.pdf
lieven le bruyn /
npub1tk…28fhc
2023-10-07 15:44:12
in reply to nevent1q…27kl
Author Public Key
npub1tk245cnlxnjc70yk702f7dry9uvs8375982emkgq7u3dkjq97xvsf28fhcPublished at
2023-10-07 15:44:12Event JSON
{
"id": "ffa793e70b8e2d906d2b22749b0cea6548973058861efe4e85e02487462428b1",
"pubkey": "5d955a627f34e58f3c96f3d49f34642f1903c7d429d59dd900f722db4805f199",
"created_at": 1696693452,
"kind": 1,
"tags": [
[
"p",
"b4c50e1bc1d7c4e1372d0c767c4705509f070b0f3109447d90cd0eb34a992896",
"wss://relay.mostr.pub"
],
[
"p",
"133234fb7cde912e841bf20f2c3f592ff8e96103172896b014ee3a6d8b537486",
"wss://relay.mostr.pub"
],
[
"p",
"cffea582645e8e40588309b22892b7d9f56a96708ef8aecae07973f75f892df9",
"wss://relay.mostr.pub"
],
[
"p",
"f7346eb283902ada9d21c109a93e83128d9f87d8fcfe70ad819b3bf2ad9bce16",
"wss://relay.mostr.pub"
],
[
"e",
"93091a19ce3b6646e45a6773532963f499c3547d68c178f52ffdb1dce513974c",
"wss://relay.mostr.pub",
"reply"
],
[
"proxy",
"https://mathstodon.xyz/users/lievenlebruyn/statuses/111194502127783159",
"activitypub"
]
],
"content": "nostr:npub1knzsux7p6lzwzdedp3m8c3c92z0swzc0xyy5glvse58txj5e9ztqpac73p nostr:npub1zverf7mum6gjapqm7g8jc06e9luwjcgrzu5fdvq5acaxmz6nwjrqj439hz \n\ninsane approach? really? \n\ngive me a better approach to understand \\( \\overline{\\mathbb{F}_2} \\).\n\nit's a beautiful paper if you ever really want to understand Galois theory.\n\ntry to prove every statement Conway made in ONAG about \\( On_2 \\) being the algebraic closure of \\( \\mathbb{F}_2 \\) (or give them as exercises to your better students)\n\nLenstra went way beyond that in the late 70ties (i think he was a visiting scholar at IHES at the time)\n\nProbably he had to hardcode things, and because of the limited computing power at the time, he could not even approach stage 47.\n\nAn eternity ago, i did a post on this, slightly extending his scope (up to level 67)\nhttp://www.neverendingbooks.org/on2-extending-lenstras-list\n\nThe best result I know of is by Aaron Siegel, see his book 'Combinatorial Game Theory' or my preview post on it\nhttp://www.neverendingbooks.org/aaron-siegel-on-transfinite-number-hacking\n\nHe was able to push things up to level 293, but had to skip 4 levels because calculations seemed to take forever.\n\nit is quite a humbling experience that even the simplest (and in applications the most valuable) of all algebraic closures is still way beyond our reach.\n\nLater Lenstra and Bart de Smit gave another approach to the \"Standard Model of Finite Fields\"\nhttp://www.damtp.cam.ac.uk/user/na/FoCM/FoCM08/Talks/Lenstra.pdf",
"sig": "8ccceb350c4f34fade35fd15c37fd48fa2848c4b95d30e101dbd220a6286ec9c8897a225aa819aeca27df46e1624e648f24114e7e2d376e659dc56e1dae04814"
}