Gottfried Wilhelm Leibniz (1646-1716), wynalazca mechanicznego kalkulatora na cztery działania (obrazek wyżej) żywił niezachwianą wiarę, że dzięki postępom logiki wraz z techniką obliczeniową każda kwestia naukowa da się rozwiązać rachunkowo. Stąd jego programowe hasło: CALCULEMUS -- obliczajmy!

Gdy biorę je za nazwę i adres tej domeny, nie znaczy to, że wierzę w jego pełną wykonalność. Domena ta ma być, w szczególności, forum rozważań nad zasięgiem mechanizowalnej obliczalności, ale też nie dającej się mechanizować ludzkiej twórczości. Niezrównani przewodnicy w tym przedsięwzięciu to Kurt Gödel (z lewej) i Alan Turing (z prawej). -- Witold Marciszewski


The call CALCULEMUS (let's compute) sums up Gottfried Wilhelm Leibniz's (1646-1716) approach to arguments. It encourages those engaged in a dispute to turn arguments into computing. In this enterprise, they may enjoy assistance of a reasoning machine. Leibniz believed that such a machine can be constructed on the basis of a calculating machine, because - anticipating modern logic - he identified reasoning with computing.

    The picture above presents Leibniz's mechanical calculator which was capable (unlike the earlier machines of Schickard and of Pascal) also of multiplying and dividing; nowadays it is kept in Leibniz's House in Hannover. Leibniz was very proud of his invention, and once he thought of commemorating it with a medal bearing the motto Superior to Man. Though much exaggerated, such a motto might have expressed the idea that, when starting from such a simple prototype, one could gradually attain the level of most advanced reasonings to be carried out by machines (as presently hoped by strong AI). It was also Leibniz who invented binary arithmetic, and so much praised that achievement that designed a medal with the following inscriptions: the model of creation discovered by G.W.L, and one is enough for deriving everything from nothing.

By choosing this picture as the logo and calculemus as the motto of this domain, one endorses Leibniz's insight as to the power of computing.

Within this domain there is also a store of documents (English, German, Polish) Aera Informatica concerning information society. This section contains the journal (Polish) Kurier Polityczny which appeared in 1996-1997 to support the ideas of the party "Unia Wolnosci".


To the top of this page