Implicit dynamic function introduction and Ackermann-like Function Theory

Reference : Implicit dynamic function introduction and Ackermann-like Function Theory


	Document type :	Scientific journals : Article
	Discipline(s) :	Arts & humanities : Philosophy & ethics
	To cite this reference:	http://hdl.handle.net/10993/33831

Title :	Implicit dynamic function introduction and Ackermann-like Function Theory
Language :	English
Author, co-author :	Cramer, Marcos [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Publication date :	2017
Journal title :	IfCoLog Journal of Logics and Their Applications
Peer reviewed :	Yes
Abstract :	[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.
Permalink :	http://hdl.handle.net/10993/33831

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Open access	Cramer_PhML-2012.pdf		Author postprint	334.06 kB	View/Open

All documents in ORBi^lu are protected by a user license.