Mathematical logic

High school (ages 12+)
Mathematics & Numbers

Name:

Date:

Step 1 · Read the article

Open the article and read it at the level above. Then answer the questions below in your own words.

https://smallwhale.org/articles/mathematical-logic

Write what each word means, using the article.

Do not copy the article. Write two things you learned, the way you would explain them to a friend.

Answers below are taken from the article’s stored facts, so they match what the student read.

1. What is the key subfields?Model theory, proof theory, set theory, and recursion theory (computability theory)
2. What is mathematical logic and why is it important?Mathematical logic is the study of formal rules that make math reasoning clear and correct. It helps build a solid foundation so mathematicians know what can be proved and what cannot.
3. What are the main parts of mathematical logic?The main parts are model theory, proof theory, set theory, and recursion theory. Each one looks at different aspects of math, like how proofs work or what can be computed.

Formal System: A system comprising a language, axioms, and rules of inference for deriving theorems.
Incompleteness Theorems: Gödel's theorems stating that in any consistent formal system, there are true statements that cannot be proven within the system.
Computability Theory: The study of which problems can be solved by an algorithm or mechanical procedure.