Massachusetts Institute of Technology
24 242 — Logic II
13 documents • ranked by quality and engagement.
No description provided
Interpretive Models
24 242 · Massachusetts Institute of Technology
Concepts Overview
24 242 · Massachusetts Institute of Technology
Computability Guide
24 242 · Massachusetts Institute of Technology
Thesis of Church and Turing
24 242 · Massachusetts Institute of Technology
True Arithmetic Nonstandard Models
24 242 · Massachusetts Institute of Technology
Theory of Computability
24 242 · Massachusetts Institute of Technology
Arithmetic Language
24 242 · Massachusetts Institute of Technology
Truth Theory
24 242 · Massachusetts Institute of Technology
Church-Turing Thesis Overview
24 242 · Massachusetts Institute of Technology
Numbering by Godel
24 242 · Massachusetts Institute of Technology
Reasons to Study Computability
24 242 · Massachusetts Institute of Technology
Provability Logic
24 242 · Massachusetts Institute of Technology
Language of Math
24 242 · Massachusetts Institute of Technology