Related papers: G\"odel's Notre Dame Course
We argue that, although Wittgenstein's reservations on Goedel's interpretation of his own formal reasoning are, indeed, of historical importance, the uneasiness that academicians and philosophers continue to sense, and express, over…
The aim of these notes is to provide a succinct, accessible introduction to some of the basic ideas of category theory and categorical logic. The notes are based on a lecture course given at Oxford over the past few years. They contain…
These are lecture notes that arose from a representation theory course given by the first author to the remaining six authors in March 2004 within the framework of the Clay Mathematics Institute Research Academy for high school students,…
This is an introduction to Grothendieck's descent theory, with some stress on the general machinery of fibered categories and stacks.
These notes reproduce the content of a short, 50-minutes, survey talk given at the Nice University in September, 2004. We added a few topics that have not been touched on in the lecture by lack of time.
Three variants of Kurt G\"odel's ontological argument, proposed by Dana Scott, C. Anthony Anderson and Melvin Fitting, are encoded and rigorously assessed on the computer. In contrast to Scott's version of G\"odel's argument the two…
Recent theologies concerning God's death after Auschwitz are mathematically formalized through a suitable temporalization of G\"{o}del's Ontological Proof.
The present notes are the expanded and polished version of three lectures given in Stanford, concerning the analytic and arithmetic properties of weight one modular forms. The author tried to write them in a style accessible to…
This article focuses on the technique of postponing the application of the reduction ad absurdum rule (raa) in classical natural deduction. First, it is shown how this technique is connected with two normalization strategies for classical…
This small overview of the General Theory is the kind of summary I would have liked to have read, before embarking in a comprehensive study of the General Theory at the time I was a student. As shown here, the main ideas are quite simple…
G\"odel modal logics can be seen as extenions of intutionistic modal logics with the prelinearity axiom. In this paper we focus on the algebraic and relational semantics for G\"odel modal logics that leverages on the duality between finite…
In this short note we give an alternative proof of Glivenko's Theorem, stating that a formula $\phi$ is provable in classical propositional logic if and only if $\neg\neg\phi$ is provable in intuitionistic propositional logic. We work in…
These are lecture notes for a series of lectures given at the Les Houches Summer School on Integrability in Atomic and Condensed Matter Physics, 30 July to 24 August 2018. The same series of lectures has also been given at the Tokyo…
In this paper, I outline some problems in the students' understanding of the explanation of recoil motion when introduced to them in the context of Newton's third law. I propose to explain the origin of recoil from a microscopic point of…
These are lectures notes for the introductory graduate courses on geometric complexity theory (GCT) in the computer science department, the university of Chicago. Part I consists of the lecture notes for the course given by the first author…
G{\"o}del's completeness theorem for classical first-order logic is one of the most basic theorems of logic. Central to any foundational course in logic, it connects the notion of valid formula to the notion of provable formula.We survey a…
Extending and generalizing the approach of 2-sequents (Masini, 1992), we present sequent calculi for the classical modal logics in the K, D, T, S4 spectrum. The systems are presented in a uniform way-different logics are obtained by tuning…
These are lecture notes for a course I gave in mid-1990s for MSc students at the University of Bath. It presents an algorithm with singly exponential complexity for the existential theory of the reals, in the spirit of J. Renegar. The aim…
Consider the following story: A teacher announces to her students a test for the following week, such that the test will be ``surprising''. The students use this as the basis for a ``logical derivation'' and reach a contradiction, which…
Here I share a few notes I used in various course lectures, talks, etc. Some may be just calculations that in the textbooks are more complicated, scattered, or less specific; others may be simple observations I found useful or curious.