Timeline for Formalizations of unsolved problems
Current License: CC BY-SA 4.0
11 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Mar 24, 2022 at 5:21 | comment | added | Reubend | Thanks Jason, your description (giving examples like the Riemann hypothesis) is exactly what I meant, so I'll edit my question to add that for clarity. | |
Mar 24, 2022 at 5:20 | history | edited | Reubend | CC BY-SA 4.0 |
clarified what I mean by "unsolved problems"
|
S Mar 23, 2022 at 19:27 | history | suggested | Rob |
Added recommendations tag.
|
|
Mar 23, 2022 at 17:21 | review | Suggested edits | |||
S Mar 23, 2022 at 19:27 | |||||
Mar 22, 2022 at 17:05 | history | became hot network question | |||
Mar 22, 2022 at 16:52 | answer | added | Andrej Bauer | timeline score: 10 | |
Mar 22, 2022 at 13:02 | comment | added | Jason Rute | I made a discussion on meta: What is wrong with the question "Formalizations of unsolved problems"? | |
Mar 22, 2022 at 12:45 | comment | added | Jason Rute | @GuyCoder I wouldn’t vote to close. It is a legitimate question. Maybe a bit more clarification could be added, but it isn’t unreasonable to think that someone started a formal library of open problems in mathematics. | |
Mar 22, 2022 at 12:22 | comment | added | Jason Rute | This question is related: Libraries of formally stated theorems with proofs verified by humans. But if I understand correctly you want problems which haven’t been solved by any mathematician (like the Reimann hypothesis), whereas that question just wants problems which haven’t been proved formally in that system (like Fermat’s Last Theorem). | |
Mar 22, 2022 at 12:16 | comment | added | Jason Rute | @GuyCoder I don’t think it is that open ended as the answer is likely there isn’t one. | |
Mar 22, 2022 at 6:26 | history | asked | Reubend | CC BY-SA 4.0 |