Related papers: G\"odel's Notre Dame Course
This is a lecture note produced for DS-GA 3001.003 "Special Topics in DS - Causal Inference in Machine Learning" at the Center for Data Science, New York University in Spring, 2024. This course was created to target master's and PhD level…
These expository notes are a somewhat embellished version of two rather informal evening review sessions given by the second author at the 2008 Bedlewo summer school on "Dynamical Systems - Geometric Structures and Rigidity"; they provide a…
These lecture notes form an expanded account of a course given at the Summer School on Topology and Field Theories held at the Center for Mathematics at the University of Notre Dame, Indiana during the Summer of 2012. A similar lecture…
Adjoint logic is a general approach to combining multiple logics with different structural properties, including linear, affine, strict, and (ordinary) intuitionistic logics, where each proposition has an intrinsic mode of truth. It has…
I aim to promote an alternative agenda for teaching modal logic chiefly inspired by the relationships between modal logic and philosophy. The guiding idea for this proposal is a reappraisal of the interest of modal logic in philosophy,…
We give proofs of G\"odel's incompleteness theorems after A. Joyal. The proof uses internal category theory in an arithmetic universe, a predicative generalisation of topoi. Applications to L\"ob's Theorem are discussed.
These lecture notes in the De Rham-Hodge theory are designed for a 1-semester undergraduate course (in mathematics, physics, engineering, chemistry or biology). This landmark theory of the 20th Century mathematics gives a rigorous…
A Henkin-style proof of completeness of first-order classical logic is given with respect to a very small set (notably missing cut rule) of Genzten deduction rules for intuitionistic sequents. Insisting on sparing on derivation rules,…
This is a somewhat expanded form of a four hours course given, with small variations, first at the educational workshop Probabilistic methods in Geometry, Bedlewo, Poland, July 6-12, 2008 and a few weeks later at the Summer school on…
The Goedelian approach is discussed as a prime example of a science towards the origins. While mere selfreferential objectification locks in to its own byproducts, self-releasing objectification informs the formation of objects at hand and…
The lecture notes below correspond to the course given by the author in occasion of the VIASM school on Number Theory (18-24 June 2018, Hanoi). We have chosen to omit the proofs that are already presented in details in many references in…
In this note we reduce the problem of geodesic connectedness in a wide class of G\"odel type spacetimes to the search of critical points of a functional naturally involved in the study of geodesics in standard static spacetimes. Then, by…
Gentzen-style sequent calculi and Gentzen-style natural deduction systems are introduced for a family (C-family) of connexive logics over Wansing's basic connexive logic C. The C-family is derived from C by incorporating the Peirce law, the…
An extension of the notion of dinatural transformation is introduced in order to give a criterion for preservation of dinaturality under composition. An example of an application is given by proving that all bicartesian closed canonical…
These notes provide an introductory exposition of the Seiberg-Witten gauge theory. They collect the material presented in a series of seminars given by the author at the University of Milano.
Some common fallacies about fundamental themes of Logic are exposed: the First and Second incompleteness Theorem interpretations, Chaitin's various superficialities and the usual classification of the axiomatic Theories in function of its…
In the context of natural deduction for propositional classical logic, with classicality given by the inference rule reductio ad absurdum, we investigate the De Morgan translation of disjunction in terms of negation and conjunction. Once…
The aim of this short note is to realize that the main reason for non-mechanistic explanation of Newton's gravitational attraction, is explicitly encapsulated in his famous General Scholium of the second Edition of Principia Mathematica…
It is nowadays common to consider that proof must be part of the learning of mathematics from Kindergarten to University1. As it is easy to observe, looking back to the history of mathematical curricula, this has not always been the case…
Cut-elimination theorems constitute one of the most important classes of theorems of proof theory. Since Gentzen's proof of the cut-elimination theorem for the system $\mathbf{LK}$, several other proofs have been proposed. Even though the…