Introduction to
Mathematical Logic

Hyper-textbook for students
by Vilnis Detlovs and Karlis Podnieks
University of Latvia

Vilnis Detlovs. Memorial Page

What is Mathematics:
Gödel's Theorem and Around

Hyper-textbook for students
by Karlis Podnieks
Russian version available

Quote of the Day

Stephanie Ruphy, 2008: The Millennium Run – balancing ambition and outcome...

“Acknowledging path dependency immediately puts to the fore the contingency of a simulation such as the Millennium Run. Had the cosmologists chosen different options at some stages in the model-building process, they would have come up with a different picture of the evolution of cosmic matter. And the point is that those alternative pictures would be equally plausible in the sense that they would also be consistent both with the observations at hand and with our current theoretical knowledge.”

S. Ruphy. Limits to Modeling: Balancing Ambition and Outcome in Astrophysics and Cosmology. In: Simulation & Gaming, first published on June 2008 as doi: 10.1177/ 1046878108319640, Sage Publications.

Previous quotes

What is Mathematics?

Four provably equivalent definitions of mathematics:

Mathematics is the part of science you could continue to do if you woke up tomorrow and discovered the universe was gone.
I do not know the author of this elegant definition put on the web by Dave Rusin.

... the human mind has first to construct forms independently, before we can find them in things. ... knowledge cannot spring from experience alone, but only from the comparison of the inventions of the intellect with observed fact.
Albert Einstein, see The Schiller Institute

In mathematics you don't understand things. You just get used to them.
John von Neumann, see Quotations by John von Neumann).

Mathematicians are mad tailors: they are making "all the possible clothes" hoping to make also something suitable for dressing...
Stanislaw Lem, "Summa Technologiae" (sorry - my own English translation, the initial version of this aphorism may be due to David van Dantzig, see Quotations by David van Dantzig)

What is Mathematics? (My Main Theses)

I define mathematical theories as stable self-contained (autonomous?) systems of reasoning, and formal theories - as mathematical models of such systems. Working with stable self-contained models mathematicians have developed their ability to draw a maximum of conclusions from a minimum of premises. This is why mathematical modeling is so efficient (my solution to the problem of "The Incomprehensible Effectiveness of Mathematics in the Natural Sciences" (as put by Eugene Wigner).

For me, Goedel's results are the crucial evidence that stable self-contained systems of reasoning cannot be perfect (just because they are stable and self-contained). Such systems are either non-universal (i.e. they cannot express the notion of natural numbers: 0, 1, 2, 3, 4, ...), or they are universal, yet then they run inevitably either into contradictions, or into unsolvable problems.

For humans, Platonist thinking is the best way of working with imagined structures. Thus, a correct philosophical position of a mathematician should be: a) Platonism - on working days - when I'm doing mathematics (otherwise, my "doing" will be inefficient), b) Formalism - on weekends - when I'm thinking "about" mathematics (otherwise, I will end up in mysticism). (The initial version of this aphorism was proposed in 1979 by Reuben Hersh / picture).

Next step

The idea that stable self-contained system of basic principles is the distinctive feature of mathematical theories, can be regarded only as the first step in discovering the nature of mathematics. Without the next step, we would end up by representing mathematics as an unordered heap of mathematical theories!

In fact, mathematics is a complicated system of interrelated theories each representing some significant mathematical structure (natural numbers, real numbers, sets, groups, fields, algebras, all kinds of spaces, graphs, categories, computability, all kinds of logic, etc.).

Thus, we should think of mathematics as a "two-dimensional" activity. Sergei Yu. Maslov could have put it as follows: most of a mathematician's working time is spent along the first dimension (working in a fixed mathematical theory, on a fixed mathematical structure), but, sometimes, he/she needs also moving along the second dimension (changing his/her theories/structures or, inventing new ones).

Do we need more than this, to understand the nature of mathematics?

About Me

In 1974, during a Soviet army training course, I discovered a simple (almost trivial) extension of Goedel's theorem - my double incompleteness theorem. Since that time, I'm an (amateur?) philosopher of mathematics. My education up to Ph.D. in 1979 was purely mathematical, but I was elected Professor of Information Technologies (second class computer science). However, reading all the funny things about mathematics written even by the most prominent philosophers and mathematicians, I'm feeling at least as their kind of person.

Karlis Podnieks, March 25, 2007

John Keats (1795 - 1821)

"I have left no immortal work behind me — nothing to make my friends proud of my memory - but I have lov'd the principle of beauty in all things, and if I had had time I would have made myself remember'd".

Isabella; or, The Pot of Basil

...

XXXIX.

“I am a shadow now, alas! alas!
“Upon the skirts of human-nature dwelling
“Alone: I chant alone the holy mass,
“While little sounds of life are round me knelling,
“And glossy bees at noon do fieldward pass,
“And many a chapel bell the hour is telling,
“Paining me through: those sounds grow strange to me,
“And thou art distant in Humanity.

...

Full text at
http://www.john-keats.com/gedichte/isabella.htm by http://www.john-keats.com/.