9
$\begingroup$

I would like to know what areas of mathematic are directly related to mathematical logic, besides the usual courses on model theory, proof theory and computability. If you suggest only one book on each subject that will be great. I prefer the books to be formal, concise and to the point( Rudin style).

  • Combinatorics and graph theory: Does a logic student need to know anything about enumeration? If so to what extent.
  • Algebraic geometry: I know model theory has been applied to solve some problems in algebraic geometry, but is there any application of AB in logic? Or it only can serve as a source of inspiration?
  • Number theory: Is knowing elementary number theory sufficient?
  • Toposes and sheaves: I don't know anything about sheaves and toposes. I only know some basic category theory. I know they are important for further studies in logic but they appear in different areas of math, i.e. algebraic topology , algebraic geometry and geometry. What is the best approach to learn about them?
  • Geometry: I've had some courses in differential geometry and theory of manifolds. But they don't seem to be related. Maybe synthetic geometry would've been a more suitable course to take.
  • Algebra(not algebraic logic ) : Paul Cohen, a logician, if I'm not mistaken have some theorems in algebra. Why!? how are logic and algebra related? Thanks for your patience!
$\endgroup$
  • 1
    $\begingroup$ First read this guide: logicmatters.net/tyl $\endgroup$ – Graduate Aug 12 '14 at 23:43
  • 3
    $\begingroup$ Paul Cohen, by trade, was actually an analyst. $\endgroup$ – Kyle Aug 12 '14 at 23:48
  • 2
    $\begingroup$ Also, Cohen is one of the most widespread Jewish names. $\endgroup$ – Asaf Karagila Aug 13 '14 at 0:43
  • $\begingroup$ You should know as much mathematics as you can, subject to learning enough mathematical logic. (1) Many theorems in logic come from knowledge and techniques introduced first in other areas of math, but equally importantly: (2) as a colleague once quoted: "if you want to work in a mathematics department you need to be able to talk to mathematicians". If you have another specialty in addition to logic, even if it is not as well developed, you can use this to your advantage when you apply for jobs. This is particularly important if you are applying for jobs in logic in the U.S. $\endgroup$ – Carl Mummert May 30 '18 at 14:35
4
$\begingroup$

How much mathematics should a student of mathematical logic know?

A student at what level? At introductory and intermediate levels, you need little specific mathematical background, just the ability to follow mathematical proofs.

And in general, I'd say that you can get quite a long way studying various areas of mathematical logic picking up what you about other bits of mathematics on a need-to-know basis. Thereafter, it rather depends on what areas you get most interested in. For example, at one end of the spectrum, model theory gets entangled with serious algebra; while towards the other end of the spectrum, my sense is that recursion theory can be pursued a long way without requiring a rich background in other areas of mathematics.

You mention category theory. That seems to me a special case. I like Tom Leinster's two-sentence definition of category theory:

Category theory takes a bird’s eye view of mathematics. From high in the sky, details become invisible, but we can spot patterns that were impossible to detect from ground level.

Well, you will indeed have difficulty taking a bird's eye view and pattern-spotting if you know little mathematics at ground level! Getting seriously into topos theory (for example, by tackling Peter Johnstone's Elephant) surely requires a vastly richer background of mathematics that getting into proof theory (say). But then I'm not sure that topos theory counts as mathematical logic.

$\endgroup$
  • $\begingroup$ It is definitely true that some parts of computability theory, such as pure Turing degree theory, require little knowledge of other mathematical fields. However, many of these parts are now mined out or are of less current interest. For many other prominent parts of computability theory - such as computable model theory, computable analysis, reverse mathematics - a detailed knowledge of some areas of mathematics is needed. $\endgroup$ – Carl Mummert May 30 '18 at 14:38

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.