Related papers: The Work of John Tate
This is a non-standard paper, containing some problems in set theory I have in various degrees been interested in. Sometimes with a discussion on what I have to say; sometimes, of what makes them interesting to me, sometimes the problems…
Pull-tabbing is an evaluation approach for functional logic computations, based on a graph transformation recently proposed, which avoids making irrevocable non-deterministic choices that would jeopardize the completeness of computations.…
In this series of seven papers, predominantly by means of elementary analysis, we establish a number of identities related to the Riemann zeta function. Whilst this paper is mainly expository, some of the formulae reported in it are…
This chapter discusses AI from the prism of an automated process for the organization of data, and exemplifies the role that explainability has to play in moving from the current generation of AI systems to the next one, where the role of…
The formal system $\lambda\delta$ is a typed lambda calculus derived from $\Lambda_\infty$, aiming to support the foundations of Mathematics that require an underlying theory of expressions (for example the Minimal Type Theory). The system…
This is a draft version of an invited article for a forthcoming book `The genesis of Langlands Program', eds. Julia Mueller and Freydoon Shahidi, which will be published in the London Mathematics Society Lecture Notes Series. It gives a…
Annotated bibliography of 18th, 19th, and early 20th century works involving Lambert series. A tour of 19th and early 20th century analytic number theory.
This is an article on the interaction between topology and physics which will appear in 1998 in a book called: A History of Topology, edited by Ioan James and published by Elsevier-North Holland.
This talk is a sneak preview of the project, 'proof theory for theories of ordinals'. Background, aims, survey and furture works on the project are given. Subsystems of second order arithmetic are embedded in recursively large ordinals and…
This work deals with the notion of Newton complementary duality as raised originally in the work of the second author and B. Costa. A conceptual revision of the main steps of the notion is accomplished which then leads to a vast…
The purpose of this book is two fold. (1) To give a systematic account of classical "zero theory" as developed by Jensen, P\'olya, Titchmarsh, Cartwright, Levinson and others. (2) To set forth developments of a more recent nature with a…
This is a paper in Analytic Topology.
A review of the empirical literature on access to scholarly information. This review focuses on surveys of authors, article download and citation analysis.
This paper is concerned with analysis on metric spaces in a variety of settings and with several kinds of structure.
This is an expository paper which explores the ideas of the authors' paper "From Affine Geometry to Complex Geometry", arXiv:0709.2290. We explain the basic ideas of the latter paper by going through a large number of concrete, increasingly…
The paper adresses the problem of reasoning with ambiguities. Semantic representations are presented that leave scope relations between quantifiers and/or other operators unspecified. Truth conditions are provided for these representations…
This article is a personal overview of the work of Dennis Sullivan who was awarded the 2022 Abel prize. It was commissioned by the Bulletin of the (Indian) Mathematics Consortium, and it will appear there.
The main novelty of this paper is to consider an extension of the Calculus of Constructions where predicates can be defined with a general form of rewrite rules. We prove the strong normalization of the reduction relation generated by the…
The goal of the paper is twofold: it aims to give an extensive set of tools and bibliography towards Nowicki's conjecture both in an associative setting; it establishes a new result about Nowicki's conjecture for the free metabelian Poisson…
The article explores new ways of written language aided by AI technologies, like GPT-2 and GPT-3. The question that is stated in the paper is not about whether these novel technologies will eventually replace authored books, but how to…