XCHAOS: Jo tak už to začínám chápat - ty jsi něco jako Bible, ta se taky nesmí brát doslova, protože je plná metafor:-)
Nevím co myslíš programováním ve větě "proč je programování v zásadě humanitní věda". Jestli samotnou činnost programování (tzn. udělej proceduru, která ti vyplivne všechna prvočísla menší než n), tak to rozhodně není věda, stejně jako není vědou počítání matematických slovních úloh.
Pokud myslíš programováním to, co se většinou označuje jako computer science (česky je to nevím jak - teoretická informatika?), ať už je to výpočtová složitost nebo kódování nebo přepisovací systémy nebo teorie jazyků a automatů nebo já nevím co ještě, tak to má podle mě rozhodně mnohem blíž k matematice - používá to standardní matematický aparát a většinou postupuješ jako v matematice (definice, věta, důkaz a tak dále až do úplného zblbnutí).
Jo, a důkazům matematických vět nemusíš věřit, ty stačí pochopit, pak víš, že jsou ty věty pravdivé...