Buscar
Mostrando ítems 1-4 de 4
Artículo
Correlation of automorphism group size and topological properties with program-size complexity evaluations of graphs and complex networks
(Elsevier, 2014)
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 ...
Artículo
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, ...
Ponencia
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 ...
Artículo
Poincaré sobre generalizações e factos: construção ou tradução?
(Universidade Federal do Tocantins, 2017)
Muita da literatura sobre a filosofia da ciência de Poincaré tem estado focada na noção de convenção, um conceito crucial que identifica a sua posição. No entanto, há outras noções que têm recebido menos atenção. Este é o ...