- #31
Bourbaki1123
- 326
- 0
EkaterinaAvd said:
I like that one. They should have stuck it in the dynamic epistemic logic text I bought.
Who wants to be a logician? (anybody?)
- Thread starter Bourbaki1123
- Start date
Click For Summary
Discussion Overview
The discussion revolves around participants' interests in logic, particularly in the context of becoming logicians. Topics include proof theory, model theory, algebraic geometry, and various aspects of logic such as set theory and computability theory. Participants share their current studies and aspirations within these fields.
Discussion Character
- Exploratory
- Technical explanation
- Conceptual clarification
- Debate/contested
Main Points Raised
- Some participants express a strong interest in proof theory, specifically the Curry-Howard Isomorphism, and its applications to model theory and algebraic geometry.
- Others mention their affinity for set theory and model theory, despite not having formal opportunities to study these areas extensively.
- There are discussions about the relevance of lattices and posets in model theory, particularly in alternative logics, with some participants sharing their experiences and knowledge in these areas.
- One participant expresses doubts about the abstract nature of their studies in logic, suggesting a potential shift towards physics, while others argue for the applicability of logic in fields like computer science and automatic theorem proving.
- Some participants share their plans to pursue algebraic geometry or category theory, indicating a broader interest in mathematical logic and its intersections with other disciplines.
- There is mention of specific constructions, such as canonical extensions, and their implications for non-classical logics, highlighting ongoing learning and exploration among participants.
Areas of Agreement / Disagreement
Participants generally share a common interest in logic and its various branches, but there are differing opinions on the relevance and application of certain areas, such as the relationship between logic and physics, and the importance of model theory versus category theory. The discussion remains unresolved regarding the best paths to pursue within the field of logic.
Contextual Notes
Some participants express uncertainty about their knowledge and experience in specific areas of logic, indicating that their understanding may be limited or dependent on further study. There are also references to the challenges of balancing coursework and personal interests in advanced topics.
Similar threads
- · Replies 7 ·
- · Replies 7 ·
- · Replies 43 ·
- · Replies 15 ·
- · Replies 3 ·
- · Replies 1 ·
- · Replies 2 ·
- · Replies 9 ·
- · Replies 7 ·
- · Replies 12 ·