One of the reasons I’m in favor of axiomatization in mathematics is that it prevents compartmentalization and maintains a language (set-theory) for cross-domain connections. It doesn’t have to be about completeness.
So yeah, thumbs up for foundations-encourage-connections… they are connections :)
One of the reasons I’m in favor of axiomatization in mathematics is that it prevents compartmentalization and maintains a language (set-theory) for cross-domain connections. It doesn’t have to be about completeness.
So yeah, thumbs up for foundations-encourage-connections… they are connections :)
I basically agree, but I’d advocate category theory as a much better base language than set theory.