profhugodegaris

Species Dominance, Artilects, Artilect War, Cosmists, Terrans, Gigadeath, Essays, Media, etc

MATHEMATICAL LOGIC (M2, Manin)

Lecture Topic : (Pure Math) MATHEMATICAL LOGIC (M2, Manin)

Prerequisites : Mathematical Logic (M1);

Recommended Text(s) :

“A Course in Mathematical Logic”,YuI.Manin, Graduate Texts in Mathematics (GTM) No. 53, Springer, 1977.

Approx price new on Amazon.com (hard copy) :  –

Approx price second hand on Amazon.com (hard copy) : $48

Availability free on eMule.com (e-format) : Yes

eMule search key word(s) : Manin, Mathematical Logic

Lectures and Links :

—–

Lecture 1  (link)

Ch.1   Introduction to Formal Languages

—–

Lecture 2  (link)

Ch.2   Truth and Deducibility

—–

Lecture 3  (link)

Ch.3   The Continuum Problem and Forcing

—–

Lecture 4 (link)

Ch.4   The Continuum Problem and Constructible Sets

—–

Lecture 5  (link)

Ch.5   Recursive Functions and Church’s Thesis

—–

Lecture 6  (link)

Ch.6   Diophantine Sets and Algorithmic Undecidability

—–

Lecture 7  (link)

Ch.7   Godel’s Incompleteness Theorem

—–

Lecture 8  (link)

Ch.8   Recursive Groups

—–

%d bloggers like this: