May 02, 2026  
Rensselaer Catalog 2014-2015 
    
Catalog Navigation
  Catalog Home
  Degrees Offered
  Academic Calendar
  Information Directory
  Rensselaer in Brief
  Educational Programs and Resources
  Research Resources and Centers
  Student Life
  Admissions
  Financial Aid
  Tuition and Fees
  Academic Information and Regulations
  Interdisciplinary Studies
  Schools & Departments
  Schools
  Departments
  Programs
  Subject Codes
  Courses
  Administration
  Named Professorships
  The Faculty
  Doctoral
HELP
Rensselaer Catalog 2014-2015 [Archived Catalog]

MATH 4030 - Computability and Logic

A team-based, project-oriented, hands-on introduction to great concepts and discoveries in logic and computability, including Turing Machines, first order logic, the limitations of computing machines, Godel’s incompleteness results and so forth. A hands-on laboratory component is included.

Prerequisites/Corequisites: Prerequisite: PHIL 2140.

When Offered: Spring term annually.



Cross Listed: Cross listed as PHIL 4420. Students cannot obtain credit for both this course and PHIL 4420.

Credit Hours: 4