Skip to main content
Code Golf
Lucenaposition's user avatar
Lucenaposition's user avatar
Lucenaposition's user avatar
Lucenaposition
  • Member for 1 year, 7 months
  • Last seen this week
Profile Activity
Stats
1,299
reputation
9k
reached
41
answers
3
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.
2
silver badges
20
bronze badges
Top tags
View all tags
78
Score
43
Posts
98
Posts %
15
Score
11
Posts
25
Posts %
11
Score
7
Posts
16
Posts %
10
Score
3
Posts
7
Posts %
8
Score
3
Posts
7
Posts %
7
Score
4
Posts
9
Posts %
Top posts
View all questions and answers
17
Number of legal positions in 1D go
Jan 23
14
Calculate the sum of numbers in a rectangle
Aug 22, 2024
8
How many dots are there?
Oct 11, 2024
5
Counterexample to Shapiro inequality
Jul 31, 2024
5
Encode a VarInt
Aug 30, 2024
5
Unap_peel_ing permutations
Feb 7
4
Sums of X*Y chunks of the nonnegative integers
Aug 12, 2024
4
Output the 32 points of the compass
May 1
4
Generate the indices of the corners of the 12 face triangles of a cube
Mar 13
4
How much coffee is in my water?
Jan 11
Top Meta posts
2
2
3
Is using x for × allowed?
Top network posts
View all network posts
28
Smallest possible pentomino farm
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
15
Trying to guess (as closely as possible) an unknown number X which is an integer between 1 and 100