Who wants to be a logician? (anybody?)

  • Thread starter Thread starter Bourbaki1123
  • Start date Start date
Click For Summary
SUMMARY

This discussion centers on the interests of forum members in the field of logic, particularly focusing on proof theory, model theory, and category theory. Key topics include the Curry-Howard Isomorphism, applications of model theory to number theory and algebraic geometry, and the exploration of non-classical logics through lattices and posets. Participants express a desire to deepen their understanding of these areas, with specific references to classical model theory concepts such as saturation, compactness, and ultraproducts. The conversation highlights the intersection of logic with computer science, emphasizing its practical applications in areas like automatic theorem proving and formal verification.

PREREQUISITES
  • Understanding of proof theory, specifically the Curry-Howard Isomorphism.
  • Familiarity with classical model theory concepts such as saturation, compactness, and ultraproducts.
  • Knowledge of category theory and its applications in logic.
  • Basic concepts of algebraic geometry and its relationship with model theory.
NEXT STEPS
  • Study the Curry-Howard Isomorphism in detail to understand its implications in logic and computer science.
  • Explore classical model theory resources, particularly focusing on saturation and ultraproducts.
  • Research the applications of lattices and posets in non-classical logics and their algebraic semantics.
  • Investigate the role of category theory in logic, including categorical logic and toposes.
USEFUL FOR

This discussion is beneficial for mathematicians, logicians, computer scientists, and anyone interested in the theoretical foundations of logic and its applications in various fields, including mathematics and computer science.

  • #31
EkaterinaAvd said:
I just like a joke about logicians:

Three logicians are sitting in the restaurant.
A waitress asks: "Will everyone of you drink coffee?"

The 1st logician: "I don't know"
The 2nd logician: "I don't know"
The 3rd logician: "Yes"

I like that one. They should have stuck it in the dynamic epistemic logic text I bought.
 

Similar threads

Admissions Statement of purpose critique request (high-energy theory PhD)
  • · Replies 6 ·
Replies
6
Views
3K
Courses What math would I need? (physics-math double major interested in THEP)
  • · Replies 7 ·
Replies
7
Views
2K
Programs In need of advice: How do I become a mathematician?
  • · Replies 43 ·
2
Replies
43
Views
8K
Studying What to do in a gap year to prepare for a Physics + Math degree
  • · Replies 15 ·
Replies
15
Views
3K
Courses Math courses for Theoretical Condensed Matter
  • · Replies 3 ·
Replies
3
Views
2K
Schools Picking a concentration in grad school. .
  • · Replies 1 ·
Replies
1
Views
1K
Theoretical Computer Science from Math Background
  • · Replies 2 ·
Replies
2
Views
3K
Admissions Could I please get critique on my SOP? (Experimental Biophysics)
  • · Replies 8 ·
Replies
8
Views
965
Courses Is enrolling in a course for next semester wise if the topic....
  • · Replies 7 ·
Replies
7
Views
2K
Hey guys What course should I take? (Pure maths)
  • · Replies 12 ·
Replies
12
Views
3K