What's in a function?

DOI10.1007/BF00413605MaRDI QIDQ1293042zbMATH OpenOpenAlexFDO

Authors Gian Aldo Antonelli

Publication date 9 August 1999

Published in Synthese (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf00413605

zbMATH Keywords

computable functionsnon-monotone inductive definitionsanalysis of the concept of truthgeneral recursive functionsnon-minimal fixed points of partially defined computing proceduresRevision Rules

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Recursive functions and relations, subrecursive hierarchies (03D20) Inductive definability (03D70)

Recommendations

• Rethinking revision
• On revision operators
• Revision Forever!
• Periodicity and reflexivity in revision sequences
• Revision sequences and computers with an infinite amount of time

Cites work

• scientific article; zbMATH DE number 795569 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• A revision-theoretic analysis of the arithmetical hierarchy
• Non-well-founded sets via revision rules
• The optimal approach to recursive programs
• Truth and paradox
• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I

Cited in

(7)

• When is length a length function?
• Subfunctionalization: How often does it occur? How long does it take?
• Rethinking revision
• On revision operators
• When is a functional program not a functional program?
• Which notions of function were given by Euler?
• Comparing inductive and circular definitions: Parameters, complexity and games

This page was built for publication: What's in a function?

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1293042)