2024 Fall MATH 225A 001 LEC 001

2024 Fall

MATH 225A 001 - LEC 001

Metamathematics

Andrew Marks

Aug 28, 2024 - Dec 13, 2024
Tu, Th
12:30 pm - 01:59 pm
Class #:22010
Units:4

Instruction Mode: In-Person Instruction

Offered through Mathematics

Current Enrollment

Total Open Seats: 6
Enrolled: 18
Waitlisted: 0
Capacity: 24
Waitlist Max: 5
No Reserved Seats

Hours & Workload

3 hours of instructor presentation of course materials, and 9 hours of outside work hours.

Final Exam

FRI, DECEMBER 20TH
08:00 am - 11:00 am
Dwinelle 130

Other classes by Andrew Marks

Course Catalog Description

Metamathematics of predicate logic. Completeness and compactness theorems. Interpolation theorem, definability, theory of models. Metamathematics of number theory, recursive functions, applications to truth and provability. Undecidable theories. Sequence begins fall.

Rules & Requirements

Repeat Rules

Course is not repeatable for credit.

Reserved Seats

Current Enrollment

No Reserved Seats

Textbooks & Materials

See class syllabus or https://calstudentstore.berkeley.edu/textbooks for the most current information.

Textbook Lookup

Guide to Open, Free, & Affordable Course Materials

eTextbooks

Associated Sections

None