Now showing items 1-3 of 3
Correlation of automorphism group size and topological properties with program-size complexity evaluations of graphs and complex networks
We show that numerical approximations of Kolmogorov complexity (K) of graphs and networks capture some group-theoretic and topological properties of empirical networks, ranging from metabolic to social networks, and of ...
Prospects for practice-based philosophy of logic
(Universidad de Santiago de Compostela, Servizo de Publicacións e Intercambio Científico, 2012)
We explore prospects for practice-based approaches to logical theory, in particular the link between classical and intuitionistic logic and the inferential structure of traditional practices of representation & argument ...
Gauss and the Mathematical Background to Standardisation
(De Gruyter/Sciendo, 2020)
Our aim is to explore the links between standardisation, the quantifying spirit, and the discipline mathematics. To do so, we consider the work of Gauss, renowned as a pure mathematician, but professionally an astronomer, ...