Algorithms, categories and proofs

Primary tabs

Choose the citation style.
Search for this publication on Google Scholar
Adžić, M., & Milošević, S. (2012). Algorithms, categories and proofs: Some topics in modern Serbian logic, (134), 366-387. doi:10.5937/kultura1234366A
Details
Title

Algorithms, categories and proofs

Subtitle

Some topics in modern Serbian logic

Author

Miloš, Adžić, Senka, Milošević

Journal

Kultura

Volume
Issue

134

Start page

366

End page

387

ISSN

0023-5164

ISBN
DOI

10.5937/kultura1234366A

URL

http://scindeks.ceon.rs/article.aspx?query=ISSID%26and%2610053&page=0&so...

Date

2012-2021/06/18/10:26:06

Abstract

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.

Keywords