elias001's latest activity
-
Eelias001 replied to the thread Insights Fermat's Last Theorem.@fresh_42 if memory serves me right, there was an article in Quanta magazine where Dusa McDuff was interviewed about the foundations of...
-
Eelias001 replied to the thread Insights Fermat's Last Theorem.@fresh_42 You should ask Terry Tao, Peter Scholze, and Tim Gowers for their opinions. Tao has used it in his online blog post. Sholze...
-
Eelias001 replied to the thread Insights Fermat's Last Theorem.@martinbn Here is a preprint paper. By the way, I am not sure if you are on X/twitter. If you had or have not been for awhile and...
-
-
Eelias001 replied to the thread Insights Fermat's Last Theorem.@martinbn the effort is lead by Kevin Buzzard. The goal is to use formalize Wiles proof by coding the entire proof using Lean 4's...
-
Eelias001 replied to the thread Insights Fermat's Last Theorem.@fresh_42 there is an ongoing effort to try to formalise Wiles' proof in Lean. It would be perfect for anyone who likes to gatekeep on...
-
Eelias001 replied to the thread I Trouble understanding an online solution to an exercise in Dummit & Foote.@fresh_42 I want to ask if the solutions that i posted from MSE which involved concepts from localisation, can the question be solved...
-
Eelias001 replied to the thread I Trouble understanding an online solution to an exercise in Dummit & Foote.@fresh_42 for my last point, seriously, can the question be solved rigoursly, spelled out in symbolic math notations with a minimal...
-
Eelias001 replied to the thread I Trouble understanding an online solution to an exercise in Dummit & Foote.@martinbn if there is a one-to-one correspondence, it implies there should be bijective maps ##f## and it's inverse ##f^{-1}##. I am...
-
Eelias001 replied to the thread I Trouble understanding an online solution to an exercise in Dummit & Foote.@fresh_42 actually in my original post, where in the quoted solution, the author stated: 'The prime ideals contained in...
-
Eelias001 replied to the thread I Determining isomorphism for ##\frac{R}{(a, b)}##.@fresh_42 you know in the third isomorphism ##(R/I)/(I/J)\cong R/J##, ##R=\Bbb{Z}[X], I=\langle X^2+1, X-2\rangle, J=\langle...
-
Eelias001 replied to the thread I Determining isomorphism for ##\frac{R}{(a, b)}##.@fresh_42 in my original post, in screenshot 2, where it says ##\bar{b}=\frac{(a,b)}{(a)}.\\\\## In the context of...
-
Eelias001 replied to the thread Insights Quantum Entanglement is a Kinematic Fact, not a Dynamical Effect.@dextercioby I am asking or am talking to @Greg Bernhardt in my reply. I asked as a lay person. My impression is Greg Bernhardt is an...
-
Eelias001 replied to the thread Learning Assembly and computer architecture for x86.@sbrothy I went through C, and now am going through the book Introduction to computing systems from bits & gates to C/C++ & beyond...
-
Eelias001 replied to the thread Learning Assembly and computer architecture for x86.@sbrothy thank you again.
-
Eelias001 replied to the thread Learning Assembly and computer architecture for x86.@sbrothy, @Rive and @FactChecker I think all three of you recommended me to try out microcontrollers/embedded systems. So say I wrong...
