Webpages tagged with «Logic»

Published Feb. 19, 2019 9:23 AM

The Skolem Lecture is an annual event in honor of the Norwegian mathematician and logician Thoralf Skolem.

This year's Skolem lecture will be given by Professor Steve Awodey of Carnegie Mellon University.

Published Feb. 13, 2019 12:27 PM

The Skolem Lecture is an annual event in honor of the Norwegian mathematician and logician Thoralf Skolem.

This year's Skolem lecture was given by Professor Steve Awodey of Carnegie Mellon University.

Published Feb. 11, 2019 10:04 AM

Traditionally concerned with the principles of valid inference, contemporary logic is a diverse and interdisciplinary field unified by a common core in formal logic.