Taka rola cyfrowego kodu stała się właśnie fundamentalną podstawą maszyn liczących, których powołaniem miało być oparte na uniwersalnych zasadach matematycznych równie uniwersalne przeliczanie zawartości poszczególnych struktur – danych. Najpierw analogowe, a potem cyfrowe: wszystkie operowały na cyfrowym kodzie, mechanicznie kalkulując zadawane w tym „języku” zapytania. Konkurencyjne teorie matematyczności sugerują jednak, iż nie dla wszystkich taki status matematyczności jest akceptowalny. Szczególnie studia kulturowe i wiele dyscyplin bliższych współczesnej humanistyce (nie mylić z humanistyką w rozumieniu historycznym, dla której matematyka i liczby były fragmentami elementarnej filozofii) postrzegają matematykę zgoła inaczej. Niezależnie jednak od sporów o ontyczny, aksjologiczny i w zasadzie jakikolwiek inny wymiar matematyczności projekt cyfrowy możliwy był, jak to już mówiłem, dzięki systematycznemu wcielaniu w życie przekonania o tożsamości struktury świata i reguł odkrywanych przez matematykę. Uznającym wyższość tej teorii nie przeszkodziły nawet tak fundamentalne ustalenia co do charakteru matematyczności, jak to, które zawdzięczamy austriackiemu matematykowi Kurtowi Gödelowi. Austriak ten ostatecznie udowodnił w latach 30. ubiegłego wieku w postaci swojego równie znanego, co kontrowersyjnego, twierdzenia o niezupełności (incompleteness theorem), iż matematyka jest systemem otwartym, którego nie da się sformalizować/ograniczyć żadnymi aksjomatami ani regułami, ani zamknąć pod postacią danego systemu twierdzeń. Z tej reguły wynika dla cyberkultury jedno z najbardziej znaczących ograniczeń: nie można myśleć o doskonałej maszynie obliczeniowej, która byłaby w stanie skalkulować/przeliczyć model świata, całą rzeczywistość [105]. Niemożliwa jest również w związku z tym uniwersalna matematyczna wykładnia wszystkiego, swoisty digitalny „wzór na wszechświat”, ani odpowiadająca jej uniwersalna maszyna zdolna do realizacji uniwersalnego, totalnego zadania matematycznego. Istnieje za to wiele możliwych matematyk i wiele matematycznych prawd częściowych, podobnie jak i pracujących w oparciu o nie maszyn obliczeniowych. Podobnie z cyfrowymi kulturami – możliwe są różne ich odmiany, interpretacje, nieoczekiwane w nich zwroty i paradygmatyczne zmiany. Projekt cyberkulturowy pozostaje zatem otwarty, nigdy nie zakodowany ostatecznie, niesformułowany do końca [106].