ITEC 420 - Section 3.3 - Church-Turing Thesis


Hilbert's Tenth Problem

Tenth Problem - Polynomials of One Variable: Decidable

Tenth Problem - Polynomials of More than One Variable: NOT Decidable

Hilbert's Second Problem

Definitions of Algorithms

Algorithm - Informal Definition

Formal Definitions of Algorithm

Church-Turing Thesis

CT Thesis and Language Wars

Coming in Chapter 4: Unrecognizable Languages