Conceptions of intensionality of mathematical discourse: The Stages of Self-reference
Submitted by Гость (not verified) on Wed, 09/04/2024 - 23:54The article discusses the reasons for the emergence of intensional structures in mathematical discourse with the example of the proof of the Second Gödel Theorem on the incompleteness of arithmetic. It is shown that one of the reasons for intensionality is the conceptual structure, including the transition from strictly mathematical formulations to their interpretation. Three stages of intensionality are analyzed - coding, constructing a predicate of proof, and constructing a self-reference sentence.