Mathematical Institute SANU
Kneza Mihaila 36, 11000 Belgrade
Serbia (ex: Serbia and Montenegro, Yugoslavia)
Tel: (381-11) 2630-170; (381-11) 2180-591
Fax: (381-11) 2186-105
My main research focuses on:
formal reasoning about uncertainty,
applications of (nonclassical) mathematical logic in
computer sciences and artificial intelligence, theorem proving
Back to the content.
My additional research interests: digitization of cultural heritage (see:
Digitization projects, and National Center for Digitization).
Ph.D. in Mathematics, University of Kragujevac
Thesis: Neke verovatnosne logike i njihove primene u racunarstvu
( Some probability logics and their applications in computer sciences
Advisor: Miodrag Rašković
M. Sc. in Mathematics, Belgrade University
Thesis: Dokazivac teorema u modalnom racunu S4 zasnovan na metodi dualnih tabloa
(A theorem prover for modal logic S4 based on the dual tableau method )
B.Sc. in Mathematics, Belgrade University
Back to the content.
ACM Computing Classification System
AMS 2000 Mathematics Subject Classification
Institute for Scientific Information (ISI)
Journal list (August, 2000)
Classification of journals from the SCI-list
Academic Press, free access
Mathematical Reviews, MatSciNet
Back to the content.
Created, July 20, 1999 - Zoran Ognjanović
Lockius aliique qui spernunt non intelligunt (Locke, and others who slander,
do not understand).
This capricious gambler (who was later to participate in Hitler's beer-hall
"Putsch" [General Ludendorff]) refused to consider a compromise peace until
a British breakthrough in the Balkans threatened to roll up the German
Martin Davis, Engines of logic. Mathematicians and the Origin of the
Computer, 2000. (pg. 45)
Blindness ... of logicians is indeed surprising. I think the explanation is
not hard to find. It lies in a widespread lack, at that time, of the
required epistemological attitude toward metamathematics and toward
non-finitary reasoning. (1)
... It was not the controversy regarding the foundations of mathematics that
caused the problem treated here to surface (as was the case, for example,
for the problem of the consistency of mathematics), rather, even if it had
never been questioned that "naive" mathematics is correct as to its content,
this problem could have been meaningfully posed within this naive
mathematics (unlike, for example, the problem of consistency), which is why
a restriction on the means of proof does not seem to be more pressing here
than for any other mathematical problem. (2)
(1) For Godel on the blindness of logicians: [Dawson, J. W., Jr. Logical
Dilemmas The Life and Work of Kurt Godel. Wellesley, MA A K Peters, 1997. p. 58.]
(2) For Godel on nonfinitary methods: [Godel, K. Collected Works. London and New York. Oxford
University Press, 1986-1995. vol. I, p. 65.]
"The good Christian should beware the mathematician and all
those who make empty prophecies. The danger already exists
that the mathematicians have made a covenant with the devil
to darken the spirit and to confine man in the bonds of hell."
Augustine of Hippo
(Aurelius Augustinus Hipponensis, November 13, 354 - August 28,
430, Bishop of Hippo Regius, also known as St. Augustine)
"Computer science is no more about computers than
astronomy is about telescopes."
Edsger Dijkstra (1930 - 2002, Dutch computer scientist,
received the 1972 Turing Award for fundamental contributions to developing
"Whenever you find yourself on the side of the majority, it is time to reform
(or pause and reflect)."
Mark Twain, 1904.
"Perfect behavior is born of complete indifference."
Franis de La Rochefoucauld
"We mathematicians are true poets with a calling.
But we still must prove our poetry!"
"Poetry is as precise a thing as geometry."
"If you support Tottenham you always give more love than you get back...
Tottenham is the worst kind of bad team, because they're almost good. They
always promise that they're going to be fantastic. They make you hope. So
you go on loving them and they carry on finding more and more innovative
ways of disappointing you.
Aston Villa supporters chose their team because no one else has and because
they have nice jerseys.
Fredrik Backman, Britt-Marie Was Here, 2014
"I am absolutely incapable of adding without mistakes."
Henri Poincare. Mathematical creation. The Monist, 20(3):321–335, 1910
"What does not work easily does not work at all."
Kurt Gödel, Maxims for mathematical research
"Dieu me pardonne, dit Bussy, je crois qu'il parle tout seul. Allons, ce
n'est ni un ivrogne ni un fou: c'est un mathematicien qui cherche la
solution d'un probleme. (God forgive me, said Bussy, I think he
talks to himself. Come on, he is neither a drunkard nor a madman: he is a
mathematician who seeks the solution of a problem.)"
Alexandre Dumas, La Dame de Monsoreau, 1846
"That was a chance which deserved attentive consideration, and Chicot was in
the habit of believing in providential chances.
He developed, even, whenever he was begged to do so, some very ingenious
theories on the subject.
The basis of these theories was an idea, which, in our opinion, was quite as
good as any other; it was as follows:
Chance is a kind of reserve held in bond by the Deity. Heaven never
communicates that reserve except in momentous circumstances, particularly
since He has observed that men are sagacious enough to study and foresee the
chances which may befall them in accordance with natural causes and
regularly organized principles of existence.
Moreover, Heaven likes to counteract the combinations of those proud members
of the human race whose pride in by-gone times He has already punished by
drowning them, and whose future pride He surely will punish in destroying
them by fire.
Heaven, therefore we say, or Chicot said, Heaven is pleased to counteract
the combinations of those proud and haughty human beings by means with which
they are unacquainted, and whose intervention they cannot foresee."
Alexandre Dumas, The Forty-Five Guardsmen, 1847.
"For just where no ideas are, the proper word is never far."