The logician Kurt Godel (1906-1978) published a paper in 1931 formulating what have come to be kn...
This collection of papers from various areas of mathematical logic showcases the remarkable bread...
The logician Kurt Godel (1906-1978) published a paper in 1931 formulating what have come to be kn...
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book ...
Is mathematics 'entangled' with its various formalisations? Or are the central concepts of mathem...
A deep dive into the historical and philosophical background of Gödel's famed 1931 paper on incom...
A deep dive into the historical and philosophical background of Gödel's famed 1931 paper on incom...
These essays will be essential reading for the wide group of philosophers working in these differ...
In this groundbreaking volume, leading philosophers and mathematicians explore Kurt Gödel's work ...
Edited in collaboration with FoLLI, the Association of Logic, Languageand Information this book...
This Element takes a deep dive into Gödel's 1931 paper giving the first presentation of the Incom...
This volume features more than 20 essays that explore the work of one of the most important co...