Timeline for What are some important but still unsolved problems in mathematical logic?
Current License: CC BY-SA 4.0
24 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 24 at 3:37 | history | edited | Daniel Asimov | CC BY-SA 4.0 |
grammar
|
| Apr 9, 2019 at 0:30 | review | Close votes | |||
| Apr 9, 2019 at 6:03 | |||||
| Jan 11, 2019 at 4:23 | history | edited | Michael Hardy | CC BY-SA 4.0 |
edited body
|
| Jun 14, 2017 at 9:16 | answer | added | Saeed Salehi | timeline score: 13 | |
| Dec 30, 2015 at 19:12 | comment | added | Noah Schweber | @Thomas That doesn't really seem relevant - amongst the Millenium Problems, only P vs. NP is conceivably a logic problem, and it's already listed in none's answer below. | |
| Dec 30, 2015 at 11:38 | comment | added | Thomas | en.wikipedia.org/wiki/Millennium_Prize_Problems | |
| Dec 29, 2015 at 0:49 | answer | added | Carl Mummert | timeline score: 12 | |
| Dec 29, 2015 at 0:16 | comment | added | FNH | I was not stating that it was answered. I was "asking" as I'm by no means an expert. @JoelDavidHamkins I will ask more specific questions later on. | |
| Dec 29, 2015 at 0:07 | answer | added | Joseph Van Name | timeline score: 12 | |
| Dec 28, 2015 at 22:53 | comment | added | Joel David Hamkins | The current question is hopelessly broad. I think that much more focussed questions would get more useful and illuminating answers: What are the main open questions guiding research in the Turing degrees? What are the main open questions for cardinal characteristics of the continuum? For forcing axioms? Concerning the very largest large cardinals? What are the main open questions in o-minimality? In models of arithmetic? And so on. Let me add that the suggestion in the current post that perhaps "all the major open questions [in mathematical logic] have been already answered" is frankly absurd. | |
| Dec 28, 2015 at 22:36 | comment | added | FNH | @JoelDavidHamkins, I agree but I think that dividing the question to many sub-questions posting each one in a new thread will be annoying to the community so I preferred to post it in one thread here. Do you think that If I want more details on a particular topic (say higher order logics), then should I post a new question? | |
| Dec 28, 2015 at 4:32 | answer | added | none | timeline score: 22 | |
| Dec 28, 2015 at 2:32 | history | edited | Gerry Myerson |
edited tags
|
|
| Dec 27, 2015 at 20:42 | answer | added | Fedor Petrov | timeline score: 22 | |
| Dec 27, 2015 at 20:37 | answer | added | Andrej Bauer | timeline score: 26 | |
| Dec 27, 2015 at 20:30 | comment | added | Joel David Hamkins | I believe that this question may be much too broad to answer sensibly. The field of mathematical logic is sweepingly broad, and even small parts of it, say, large cardinal set theory, have a dozen or more huge research programs going on, each with dozens or more open questions that are framing current work. And it is the same with most other topics in logic that you mention. Every one of them has numerous major and minor open questions on which people are hard at work, hundreds of questions altogether. A proper answer to the question will fill a book! | |
| Dec 27, 2015 at 19:53 | comment | added | Timothy Chow | You might want to look at Saharon Shelah's "Logical dreams," although this is more about set theory than logic. arxiv.org/abs/math/0211398 He also wrote a sequel, "Reflecting on logical dreams," in the book Interpreting Goedel (ed. Juliette Kennedy). | |
| Dec 27, 2015 at 19:43 | answer | added | Timothy Chow | timeline score: 11 | |
| Dec 27, 2015 at 19:10 | answer | added | Noah Schweber | timeline score: 82 | |
| Dec 27, 2015 at 16:43 | review | Close votes | |||
| Dec 27, 2015 at 22:45 | |||||
| Dec 27, 2015 at 15:22 | history | made wiki | Post Made Community Wiki by Todd Trimble | ||
| Dec 27, 2015 at 15:01 | answer | added | Sylvain JULIEN | timeline score: 12 | |
| Dec 27, 2015 at 14:18 | review | First posts | |||
| Dec 27, 2015 at 14:35 | |||||
| Dec 27, 2015 at 14:15 | history | asked | FNH | CC BY-SA 3.0 |