Jason (jcreed) wrote,
Jason
jcreed

-

Oh, interesting. I have new-found respect for
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.
Subscribe

  • (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

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 0 comments