Hilbert's tenth problem is decidable for quadratic equations Updated 2024-12-15 +Created 2024-07-12
TODO is it or is not:
- mathoverflow.net/questions/207482/algorithmic-un-solvability-of-diophantine-equations-of-given-degree-with-given
- math.stackexchange.com/questions/181380/second-degree-diophantine-equations
- mathoverflow.net/questions/142938/is-there-an-algorithm-to-solve-quadratic-diophantine-equations
- math.stackexchange.com/questions/798609/is-there-any-solution-to-this-quadratic-diophantine-equation
mathoverflow.net/questions/11540/what-are-the-most-attractive-turing-undecidable-problems-in-mathematics/11557#11557 contains a good overview of the decidability status of variants over rings other than the integers.
Decidability of Hilbert's tenth problem of a given degree and number of variables Updated 2024-12-15 +Created 2024-07-12
Decidability of Hilbert's tenth problem in modular arithmetic Updated 2024-12-15 +Created 2024-07-12
www.jstor.org/stable/1970438 says for prime modulo there is an algorithm.
Question for non-prime modulo: math.stackexchange.com/questions/4944623/are-diophantine-equations-decidable-in-modular-arithmetic
TODO wtf is a "totient"? Where else is that word used besides in this concept?
E.g. International Mathematical Olympiad, International Physics Olympiad, competitive programming, etc.
Events that trick young kids into thinking that they are making progress, but only serve to distract them from what really matters, which is to dominate a state of the art as fast as possible, contact researches in the area, and publish truly novel results.
Financially backed by high schools trying to make ads showing how they will turn your kids into geniuses (but also passionate teachers who fell into this hellish system), or companies who hire machines rather than entrepreneurs.
The most triggering thing possible is when programming competitions don't release their benchmarks as open source software afterwards: at least like that they might help someone to solve their real world problems. Maybe.
On a related note, hackathons are also mostly useless. Instead of announcing a hackathon, just announce a web forum where people with similar interests can talk to one another instead, and let them code it out on GitHub if they want to. Restricting intensive development to a few days tends to produce crappy code and not reach real goals.
Some irrelevant people highlight that knowledge Olympiads can have good effects, because they are "an opportunity to meet university teachers and their research organizations". Ciro's argument is just that there are much more efficient ways to achieve those goals.
As an alternative way to get into university, this is not 100% horrible however, e.g. the University of São Paulo accepted students from olympiads in 2019 and then again 2023: jornal.usp.br/institucional/usp-oferece-200-vagas-em-mais-de-100-cursos-de-graduacao-para-alunos-participantes-de-olimpiadas-do-conhecimento/?a
Unlike over non-commutative rings, polynomials do look like proper polynomials over commutative ring.
In particular, Hilbert's tenth problem is about polynomials over the integers, which is a commutative ring, and therefore brings mindshare to this definition.
In this section we collect results about algebraic equations over more "exotic" fields
The output was also uploaded to: commons.wikimedia.org/wiki/File:DFT_2sin(t)_%2B_sin(4t).svg and added to en.wikipedia.org/w/index.php?title=Discrete_Fourier_transform&oldid=1176616763 only to be later removed of course: Deletionism on Wikipedia.
_%2B_sin(4t).svg){kind=link}
DFT of with 25 points
. Source code at: numpy/fft_plot.py. There are unlisted articles, also show them or only show them.