March 16th, 2000

beartato phd


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.