Where Do Theorems Live? Dirichlet–Euler Mass, Growth Functions, and Spectral Invariance of Gödel Numberings

{"We":[0,18,37],"study":[1],"the":[2,13,43,47,58,64,69,77,80],"distribution":[3],"of":[4,7,46,57],"Gödel":[5],"numbers":[6],"theorems":[8],"in":[9],"formal":[10],"systems":[11],"using":[12],"Dirichlet–Euler":[14,65],"(zeta)":[15],"probability":[16],"measure.":[17],"introduce":[19],"a":[20,54],"proof-length":[21],"growth":[22,48],"function":[23,49],"weighted":[24],"by":[25],"this":[26],"measure,":[27],"which":[28],"carries":[29],"strictly":[30],"more":[31],"information":[32],"than":[33],"standard":[34],"counting":[35],"functions.":[36],"establish":[38],"that":[39,63],"under":[40],"power":[41],"renumberings,":[42],"normalized":[44],"profile":[45],"is":[50],"invariant":[51],"up":[52],"to":[53],"deterministic":[55],"scaling":[56],"parameter.":[59],"Finally,":[60],"we":[61],"show":[62],"measure":[66],"serves":[67],"as":[68],"maximum-entropy":[70],"\\"null":[71],"model\\"":[72],"for":[73],"random":[74],"formulas,":[75],"making":[76],"dependence":[78],"on":[79],"encoding":[81],"fully":[82],"explicit":[83],"and":[84],"controllable.":[85]}