Možnost trucovitě opakovat Gödelův argument posloužila mnoha lidem jako zbraň při prosazování názoru, že lidské myšlení zahrnuje určité prchavé a těžko pochopitelné prvky, které počítače nedokážou napodobit. Významným představitelem tohoto postoje byl J. R. Lucas, jehož článek „Minds, Machines, and Gödel“ začíná slovy: Podle mne Gödelova věta prokazuje, že mechanistická …
více »Teorie grup, symetrie a kombinatorika
Teorie grup se stala „oficiálním“ jazykem symetrií, třebaže původně s tímto ambiciózním cílem navržena nebyla. Prominentní role, kterou v teorii grup hrají permutace, může vypadat na první pohled docela překvapivě. Zatímco symetrie koneckonců většinou plně vnímáme, permutace naopak vůbec nevypadají jako něco, co by nás v každodenním životě nějak nápadněji …
více »