Can the axiom of countable choice be proved?

  • Thread starter Thread starter gottfried
  • Start date Start date
  • Tags Tags
    Axiom Choice
gottfried
Messages
118
Reaction score
0
Does anybody know if the axiom of countable choice can be proved? And if it can where I can find a copy of the proof?
 
Physics news on Phys.org
Proved from which axioms?

It cannot be proven in ZF. It can be proven in ZFC (obviously).
 

Thread 'Here's a Statistics problem for game of Polo (or Hockey if you like)'

Namaste & G'day Postulate: A strongly-knit team wins on average over a less knit one Fundamentals: - Two teams face off with 4 players each - A polo team consists of players that each have assigned to them a measure of their ability (called a "Handicap" - 10 is highest, -2 lowest) I attempted to measure close-knitness of a team in terms of standard deviation (SD) of handicaps of the players. Failure: It turns out that, more often than, a team with a higher SD wins. In my language, that...
View full post »

Thread 'Roulette wheel physics and probability'

Hi all, I've been a roulette player for more than 10 years (although I took time off here and there) and it's only now that I'm trying to understand the physics of the game. Basically my strategy in roulette is to divide the wheel roughly into two halves (let's call them A and B). My theory is that in roulette there will invariably be variance. In other words, if A comes up 5 times in a row, B will be due to come up soon. However I have been proven wrong many times, and I have seen some...
View full post »

Similar threads

I Is an algorithm for a proof required to halt?
Replies
3
Views
2K
A First order logic and set theory: who comes first?
Replies
2
Views
3K
I Axiom of Choice: Choosing Identical Objects
Replies
7
Views
2K
A Second-order arithmetic
Replies
34
Views
2K
I This fact on 2-dimensional space blows my mind
Replies
17
Views
2K
I Countability of binary Strings
Replies
18
Views
2K
A Axiom of choice: Replacing a strong condition with a weaker condition
Replies
6
Views
3K
I Syntactic vs semantic logical consequence (entailment)
Replies
5
Views
2K
A About the “Axiom of Dependent Choice”
Replies
2
Views
2K
MHB About the “Axiom of Dependent Choice”
Replies
1
Views
2K

Hot Threads

Recent Insights

Back
Top