Mathematical Logic

Spring 2026

"The more I think about language, the more it amazes me that people ever understand each other at all." - Kurt Gödel

Contents
General Information • Homework Assignments

General Information

Class times: Mon + Wed + Fri from 10:00–10:50 AM [Alpine 204]
Book: A Friendly Introduction to Mathematical Logic, 2nd Edition, by Christopher C. Leary and Lars Kristiansen. The book is free if you use the pdf version—a print version can be purchased for less than $35. Here is a link to the book.
Syllabus: Syllabus for Math 161

Instructor: Dr. Joshua Wiscons (he/him/his)
Email: joshua.wiscons@csus.edu
Office: Brighton Hall (BRH) Room 144
Student office hours:

Homework Assignments

Due dates and submissions are managed in Canvas. Let me know if you have any questions!

Jump to specific assigment: HW01

Homework 01

Please organize your work, justify your steps, and write in complete sentences with correct punctuation. Once you finish, please follow the directions in the Canvas assignment to submit them. If you have any questions (about the math or writing or submission process or anything), please let me know!

  • Section 1.3.1: Exercise 1
  • Additional Problem 1: Write down 3 terms of $\mathcal{L}_{NT}$, each of which include at least one function symbol. Please write each term twice: once in prefix notation (also called Polish notation) and once the “usual” way with infix notation.
  • Additional Problem 2: This problem has two parts. First write down a unary formula of $\mathcal{L}_{NT}$ called $\mathbb{P}(x)$ with the intended meaning that $\mathbb{P}(x)$ is true if and only if $x$ is a prime number. Then write down a formula of $\mathcal{L}_{NT}$, using also $\mathbb{P}(x)$, with an intended meaning that expresses Goldbach’s Conjecture: “every even integer greater than 2 can be written as the sum of two primes.” You can write these formulas using infix notation.
  • Additional Problem 3: Write down a unary formula of $\mathcal{L}_{ST}$ (the language of set theory) called $C_5(x)$ with the intended meaning that $C_5(x)$ is true if and only if $x$ is a set containing exactly 5 elements. Do you think you could write down a formula $C_\infty(x)$ with the intended meaning that $C_\infty(x)$ is true if and only if $x$ is an infinite set? Explain a bit.