They discuss computability in mathematics and the mathematics of universality, the theory of types, analytic number theory, cryptology, and enigmatic statistics; the computation of processes, including Turing's neural models; mathematical morphogenetic research; the relationship of computability to the physical world and its quantum-mechanical nature; and infinitary
computation and the physics of the mind.
The objective of InfTy is to devise mathematical methods for reasoning about programs manipulating infinite objects, developing compositional typed formalisms and integrating them with infinitary
Entre sus publicaciones se encuentran "Anti-realism and infinitary
proofs" (Analisis Filosofico, 2012), "La paradoja de Fitch y los mundos epistemicos abiertos" (Manuscrito, 2014).
Consider for example the sort of infinitary
paraphrase strategy Rayo discusses in section 7.
In connection with this, the paper discusses some technical issues concerning infinitary
type theories and the program of developing the semantics for higher-order languages in other higher-order languages.
Weir maintains that by invoking an appropriate notion of idealization and giving up on our unfounded prejudice against infinitary
proofs, his account can be made to work.
In Read's case, the proposition expressed by the Liar can be shown to receive a determinate truth-value by appeal to an argument which, when properly expressed, requires an infinitary
A further interesting result consists in using infinitary
aggregation operators (Mesiar and Pap 2008).
Yet how is this recognizably infinitary
capacity underlain by our actual contact, in learning or communication, with a finite number of discrete signs (or sign-types) and a finite number of symbolic expressions of the rules for using them?
Since the strip is infinite, an infinitary
operation would do, but that wouldn't give us much to work with.
This mathematics textbook for advanced students and practitioners explores the expansion of modern model theory from Morley's categoricity theorem to applications in infinitary
logic, providing a unified and systematic study of these ideas.
A combinatorial problem; stability and order for models and theories in infinitary