Find Flashcards
Make Flashcards
Why It Works
More
Educators
Businesses
Academy
About

Log In
Get Started

Brainscape's Knowledge Genome^TM

Browse over 1 million classes created by top students, professors, publishers, and experts.

Entrance Exams
Professional Certifications
Foreign Languages
Medical & Nursing
Science
English
Humanities & Social Studies
Mathematics
Law
Vocations
Health & Fitness
Business & Finance
Technology & Engineering
Food & Beverage
Fine Arts
Random Knowledge

See full index

MATH3066 Algebra and Logic > 13 - The Halting Problem and undecidability of First Order Logic > Flashcards

13 - The Halting Problem and undecidability of First Order Logic Flashcards

Study These Flashcards

MATH3066 Algebra and Logic (13 decks)

1 - Introduction to logic and impossibility. Mathematical Implication. Truth tables

2 - Russell’s Paradox. Cardinality. Uncountability. Integers and modular arithmetic

3 - Polynomials and factorisation. Introduction to groups, rings and fields

4 - Deduction and proof in the propositional calculus

5 - Metaproofs. Soundness in the propositional calculus

6 - Syntax and semantics. Completeness of the propositional calculus

7 - Quantifiers. Predicate calculus

8 - Deduction and proof in the Predicate calculus

9 - Soundness and completeness of the predicate calculus

10 - Quotient constructions. Field extensions. Irreducible polynomials and finite fields

11 - Construction of the real numbers, the completeness axiom

12 - Unsolvability of ancient problems of the Greeks

13 - The Halting Problem and undecidability of First Order Logic

Key Links
Subjects
Company
- About Us
- Earn Money!
- Academy
- Swag Shop
- Contact
- Terms
- Podcasts
- Careers
Find Us

Brainscape helps you reach your goals faster, through stronger study habits.
© 2024 Bold Learning Solutions. Terms and Conditions