O objeto de estudo desta investigação é a filosofia do direito de Immanuel Kant, com ênfase na controvérsia acerca da natureza do conceito de direito por ele formulado. Assim, são analisados, em um primeiro momento, os conceitos centrais da filosofia moral de Kant que estão em conexão com sua ideia de direito e, em um segundo momento, os aspectos mais importantes do pensamento filosófico-jurídico kantiano. Busca-se, com isso, uma definição a respeito da melhor forma de entender a filosofia do direito (...) de Kant, se representante de um positivismo radical ou de um não-positivismo superinclusivo. (shrink)

The notion of efficient proof-checking has always been central to complexity theory, and it gave rise to the definition of the class NP. In the last 15 years there has been a number of exciting, unexpected and deep developments in complexity theory that exploited the notion of randomized and interactive proof-checking. Results developed along this line of research have diverse and powerful applications in complexity theory, cryptography, and the theory of approximation algorithms for combinatorial optimization problems. In this paper we (...) survey the main lines of developments in interactive and probabilistic proof-checking, with an emphasis on open questions. (shrink)