Zoran Ognjanović
Research Professor 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 E-mail: zorano@mi.sanu.ac.rs |

- Research Interests
- Selected publications
- Education
- Professional Experience
- Miscellaneous
- Back to the Institute Home Page

My main research focuses on:
formal reasoning about uncertainty,
applications of (nonclassical) mathematical logic in
computer sciences and artificial intelligence, theorem proving

My additional research interests: digitization of cultural heritage (see:
Digitization projects, and National Center for Digitization).

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

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).

Leibniz, 1715.

This capricious gambler (who was later to participate in Hitler's beer-hall "Putsch" [General Ludendorff]) refused to consider a compromise peace until a

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 programming languages)

"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!"

Leopold Kronecker

"Poetry is as precise a thing as geometry."

Gustave Flaubert

"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."

Goethe’s Mephistopheles.

"software is getting slower more rapidly than hardware becomes faster."

Niklaus Emil Wirth's Law (N.Wirth, 1925 - 2024)