PROMYS Europe application problem set by Ciro Santilli 35 Updated 2024-12-15 +Created 2024-07-12
- www.whatdotheyknow.com/request/maths_papers asked but didn't upload...
- www.whatdotheyknow.com/request/oxford_mathematics_prelims_past from 2021 asked for prelims only but no upload
@cirosantilli/_file/gmp/gmp/hello.c by Ciro Santilli 35 Updated 2024-12-15 +Created 2024-07-12
This one was a huge advance it seems.
These are pretty cool, they are basically a laser
Under: gmp.
The structure seems to be: come every day for 6 weeks, one problem sheet per day. Go.
Strongly against giving answer to problem sets... sad, as of 2024: promys-europe.org/students/faq (archive):and:It does not seem to be the case for the American version however after a quick look: promys.org/programs/promys/for-students/faq/. Sad to see.
When do I get the solutions to the problems on the problem sets?When you discover them for yourself: on your own or collaborating with other students. Returning students and counsellors and faculty will support and encourage you, but not by giving you the answers (hint: they don't even give hints). What PROMYS Europe does is offer you the tools and structure to enable you to be a creative mathematician.
What rules are there at PROMYS Europe?They're mostly the ones you'd expect: don't do anything dangerous or illegal, don't divide by zero, don't even try to skip Friday Fun, and don't give anyone solutions to the problem sets (though collaboration is definitely OK).
Also participants are strongly forbidden from sharing the problem sheets with anyone from outside the program. Ciro Santilli asked a participant face to face if he could take a look, but was told that they are not allowed to share it. So it is a very clear and strict order. Truly sad.
GNU Multiple Precision Arithmetic Library by Ciro Santilli 35 Updated 2024-12-15 +Created 2024-07-12
They are apparently provided upon request as per various whatdotheyknow.com links, so it is quite stupid that they don't just publicly provide them therefore.
List of arbitrary-precision arithmetic sofware by Ciro Santilli 35 Updated 2024-12-15 +Created 2024-07-12
Undecidability requires infinitely many inputs by Ciro Santilli 35 Updated 2024-12-15 +Created 2024-07-12
If there are infinitely many inputs, we can always construct a (potentially exponentially huge) Turing machine that hardcodes the outcome for every possible input, so the problem is never undecidable.
The problem is of course deciding and proving the outcome for each possible input, notably as it is possible that calculation for some of the inputs may be independent from ZFC.
Unlisted articles are being shown, click here to show only listed articles.