= 27d567bc2d48d9f40e9ccc20ea370b15)
Tetronian comments on Edward Nelson claims proof of inconsistency in Peano Arithmetic - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
= 783df68a0f980790206b9ea87794c5b6)
Loading…= b715d02e85f7b3b4ae65ca3d3e450868)
Subscribe to RSS Feed
Powered by Reddit
= f037147d6e6c911a85753b9abdedda8d)
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (115)
Clever! It took me a couple of minutes to get it: Gur yrsgzbfg cbvag (gur 1 xt znff) jvyy zbir gb gur evtug, xrrcvat gur pragre bs tenivgl jurer vg vf. Fb vg'f abg gehr gung "jr pna cebir guvf sbe rirel cbvag.
You are misreading which one's the rightmost mass. The rightmost mass is the one with 1kg.
Whoops, you're right. I assumed +1/10 meant +1/10th from +1. I had the whole thing backwards.