Studes of Hilbert's Epsilon Operator in the USSR

Sergei Soloviev (1, 2)

1 IRIT-ACADIE - Assistance à la Certification d’Applications DIstribuées et Embarquées
2 ITMO - National Research University of Information Technologies, Mechanics and Optics [St. Petersburg]

The aim of this paper is to give a short survey of the studies that concern the notion of Hilbert’s ε-operator and its applications by the researchers in the USSR and continuation of their works abroad in post-soviet time.

Mots clés: History of logic; Epsilon-operator; Soviet mathematics

Domaines: Architectures Matérielles [cs.AR]; Informatique et langage [cs.CL]; Cryptographie et sécurité [cs.CR]; Systèmes embarqués; Interface homme-machine [cs.HC]; Modélisation et simulation; Génie logiciel [cs.SE]

Sergei Soloviev. Studes of Hilbert's Epsilon Operator in the USSR. IfColog Journal of Logics and their Applications (FLAP), 2017, 4 (2), pp.425-434. ⟨hal-01914086⟩