• No products in the cart.

Logic deals with the most general laws of truth and is now generally held to consist of the systematic study of the form of valid inference. This [course_title] will help you understand various illustrious result- Kurt Gödel’s-theorem, Church’s-theorem; Tarski’s-theorem etc. Besides, [course_title] is designed for you to make you understand the theory of computability, an axiomatic basis for proving truths of Arithmetic for proving truths of arithmetic easy and effective.


This course does not involve any written exams. Students need to answer 5 assignment questions to complete the course, the answers will be in the form of written work in pdf or word. Students can write the answers in their own time. Each answer need to be 200 words (1 Page). Once the answers are submitted, the tutor will check and assess the work.


Edukite courses are free to study. To successfully complete a course you must submit all the assignment of the course as part of assessment. Upon successful completion of a course, you can choose to make your achievement formal by obtaining your Certificate at a cost of £49.


Having an Official Edukite Certification is a great way to celebrate and share your success. You can:

  • Add the certificate to your CV or resume and brighten up your career
  • Show it to prove your success


Course Credit: MIT

Course Curriculum

Why Study Computability? 00:18:00
Key Computability Concepts 00:28:00
The Language of Arithmetic 00:30:00
Church-Turing Thesis 00:19:00
Nonstandard Models of Arithmetic 00:10:00
Gödel Numbering 00:17:00
Robinson’s Arithmetic 00:17:00
Coding Proofs 00:10:00
Peano Arithmetic 00:32:00
Self-Reference Lemma 00:13:00
First Incompleteness Theorem 00:16:00
Interpretations 00:14:00
Tarski’s Theory of Truth 00:22:00
Second Incompleteness Theorem 00:27:00
Introduction to Modal Logic 00:14:00
Provability Logic 00:28:00
Defining Exponentiation 00:08:00
Submit Your Assignment 00:00:00
Certification 00:00:00

Course Reviews


9 ratings
  • 5 stars0
  • 4 stars0
  • 3 stars0
  • 2 stars0
  • 1 stars0

No Reviews found for this course.

©2021 Edukite. All Rights Resereved
Edukite is A Part Of Ebrahim College, Charity Commission
Reg No 110841