Description

We will start with some elementary first-order logic: propositional logic and predicate logic. We will continue with rudiments of set theory and then delve into abstract algebra covering as much group theory as time allows. The emphasis is on learning how to put together a correct proof and how the process of discovery plays out in mathematics rather than on covering as many topics as possible. Students are expected to be active participants in class as everyone will work together on some problems, and we will try to discover together what the correct answers or proofs are.

General Information

No information, yet. Stay tuned!

Announcements

Back in Philly!
11/16/15 3:35 PM

Hi everyone!

i just wanted to let you know I'm back in town and will be hanging out at Joe on Chestnut tomorrow, Tuesday, November 17, from 1-3 pm. If you'd like to stop by, I'd love to see you. I hope all is well with all of you. 

Aaron

Back in Philadelphia
9/24/14 6:10 PM

Hi everyone,

I just wanted to let you know I'll be back in Philadelphia from the 11th to the 15th of October, and I'd love to see you all if you're around.

I'll be holding court from 1-3 on the 15th in Joe, the Art of Coffee on Chestnut between 32nd and 33rd.  If you come, I'll buy you a coffee :)

If you'd like to see me, and are not able to make it at that time, send me an email and we'll make plans; my new address is asilbers@math.uchicago.edu.

I hope all of you are having a fantastic semester, and are treating Profs. Pop and Scherr well.

Aaron

The final three homeworks are posted to the Course Page.
4/08/14 11:19 AM

See you soon!

Prof. Silberstein

Office Hours
4/07/14 6:31 AM

Hi everyone,

I'll hold office hours today from 2-4 today, and from 2-3 tomorrow.

Prof. Silberstein

What is a ring?
4/02/14 7:44 AM

Here are a bunch of answers!

Enjoy :)

Prof. Silberstein

Standard Definitions Concerning Rings

Tarski's Decision procedure for the Real Numbers
3/27/14 10:11 PM

Hi everyone,

I might have mentioned this in class - here is a really cool paper you all can probably understand now.  It's about how a computer might take a statement in predicate logic concerning the real numbers and reduce it to a problem in geometry.

Prof. Silberstein

Tarski__A_decision_method_for_elementary_algebra_and_geometry.pdf

Homeworks 8 and 9 are posted!
3/25/14 5:35 PM

Hi everyone,

Sorry for the delay on Homework 8.  Homeworks 8 and 9 are posted.

Prof. Silberstein

Homework 7
3/16/14 10:35 AM

Hi everyone,

Homework 7 has been posted!

I hope you have all had relaxing, pleasant breaks, and I can't wait to see you on Tuesday.

Prof. Silberstein

Staff Office Hours
NameOffice Hours
Camelia Pop
When?
Where?
Aaron Michael Silberstein
When?
Where?
Martin Citoler-Saumell
When?
Where?

Homework

Homework
Due Date
Apr 30, 2014
Apr 25, 2014
Apr 18, 2014
Apr 4, 2014
Apr 2, 2014
Mar 21, 2014
Mar 7, 2014
Feb 26, 2014
Feb 14, 2014
Feb 7, 2014
Jan 31, 2014
Jan 24, 2014

Lecture Notes