Mathematical proof seems attractive to some, yet impenetrable to others. In this paper a theory is suggested involving “cognitive units” which can be the conscious focus of attention at a given time and connections in the individual’s cognitive structure that allow deductive proof to be formulated. Whilst elementary mathematics often involves sequential algorithms where each step cues the next,...

In this paper we give a general upper bound for the irrationality exponent of algebraic Laurent series with coefficients in a finite field. Our proof is based on a method introduced in a different framework by Adamczewski and Cassaigne. It makes use of automata theory and, in our context, of a classical theorem due to Christol. We then introduce a new approach which allows us to strongly improv...

Abstract Libertarian paternalism is a weak form of that recommends nudges rather than bans, restrictions, or other strong interventions. Nudges influence people’s choice by modifying contextual factors (the “choice architecture”). This paper explores the possibility an epistemic analogue libertarian paternalism. What I call “epistemic libertarian paternalism” “epistemic nudges” stronger pat...