Kolmogorov e a lógica de problemas I
Carregando...
Data
2012-10
Autores
Título da Revista
ISSN da Revista
Título de Volume
Editor
Resumo
Intuitionistic logical constants are characterized by means of BHK clauses. The “K” is a reference to Kolmogorov who in 1925 had made a proposal for defining intuitionistic logic and which was later extended with the inclusion of ex falso quodlibet principle. In 1932 [Kol32] this principle is present and the author gives a semantics alternative to the one presented by Heyting in 1930. Kolmogorov uses the concept of problem. Here we are proposing a partial analysis of this semantics of problems. We want to show that this semantics involves a logic of actions. We finish by pointing what seems to us to be an open problem in this semantics.
Descrição
Palavras-chave
Problems theory, Intuitionism, Logic of actions, Mathematical practice, Teoria de problemas, Intuicionismo, Lógica de ações, Prática matemática
Citação
SANZ, Wagner Campos. Kolmogorov e a lógica de problemas I. Notae Philosophicae Scientiae Formalis, Santa Maria, v. 1, n. 2, p. 184-197, out. 2012.