Syllabus
Possible themes:
Problems of current Informatics and their philosophical aspects
Computation models
Linguistics
Philosophy of programming languages
Knowledge bases and databases
Web, semantic web and web explorers
Neuron networks and evolutionary algorithms
Artificial intelligence
History of mathematics and informatics
Ethics in informatics
Examples of previous themes:
What was beyond mirror?
Language of mathematics
Singularity
Why is social web resistant to elegant mathematics
Philosophy of mind (from view of analytic philosophy)
Kurt Goedel...!
How to describe the natural language formally?
Language just a code?
Infinity in Informatics and Philosophy
Hypothetical propositions
Annotation
The seminar consists of presentations of specialists in informatics, mathematics and in relevant philosophical problems with the goal to show students new perspectives and motivate discussions.