Kurt Gödel is one of the greatest minds of the 20th century. Eccentric and weird, Gödel has given and enormous contribution for development of mathematics, logic and future computer program languages. He was the first one who shook up Hilbert’s motto Wir mussen wissen, Wir werden wissen, claiming that every formal language has its limitations and that some mathematical questions can go beyond these limitations.
As one of the members of famous Vienna Circle, Gödel has strongly confronted pure formalism and positivism, claiming that mathematical truths go beyond formal and logical borders. He also believed that some statements can be presented into formal languages, but cannot be proved in same frame. A lot of scientists nowadays recognize in Gödel’s works about indecision (this is his main contribution to the science) seeds of modern program languages. To be more specific, these seeds are 45 numerical formulas that are very similar to a computer program.
To defend his thesis in front of scientists assembly (mostly skeptics), Gödel has created a special language which provided a step-by-step development of specific mathematical operations. A contemporary pendant of Gödel’s language is interpreters (compilers) – special languages made for interpreting high level complicated program languages into simplified computer language. Almost all today’s commercial software was made thanks to the use of compilers.
Besides mathematics, Gödel was interested in philosophy and he found Leibniz’s thoughts about precise artificial language (the one that major part of thinking reduce on calculating) very inspiring. Therefore, he put Hilbert’s principle of solvability of all mathematical problems into the context of human mind. Gödel posed a question if human mind was equal to the computer. Although, there have never been a straight answer to this question, we can say that this famous mathematician has realized that nature of human mind goes beyond physical reality and laws of mechanic, after all.



