Oh wow! I wouldn't have expected this so many years later. Mordel's conjecture implies asva special case that for all n>=4 there are only a finite number of solutions to Fermat's equations with relative prime numbers.
Brings me back!
> Mordel's conjecture implies as a special case that for all n>=4 there are only a finite number of solutions to Fermat's equations with relative prime numbers
I just learnt that fact from Wikipedia's article on Mordel's conjecture (now Faltings' theorem), was curious whether the theorem could be strengthened to obtain a full proof of Fermat’s Last Theorem (FLT) that is genuinely different from the Taylor–Wiles proof (or its later variants) and so asked an AI (in this case Grok via Twitter).
Grok correctly told me "no it's not possible", but then surfaced (as an aside) a nice expository article on the Taylor–Wiles proof by Faltings from AMS notices in July 1995, which I thought I'd share here:
Interesting! I am building a spreadsheet and the next few months will be building the collaborative side of it. I think many of the things that work for text don't necessarily translate for spreadsheets.
We made a spreadsheet on top of OT several years ago. Most OT related documentation doesn't talk about how to do this. But it worked pretty well for us.
Well, I just jumped full time on IronCalc[1] a fully open source, light and fast spreadsheet engine designed and build from the ground up.
I have been working on it as side project for over two years and now, with funding from the EU for the next 2.5 years, I hope I can make of it a real product for everyone to use that can compete with the likes of Excel and Googl;e Sheets.
Looking at it and very excited. In unsupported features, charting is mentioned. Could there be any value in not directly implementing the drawing of charts, but tie in to other open source library? Just curious of your thinking.
First we got a grant from the NLnet[1], which I highly recommend as a first step of any project. Single best thing I could have done. That wasn't enough money for me to quit my job. Also I didn't have any _evidence_ that IronCalc was a good idea or that there was a market for it. Then evidence started pouring and I kept working. I started talking to different folks, lots of people many of those were contacts through the NLnet. Then the folks from NextGraph[2] approached us and asked, "Hey do you want to be part of this consortium [3]?". Eventually we got a HORIZON grant after a lot of sweat and paperwork, but NextGraph took the brunt of it.
As you see there is a huge component of sheer luck
The "engine" is the computational part of it. And it is completely separted from the UI. You can use it from Rust, Python, nodejs or from the browser and eventually from a destop app.
The important thing is that is all those cases the engine is the same. I
Mir titles is a feeling. It's nostalgia. It's childhood for many including me.
The books are excellent written by some of the finest of their times talking to the lowest highschool level student or even a child and making him or her understand fully what all is going on. Indians love Mir.
My favorite author is Landsberg. He is in Mir titles. He got defeated by our main man C V Raman by 2 weeks to publish the same research (independently) which got C V Raman the only Physics Nobel Prize for India.
https://github.com/ironcalc/TironCalc
reply