Skip to main content
MathOverflow
Lucenaposition's user avatar
Lucenaposition's user avatar
Lucenaposition's user avatar
Lucenaposition
  • Member for 1 year
  • Last seen this week
Profile Activity
Stats
308
reputation
3k
reached
5
answers
0
questions
Communities
View all
About

Hi. I like maths and chess and Python programming. I am interested in whether certain statements provable in ZFC are provable in ZF.

Badges
View all badges
This user doesn’t have any gold badges yet.
1
silver badge
11
bronze badges
Top tags
View all tags
13
Score
1
Posts
20
Posts %
13
Score
1
Posts
20
Posts %
3
Score
1
Posts
20
Posts %
3
Score
1
Posts
20
Posts %
3
Score
1
Posts
20
Posts %
3
Score
1
Posts
20
Posts %
Top posts
answer
13
A hat puzzle question—how to prove the standard solution is optimal?
Jul 23
answer
3
Inequality $(a_1^x+a_2^x+\cdots+a_n^x)^y \ge (a_1^y+a_2^y+\cdots+a_n^y)^x$
Aug 26
answer
2
Examples of eventual counterexamples
Jul 23
answer
1
Unnecessary uses of the axiom of choice
Jul 29
answer
1
Hard problems with an easy-to-understand answer
Jul 30
Top Meta posts
1
0
4
Question preview MathJax error
Top network posts
View all network posts
20
Dividing shape into 2 congruent pieces
16
Zugzwang where the side to move must be mated in exactly 2 moves
15
Make both colors connected
14
Calculate the sum of numbers in a rectangle
13
Largest number possible with +, -, ÷