Thomas Porter

Thomas Porter

@thomjp.bsky.social

PhD Student at the University of Michigan ❦ thomasporter522.github.io

96 followers88 following13 posts

Thomas Porter
@thomjp.bsky.social

When I was younger I thought I understood type systems. Then someone started explaining universe hierarchies and I realized there's genuinely levels to ts.

Thomas Porter
@thomjp.bsky.social

2. Initially, the rules governing the cellular automaton are unspecified, so the trace is undefined except for the random initial state. But you can paint cells in, specifying their states and forcing the instantiation of propagation rules. Watch the trace grow.

Thomas Porter
@thomjp.bsky.social

1. At each point in time you're seeing a full spacetime trace of a cellular automaton. The horizontal axis is space, and the vertical axis is time (flowing down). The color of a cell represents its state.

Thomas Porter
@thomjp.bsky.social

Logic thought: proving that proposition A is a consistent extension to a consistent theory amounts to proving that falsity does not follow from A. To prove this internally is to prove ¬¬A. So double negation elimination can be seen as the license to add (internally provably) consistent extensions.

Thomas Porter
@thomjp.bsky.social

I'm convinced "sesamoid bones" aren't real, they were put on the internet to catch people who try to bypass legitimate medical training (where they reveal the trick, of course). "Yeah there are a bunch of tiny bones you've never heard of... they're not included in the standard bone count..."

You are up to date.