Kolmogorov e a lógica de problemas I

Carregando...
Imagem de Miniatura

Data

2012-10

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.