Let’s look into amazing history behind Hilbert’s 7th problem and another similar question. I show one of the most exciting non- constructive proof !
Code for this video Manim animations:
https://github.com/univalency/Manim-a...
(00:00) - Intro
(00:13) - Hilbert's 7th problem
(00:54) - Gelfond- Schneider Theorem
(01:51) - Back to our question
(02:17) - Gregory Galperin amazing poof
(04:06) - A straightforward solution
#hilbert
#algebra