Recent content by elias001

@martinbn I am not ignoring your post. To fill in the details of your post requires me to solve some of the questions of the original MSE author's answers. Your solution allows one to weasel their way out of having to make direct of use of localization,but that is towards the very end. Your...

I don't know if the following is consider to be lame joke. It has a lot of cliche and cultural stereotypes, but it is for all the anime fans on here.

@martinbn you said I keep complaining because I never seem satisfied. I got the impression because I was not being precise enough with my questions or I did not provide enough details.

@Mark44 I really appreciate the offer. I want to first trying it out writing assembly with the Masm32 SDK and emu8088 emulator first. I have a feeling it is not directly interacting with the hardware or much less so than Visual Masm. If I run into any problems, I will either DM you or create...

Screenshot 1 @fresh_42 In the MSE author's solution, where he said 'The prime ideals contained in ##\mathfrak{p}## correspond 1:1 to the prime ideals in the localization ##R_{\mathfrak{p}}##' Does he mean theorem 3.3.15 in the first screenshot? Also when i said if the problem can solve...

Screen shot 1 Screenshot 2 Screen shot 3 @fresh_42 in the above three screenshots. The first one has to do with Zariski and Samuel's passage. From the bottom of the page count up nine lines, where it starts with 'Since every element of ##f'(\bar{M})(=f(M))## is a unit in ##S,## the...

@Mark44 I did start with Little computer 3, is moving behind it that I am not sure about. Also I meant RC.exe not TC.exe. I asked Google, apparently RC.exe has to do with redource compiler.

@Mark44 I edited my post to make the screenshots full image. Visual Masm also asks for Link.exe, RC.exe, and lib.exe. I don't have visual studio installed. When I asked Google, it tells me I need to look into my visual studio C++ directory. That sounds super complicated. I don't know what...

@Rive I know i am coming across as a total noob. That is ok, I admit I am one. I just don't want to accidentally break anything. Also, if I were to try it woth microcontrollers, would there be a chance I might break something because of some careless coding mistakes? That is why maybe I...

@sbrothy @Rive @FactChecker Sorry I have not replied. I was trying to get macro assembler 6 to run on windows 7 with dosbox. I was not having any success. Anyways, I installed Visual Masm. But it installed even though it kept pestering me about where my MASM 32 sdk is located and asked me for...

@fresh_42 here is the list of courses that have used Lean. Before you raised more objections, there are increasingly more engineering disciplines that are making use of algebraic geometry. Those fields are robotics, aresospace engineering, plasma fusion research and anything that has to do...

@fresh_42 it might be more than just a nice project. Imagine in the near future, anyone want fmto submit articles to a math journal is required to first formalise any theorems in their paper in Lean, and see if it passes muster according to Lean, then submit the article along with the Lean...

@martinbn I think for everyone else's and their prosterity's sake and their peace of mind, that every little details however minor are checked out.

@martinbn @fresh_42 Here was Buzzzard's talk that is referred to in my previous reply. And here is his recent talk on formalizing Fermat in Lean.

@fresh_42 if memory serves me right, there was an article in Quanta magazine where Dusa McDuff was interviewed about the foundations of Sympletic geometry rests not on firm grounding. Sometimes later, Kevin Buzzard gave a talk about Lean and its role as a proof checker, mentioned the Quanta...