my tiny portfolio 🐙🌱

• 29 January 2025
• Mathematics,
• Process book,
• Learning,
• Sketchbook

I have an idea, I today care about learning logic, maybe model checking

So I'm learning to make tiny tiny simpler form whathaveyous:

P(t)
------
∃x. P(x)   (∃-intro)

These prompts helps simplify things with computer agent:

pls show 1 lvl easier, simpler form

pls respond in <100 chars (or <50 chars)`

I keep repeating these prompts for code I do not YET understand, and then at one point I can read it.

for example I do not yet understand this top expression, so:

4. Γ = {NNO N, R=2^N, f:N→R} ⊢ ∃r:R ∀n:N, r≠f n

5. Γ = {f : N → R} ⊢ ∃r : R, r ≠ f(0)

6. Γ = { } ⊢ ∃r, r ≠ 0

7. ⊢ ∃x, True

8. ⊢ True 🎉

Now I can't yet read, or see the connection 2-1.

• Previous: upcycle poetry ∎
• Next: Getting around to writing a blog post