Related papers: The L\"uroth problem
In this paper we investigate the Bayesian approach to inverse Robin problems. These are problems for certain elliptic boundary value problems of determining a Robin coefficient on a hidden part of the boundary from Cauchy data on the…
I summarise the theoretical talks at Moriond 2015, with emphasis on naturalness.
Obtaining explicit stability estimates in classical functional inequalities like the Sobolev inequality has been an essentially open question for 30 years, after the celebrated but non-constructive result of G. Bianchi and H. Egnell in…
This essay inquires how mathematical beings could be inserted into the architecture of modes of existence proposed by Bruno Latour in the framework of his pluralist and renewed ontology of the modern world. After a description of the…
These lecture notes evolve around mathematical concepts arising in inverse problems. We start by introducing inverse problems through examples such as differentiation, deconvolution, computed tomography and phase retrieval. This then leads…
Fidelity serves as a benchmark for the relieability in quantum information processes, and has recently atracted much interest as a measure of the susceptibility of dynamics to perturbations. A rich variety of regimes for fidelity decay have…
Recent advances of Reinforcement Learning (RL) have highlighted its potential in complex reasoning tasks, yet effective training often relies on external supervision, which limits the broader applicability. In this work, we propose a novel…
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.
This survey is a slightly extended version of the lecture given by the author at the \emph{VI International Course of Mathematical Analysis in Andaluc\'\i a} (CIDAMA), in September 2014. Most results are contained (in a slightly less…
This paper deals with the Lipschitz regularity of minimizers for a class of variational obstacle problems with possible occurance of the Lavrentiev phenomenon. In order to overcome this problem, the availment of the notions of relaxed…
The Sorites paradox is the name of a class of paradoxes that arise when vague predicates are considered. Vague predicates lack sharp boundaries in extension and is therefore not clear exactly when such predicates apply. Several approaches…
We prove a regularity lemma with respect to arbitrary Keisler measures mu on V, nu on W where the bipartite graph (V,W,R) is definable in a saturated structure M and the formula R(x,y) is stable. The proof is rather quick and uses local…
This is a non-standard paper, containing some problems, mainly in model theory, which 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,…
We discuss some regularity issues in the study of the obstacle problem. In particular, we present a recent result by O. Savin and the author on the regularity of the singular set for the obstacle problem with a fully nonlinear elliptic…
Inductive theorem proving is an important long-standing challenge in computer science. In this extended abstract, we first summarize the recent developments of proof by induction for Isabelle/HOL. Then, we propose united reasoning, a novel…
In this note we address the attempted proof of the existence of static solutions to the Einstein-Vlasov system as given in \cite{Wol}. We focus on a specific and central part of the proof which concerns a variational problem with an…
This work advances and substantiates the thesis that the resolution of this crisis lies in the domain of possibility theory, specifically in the axiomatic approach developed in Bychkovs article. Unlike numerous attempts to fix Dempster…
The 2021 Nobel Prize in Economics recognized an epistemology of causal inference based on the Rubin causal model (Rubin 1974), which merits broader attention in philosophy. This model, in fact, presupposes a logical principle of…
This paper examines how a notion of stable explanation developed elsewhere in Defeasible Logic can be expressed in the context of formal argumentation. With this done, we discuss the deontic meaning of this reconstruction and show how to…
While LLMs have seen substantial improvement in reasoning capabilities, they also sometimes overthink, generating unnecessary reasoning steps, particularly under uncertainty, given ill-posed or ambiguous queries. We introduce statistically…