nuuskur's latest activity
-
nuuskur replied to the thread I About the existence of Hamel basis for vector spaces.I don't think it does, Gödel's theorem is about consistency and completeness, roughly stating that you can't have both if your theory is... -
nuuskur reacted to cianfa72's post in the thread I About the existence of Hamel basis for vector spaces with
Like.
Let me check my understanding. Consider the statement "R over Q doesn't have an Hamel basis". Is it true ? Who knows, what we can say is... -
nuuskur replied to the thread I About the existence of Hamel basis for vector spaces.Yes, a statement is either true or false. The best we have in this instance is that it is consistent with ZF that R over Q does not have... -
nuuskur replied to the thread I About the existence of Hamel basis for vector spaces.If AC is false, then there's no guarantee this is one of those vector spaces without a basis. Of course it's clear, a generating subset... -
nuuskur replied to the thread I About the existence of Hamel basis for vector spaces.The argument is if AC is false, then the statement "every vector space contains a minimal generating subset" is also false. Therefore...