Nettsider med emneord «Logic»

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

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.