intuitionistic logic: open sets of a topological
space form a Heyting algebra.
So I wonder if Goedel's Incompleteness Theorem
amounts to a sort of statement of connectedness of a
sufficiently rich axiomatic system?
Also to bring home: camera.
-
intuitionistic logic: open sets of a topological
space form a Heyting algebra.
So I wonder if Goedel's Incompleteness Theorem
amounts to a sort of statement of connectedness of a
sufficiently rich axiomatic system?
Also to bring home: camera.
-
(no subject)
Restrung my electric today, so here's me practicing "Hallelujah".
-
(no subject)
----------------------------------------
------ ---------------------------------------- ------ ------8-----------------------8--------- ------… -
(no subject)
Unpacking stuff, I found a box of completely immaculate strings, so I restrung my acoustic guitar. It sounds and plays so much nicer now!
- Post a new comment
- 0 comments
- Post a new comment
- 0 comments
