logo

Video encyclopedia

Mathematical logic

2:15

Mathematics and Logic: From Euclid to Modern Geometry | Online Courses Trailer

3:55

What is MATHEMATICAL LOGIC? What does MATHEMATICAL LOGIC mean? MATHEMATICAL LOGIC meaning

3:34

A Book on Logic and Mathematical Proofs

3:01

Can You Solve This Logic Puzzle?

3:13

Mathematical Logic, part 1: an infinite variety of logics

Mathematical logic is a subfield of mathematics exploring the applications of formal logic to mathematics. It bears close connections to metamathematics, the foundations of mathematics, and theoretical computer science. The unifying themes in mathematical logic include the study of the expressive power of formal systems and the deductive power of formal proof systems.
Explore contextually related video stories in a new eye-catching way. Try Combster now!
  • Subfields and scope 

  • History 

  • Formal logical systems 

  • Set theory 

  • Model theory 

  • Recursion theory 

  • Proof theory and constructive mathematics 

  • Connections with computer science 

  • Foundations of mathematics