Computational Culture

a journal of software studies

Incomputable Aesthetics: Open Axioms of Contingency

Abstract In 1931, Kurt Gödel determined the incompleteness of formal axiomatic systems by demonstrating that there are propositions that cannot be proved or disproved within the system in question. In 1936, Alan Turing showed that some functions cannot be computed, and thereby described the limits of computing machines before any such machine was built. In […]

keep looking »
  • Computational Culture – ISSN 2047-2390

    Computational Culture is an online open-access peer-reviewed journal of inter-disciplinary enquiry into the nature of cultural computational objects, practices, processes and structures.
  • Selected Links