Algoritmi, kategorija i dokazi - teme iz srpske moderne logike

Abstract

U ovom radu bavićemo se dvema granama moderne logike onako kako su se one razvijale u Srbiji, počevši od kraja Drugog svetskog rata pa sve do danas. Reč je o teoriji izračunljivosti i teoriji dokaza. Prva od njih, teorija izračunljivosti, sticajem nesretnih okolnosti je u Srbiji ostala bez škole. Druga, teorija dokaza, u Beogradu je pronašla uporište koje danas predstavlja jedno od nekoliko mesta u svetu u kojem se gaji duh Gencenovih ideja, a to je naročito slučaj u kategorijalnoj teoriji dokaza o kojoj će ovde isključivo biti reči.

In this paper we focus on two branches of modern logic, computability theory and proof theory, tracing their development in Serbia from the end of World War II to this day. Owing to the unfortunate set of circumstances, computability theory did not give birth to a school in Serbia. Proof theory, on the other hand, found a base in Belgrade as one of the few places in the world promoting Gentzen's ideas, especially in the field of categorial proof theory which will be our sole interest in this work.