Who wants to be a logician? (anybody?)

  • Thread starter Thread starter Bourbaki1123
  • Start date Start date
Click For Summary
The discussion revolves around members' interests in logic and its various branches, including proof theory, model theory, and algebraic geometry. Participants express a strong affinity for topics like the Curry-Howard Isomorphism, set theory, and non-classical logics, while sharing their experiences and aspirations in these fields. There is a notable interest in the applications of logic in computer science, particularly in areas like automatic theorem proving and computational complexity. Some contributors express doubts about the relevance of their pursuits, questioning the abstract nature of logic compared to more applied fields like physics. Overall, the thread highlights a shared enthusiasm for exploring the complexities of logic and its intersections with other mathematical disciplines.
  • #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
7K
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
757
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