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
  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    switch
    default userpic

    Your reply will be screened

    Your IP address will be recorded 

    Help
  • 0 comments