Philosophical and Logical Roots of Computer Science

This dissertation topic is available for Czech studies only.

Investigate philosophical, logical and mathematical studies by crucially important thinkers, whose works are central to the philosophical foundations of computer science. Pay a special attention to the works by Rudolf Carnap, Kurt Gödel, Bertrand Russel, Ludwig Wittgenstein, Alan Turing, Bertrand Otto Neurath, Herbert Feigl, Philipp Frank, Friedrich Waismann, Hans Hahn, Hans Reichenbach, Gustav Hempel, Alfred Tarski, Willard Van Orman Quine a Alfred Ayer. Make a systematic and compact body of knowledge that explains the philosophical and logical fundamentals of computer science in detail. Publish achieved results in prestige international-level journals. A summary of all these results publish as a monograph at Springer.