Avatar
allen
826e9f895b81ab41a4522268b249e68d02ca81608def562a493cee35ffc5c759
hopescrolling webšŸ°

y’all keen on homotopy type theory or we sticking with ZFC for now?

you can actually just ignore the current thing

at this point my wife and I will try literally any holistic health trend. red light, sunlight, seed oils, tallow, organ meat, Wim hof, microplastics, wireful headphones, etc, etc. just tell us mainstream medicine disapproves and we are good to go šŸ‘

Gƶdel’s third incompleteness theorem is that any sufficiently complex pseudo-intellectual thoughtwank is incomplete without nonsensical reference to the first two theorems.

Replying to Avatar Jack K

The axiom that time is continuous cannot be settled by attempting to measure Planck time from within the physical system, and this follows from the same structural limits identified by Gƶdel’s incompleteness theorems.

Gƶdel showed that any sufficiently expressive formal system cannot fully prove the axioms that make reasoning within that system possible. In particular, a system cannot use only its internal operations to establish the consistency or foundational structure upon which those operations depend. This is not a limitation of technology or precision, but a consequence of self-reference.

Physical measurement is structurally similar. All measurements of time are performed by physical processes that themselves unfold in time. Clocks, experiments, and observers do not stand outside the temporal framework they measure; they presuppose it. Time, in this sense, plays the role of the underlying formal structure that enables measurement at all.

Planck time is defined as the scale at which the concept of time itself is expected to break down or become discrete. Attempting to measure it requires using clocks and causal processes that are already governed by the same temporal substrate. This creates a Gƶdelian self-reference: one is attempting to resolve the fundamental unit of the system using only operations that depend on that unit’s existence.

As a result, measuring ever smaller intervals of time can refine relative durations, but it cannot empirically decide whether time itself is continuous or discrete. That question concerns the structure of the system, not a parameter internal to it. From within time, the continuity axiom is therefore not falsifiable by measurement alone, it must be treated as an assumption or addressed via a meta-theoretical framework rather than an internal experiment.

Bitcoin changes this because it constructs time instead of assuming it.

Block time is a discrete, indivisible ordering produced by irreversible work and consensus, not by measuring continuous physical time. You cannot subdivide a block without breaking causality and finality. This bypasses the Gƶdelian self-reference: Bitcoin doesn’t try to measure the substrate of time from within it, it defines a new, external, discrete time standard that is empirically verifiable.

that is not at all what the incompleteness theorems say, nor do they have any bearing whatsoever on physical systems. this is all literal nonsense. it is not even wrong.

Replying to Avatar Jack K

That’s not actually true. The entire threat model rests on a single, unproven axiom: that time is continuous and infinitesimally divisible at the physical level.

If time is instead quantized and discrete, the mathematical formalism collapses at its foundation. You cannot take derivatives over indivisible time. Continuous Schrƶdinger evolution ceases to be fundamental, and the meanings of superposition, decoherence, and coherence structurally change. Superposition becomes potential between ticks (blocks), not a persistent computational substrate; decoherence becomes an intrinsic consequence of the tick (block) itself, not a gradual dynamical process. Bitcoin literally shows us this already.

Bitcoin forces this axiom into the open. Its ethos is don’t trust, verify, and Bitcoin gives us something physics cannot: a physically instantiated state machine where time is constructed, not assumed. You cannot subdivide a block temporally without destroying causality, finality, determinism, and non-contradiction. Bitcoin simply does not function under continuous time. If discrete time were not fundamental, Bitcoin would be impossible, yet it runs, globally, verifiably, every day, every ~10 minutes a new block of time is constructed.

Gƶdelian limits already explain why this axiom cannot be settled by measuring Planck time from within the system. Physics cannot falsify its own temporal assumptions internally. Bitcoin sidesteps that limitation by building time as an object. If continuous time were truly fundamental, this system would not work. The fact that it does is the empirical challenge to any model of physics that assumes continuous time (all of it).

Don’t trust, verify.

can you please explain this sentence?

ā€œGƶdelian limits already explain why this axiom cannot be settled by measuring Planck time from within the systemā€

a quantum resistant car, obvs

me, I like mobilecoin

it’s also the game theoretically perfect FUD because it will never actually happen, hence the theoretical threat will never go away, hence the materially conflicted can get research grants and engagement farm forever.

it’s ā€œthe climate crisisā€ for cryptography nerds.

LIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIIFT

GUYS GUYS GUYS

Eric Weinstein is back on the bird app talking shit about bitcoin.

nostr:nprofile1qqsp4lsvwn3aw7zwh2f6tcl6249xa6cpj2x3yuu6azaysvncdqywxmgpvemhxue69uhkv6tvw3jhytnwdaehgu3wwa5kuef0dec82c33wf6xcutrvyu8ydnpw4ukzae4dc6ksvmvx56ryvnyd568xunex4j85en9v56rvwfkveck2wrnxeckwatyddenwer2w3n8x0mzwfhkzerrv9ehg0t5wf6k2qgcwaehxw309ac8yetdd96k6tnswf5k6ctv9ehx2aqyxwxz8, can you please tell the story about him now? you know … THE story? 😜

what is the purpose of the p2p relay network?

genuinely interested in any and all sincere suggestions …

shit’s popping off on the bird app with Brock šŸ˜‚

https://x.com/brockm/status/1996010191113035830

anybody got any good leads on twin prime conjecture?

ā€œFlorenceā€ may be the only word in English that actually sounds nicer than the Italian …

say you are constantly telling people not to say or do naughty things and if anything the app is very helpful in this respect because without it you would have no way of communicating with them

I’m not claiming he got credit others deserved because lots of people chipped in. I’m claiming the framing of ā€œhe solved X problemā€ is extremely misleading because he actually solved a completely different problem.

he proved a reduced version of the taniyama-shimura conjecture after others had proven that *proving this* would imply fermat’s last theorem.

saying he ā€œproved fermat’s last theoremā€ is precisely what I’m claiming is kinda bullshit.

I’ve gone *sane*. you’d be insane to deny it.