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


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 (hard copy) :  –

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

Availability free on (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: