This work is an introduction to the philosophical problems and underpinnings of mathematical thinking, teaching, and learning. It includes thematic and philosophical problems and questions, a historical summary that covers contemporary currents, and chapters on set theory, logic…
This book presents the final version of Chaitin's course on the limits of mathematical reasoning. This course uses algorithmic information theory to show that mathematics has serious limitations, and features a new more didactic approach to algorithmic information theory using L…
This volume makes the basic facts about admissible sets accessible to logic students and specialists alike.
