Discussion Overview
The discussion revolves around current open problems and trends in pure logic research, specifically in areas such as model theory, proof theory, and philosophical logic. Participants inquire about what researchers are currently focusing on and seek resources that outline these open problems.
Discussion Character
- Exploratory, Debate/contested
Main Points Raised
- One participant asks about the current open problems in logic, particularly in model theory, proof theory, and philosophical logic, and what trends are emerging in research.
- Another participant suggests that the forum may not be the best place to find answers due to the limited number of logicians present, recommending that others check the web pages of mathematicians for their research interests.
- A participant expresses curiosity about what researchers are paying more attention to in the field.
- There is a mention of a user, referred to as "honestwater," who specializes in logic, implying that they may have insights on the topic.
- Another participant speculates about the gender of "honestwater" and notes their absence from recent discussions, suggesting private messaging as a way to reach out.
Areas of Agreement / Disagreement
The discussion does not reach a consensus on specific open problems or trends in logic research, and multiple viewpoints regarding the best sources of information are presented.
Contextual Notes
Participants express uncertainty about the availability of information on open problems in logic and the relevance of the forum for such inquiries.