Can we express every transfinite concept constructively?
| dc.creator | Anand, Bhupinder Singh | |
| dc.date | 2003-05-17 | |
| dc.date.accessioned | 2026-07-07T04:58:05Z | |
| dc.date.available | 2026-07-07T04:58:05Z | |
| dc.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. | |
| dc.description | 40 pages; an HTML version is available at http://alixcomsi.com/Can_we_express_every_transfinite.htm | |
| dc.identifier | https://arxiv.org/abs/math/0305249 | |
| dc.identifier | http://arxiv.org/abs/math/0305249 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/67496 | |
| dc.subject | General Mathematics | |
| dc.subject | 03B10 | |
| dc.title | Can we express every transfinite concept constructively? | |
| dc.type | text |