Can we express every transfinite concept constructively?
Abstract
Description
In a forthcoming book, professional computer scientist and physicist Paul Budnik presents an exposition of classical mathematical theory as the backdrop to an elegant thesis: we can interpret any model of a formal system of Peano Arithmetic in an appropriate, digital, computational language. In this paper we attempt - without addressing the question of whether or not Budnik succeeds in establishing his thesis convincingly - to identify dogmas of standard interpretations of classical mathematical theory that appear to be implicit in Budnik's exposition, and to correspond to them dogmas of a constructive interpretation of classical theory.
40 pages; an HTML version is available at http://alixcomsi.com/Can_we_express_every_transfinite.htm
40 pages; an HTML version is available at http://alixcomsi.com/Can_we_express_every_transfinite.htm