Skip to main content
MathOverflow
Amit Sing Mukerjee's user avatar
Amit Sing Mukerjee's user avatar
Amit Sing Mukerjee's user avatar
Amit Sing Mukerjee
  • Member for 9 years, 2 months
  • Last seen more than 9 years ago
Profile Activity

20 Actions

All Accepts Posts Badges Comments Revisions Reviews Suggestions
awarded
 Popular Question
awarded
 Nice Question
awarded
 Commentator
awarded
 Informed
revised
Does Borel's proof for existence of normal numbers make an essential use of axiom of choice?
added 103 characters in body
comment
Does Borel's proof for existence of normal numbers make an essential use of axiom of choice?
@AsafKaragila That in each model of $ZF$ there are some normal real numbers by absoluteness. [ I think I already made it myself! ;-P ]
comment
Does Borel's proof for existence of normal numbers make an essential use of axiom of choice?
@AsafKaragila The point that you made in your (deleted?) answer, is worth mentioning. Can you please add it here as a comment?
revised
Does Borel's proof for existence of normal numbers make an essential use of axiom of choice?
edited tags
revised
Does Borel's proof for existence of normal numbers make an essential use of axiom of choice?
added 79 characters in body
revised
Does Borel's proof for existence of normal numbers make an essential use of axiom of choice?
added 96 characters in body
comment
Does Borel's proof for existence of normal numbers make an essential use of axiom of choice?
@AsafKaragila Due to your comment, I edited the question a bit. Have you any idea about the use of axiom of choice in Borel's proof?
awarded
 Editor
revised
Does Borel's proof for existence of normal numbers make an essential use of axiom of choice?
added 48 characters in body
revised
Does Borel's proof for existence of normal numbers make an essential use of axiom of choice?
edited tags
comment
Does Borel's proof for existence of normal numbers make an essential use of axiom of choice?
@Wojowu So why is Borel's proof non-constructive?
asked
Does Borel's proof for existence of normal numbers make an essential use of axiom of choice?
revised
On Bailey–Borwein–Plouffe formula for irrational numbers
edited tags
awarded
 Student
asked
On Bailey–Borwein–Plouffe formula for irrational numbers
awarded
 Quorum