Related papers: Hilbert's first and second problems and the founda…
Some Goedel centenary reflections on whether incompleteness is really serious, and whether mathematics should be done somewhat differently, based on using algorithmic complexity measured in bits of information. [Enriques lecture given…
Inspired by Quantum Mechanics, we reformulate Hilbert's tenth problem in the domain of integer arithmetics into either a problem involving a set of infinitely coupled differential equations or a problem involving a Shr\"odinger propagator…
This lectures notes consists of four lectures. The first lecture discusses questions around Hilbert-Arnold Problem which is naturally arises from Quantitative Hilbert 16-th problem. In the second lecture we outline author's solution of a…
Rousseau's simple proof of the quadratic reciprocity law, followed by the proof of its equivalence with Hilbert's product formula. The Hilbert symbol is explained in terms of the reciprocity isomorphism, and the places of Q are determined.
This is my talk at ICM, Zurich 1994. It contains a short introduction, two basic examples and a refined version of the Mirror Conjecture formulated in terms of homological algebra.
These five lectures on undecidability were given to students with a good level in mathematics but with no special knowledge on logic. The first conference presents the formalization of mathematics with a short historical survey, the…
In preparing the paper "Some extensions of Hilbert-Kunz multiplicity", we had occasion to perform an intricate set of computations pertaining to a single illustrative example. In the end, we have decided not to include the computations in…
The "Millennium Prize Problems" have a place in the history of mathematics. Here we tell some little-known anecdotes from the perspective of the planner of that project. These stories are far from their end; more likely they are just at…
This is a short survey article written for the Erd\H{o}s centennial conference in Budapest in 2013. The main two topics covered are Szemer\'edi's theorem and its ramifications, and the Erd\H{o}s discrepancy problem. There is an emphasis on…
This article discusses what can be proved about the foundations of mathematics using the notions of algorithm and information. The first part is retrospective, and presents a beautiful antique, Godel's proof, the first modern incompleteness…
Hilbert's Foundations of Geometry was perhaps one of the most influential works of geometry in the 20th century and its axiomatics was the first systematic attempt to clear up the logical gaps of the Elements. But does it have gaps of its…
We give a concise presentation of the Univalent Foundations of mathematics outlining the main ideas, followed by a discussion of the UniMath library of formalized mathematics implementing the ideas of the Univalent Foundations (section 1),…
Recently delivered lectures on Self-Referential Mathematics, [2], at the Department of Mathematics and Applied Mathematics, University of Pretoria, are briefly presented. Comments follow on the subject, as well as on Inconsistent…
This is a set of lecture notes that developed out of courses on the lambda calculus that I taught at the University of Ottawa in 2001 and at Dalhousie University in 2007 and 2013. Topics covered in these notes include the untyped lambda…
This is the transcript of a lecture given at UMass-Lowell in which I compare and contrast the work of Godel and of Turing and my own work on incompleteness. I also discuss randomness in physics vs randomness in pure mathematics.
The present lectures were prepared for the Faro International Summer School on Factorization and Integrable Systems in September 2000. They were intended for participants with the background in Analysis and Operator Theory but without…
This historical introduction is in two parts. The first is reprinted with permission from ``A century of mathematics in America, Part II,'' Hist. Math., 2, Amer. Math. Soc., 1989, pp.543-585. Virtually no change has been made to the…
In this lectures given at the Morning side center of Mathematics in October 2016, we present in a very simple framework Hilbertian hypocoercive methods in the case of 1d kinetic inhomogeneous equations, and some illustrations concerning…
The 75th anniversary of Turing's seminal paper and his centennial year anniversary occur in 2011 and 2012, respectively. It is natural to review and assess Turing's contributions in diverse fields in the light of new developments that his…
This survey paper is an expanded version of lectures given at the Clay Mathematics Academy ; see http://www.claymath.org/programs/outreach/academy/colloquium2005.php These lectures were intended to very young (and motivated) college…