Reference : Implicit dynamic function introduction and Ackermann-like Function Theory
Scientific journals : Article
Arts & humanities : Philosophy & ethics
http://hdl.handle.net/10993/33831
Implicit dynamic function introduction and Ackermann-like Function Theory
English
Cramer, Marcos mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
2017
The IfCoLog Journal of Logics and their Applications
Yes
[en] We discuss a feature of the natural language of mathematics – the implicit
dynamic introduction of functions – that has, to our knowledge, not been
captured in any formal system so far. If this feature is used without limitations,
it yields a paradox analogous to Russell’s paradox. Hence any formalism
capturing it has to impose some limitations on it. We sketch two formalisms,
both extensions of Dynamic Predicate Logic, that innovatively do capture
this feature, and that differ only in the limitations they impose onto it.
One of these systems is based on Ackermann-like Function Theory, a novel
foundational theory of functions that is inspired by Ackermann Set Theory
and that interprets ZFC.
http://hdl.handle.net/10993/33831

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
Cramer_PhML-2012.pdfAuthor postprint334.06 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.