√2_irrational is journey
I thought conversation snippets #
like this, with computer agent might be fun to add to the blog:
I am curious about this idea of logic as space #
how do we draw things in this space, what is the medium, truth? Drawing with truth? I have been asking computer agent for ideas, it suggested this idea in the first place Do drawings look like category theory diagrams, or cobordisms, or like drawings from Euclidean / non-Euclidean geometry?
- "a topos is a generalised space, with generalised points" [SML, IM]
maybe
a basic building block of drawing with logic is the point, or ⚫️, which stands for true,
How to draw a circle, what is the meaning of a circle?
I feel like maybe if I commit to a representation, I might miss new ideas ~ like thinking / assuming drawing in logic space is arrow diagrams, or basic geometric drawings ... maybe it's different
- Previous: pebbles
- Next: cool learning idea