Showing 2023Show all
2 papers · 1 filter
econ.TH2023
Is Arrow's Dictator a Drinker?
Jeffrey Uhlmann
We critique the formulation of Arrow's no-dictator condition to show that it does not correspond to the accepted informal/intuitive interpretation. This has implications for the th…
math.GM2023
A Note on the Incompleteness of Gödel's Incompleteness Theorems
Jeffrey Uhlmann
In this note we observe that automated theorem provers (ATPs) that recursively enumerate theorems in a particular way will fail to identify some valid theorems for a reason that is…