Direct Self-Semantic Fixed Points: Intrinsic Diagonal Claims Against Final Internal Self-Theories Paper 52 of the NEMS Suite

{"Paper":[0,185],"51":[1],"proved":[2],"that":[3,92,100],"no":[4],"sufficiently":[5],"expressive":[6],"diagonally":[7],"capable":[8],"reflexive":[9],"system":[10],"can":[11],"internally":[12],"contain":[13],"a":[14,33,67,95,124],"final":[15,30,115],"theory":[16],"of":[17,77,184],"its":[18,128],"own":[19],"realized":[20],"semantics":[21],".":[22],"That":[23],"theorem":[24,175,217],"was":[25],"established":[26],"by":[27,140,147],"reducing":[28],"the":[29,38,45,53,57,78,106,141,168,180],"self-theory":[31,116],"to":[32,105,149,179],"total":[34],"decider":[35],"and":[36,74,157],"importing":[37],"SelectorStrength":[39],"barrier.":[40],"The":[41,135,160,173],"present":[42],"paper":[43],"upgrades":[44],"result":[46,136],"into":[47],"an":[48],"intrinsic":[49],"theorem:":[50],"we":[51,90],"construct":[52],"contradiction":[54,131],"directly":[55],"inside":[56],"self-semantic":[58,142],"framework":[59,143],"itself.":[60],"We":[61,153],"introduce":[62],"semantic":[63],"negation":[64],"on":[65,85,111,127,200],"claims,":[66],"self-reference":[68,182],"frame":[69],"for":[70,109],"code-level":[71],"fixed":[72],"points,":[73],"anti-verdict":[75],"claims":[76,210],"form":[79],"\\"(T)":[80],"does":[81],"not":[82,215],"say":[83],"yes":[84],"(c).\\"":[86],"Under":[87],"these":[88],"hypotheses,":[89],"prove":[91],"there":[93],"exists":[94],"fixed-point":[96,122],"code":[97],"(d)":[98],"such":[99],"(\\\\Decode(d))":[101],"is":[102,137,162,176],"semantically":[103],"equivalent":[104],"anti-yes":[107],"claim":[108],"(T)":[110],"(d).":[112],"A":[113],"putative":[114],"must":[117],"then":[118],"correctly":[119],"settle":[120],"this":[121],"claim;":[123],"case":[125],"split":[126],"verdict":[129],"yields":[130],"in":[132,164,171,196],"every":[133],"branch.":[134],"therefore":[138],"self-generated":[139],"rather":[144],"than":[145],"only":[146],"reduction":[148],"external":[150],"barrier":[151],"machinery.":[152],"derive":[154],"direct":[155,174],"no-weak-self-erasure":[156],"no-strong-self-erasure":[158],"corollaries.":[159],"development":[161],"mechanized":[163],"Lean":[165,188],"4":[166],"as":[167,207],"SemanticSelfReference":[169],"library":[170],"reflexive-closure-lean.":[172],"bridged":[177],"back":[178],"general":[181],"calculus":[183],"26.":[186],"Primary":[187],"anchors:":[189],"self_semantic_fixed_point_exists,":[190],"direct_no_final_self_theory":[191],"().":[192],"Trust":[193],"boundary.":[194],"Checked":[195],"reflexive-closure-lean":[197],"with":[198],"dependencies":[199],"nems-lean;":[201],"kernel":[202],"+":[203,205],"pin":[204],"imports":[206],"usual.":[208],"Narrative":[209],"about":[211],"\\"intrinsicity\\"":[212],"are":[213],"conceptual,":[214],"separate":[216],"declarations.":[218]}