Mathematics
Profile Activity
Meta user
Network profile
2,734
reputation
6
32

SK19

Writing Mizar articles for fun and the Q.E.D. manifesto.

101
answers
34
questions
~42k
people reached
  • Mayence, Germany
  • Member for 3 years, 3 months
  • 360 profile views
  • Last seen 3 hours ago

Communities (40)

Top Meta Posts
2
0

Top network posts

Top tags (105)

Score 21
Posts 6
Posts % 4
Score 20
Posts 19
Score 15
Posts 40
Score 8
Posts 8
Score 7
Posts 9
Score 4
Posts 8
View all tags →

Top posts (135)

All Questions Answers
Votes Newest
20 Is mathematics just a bunch of nested empty sets? May 2 '18
12 Why does the inverse of surreal numbers exist? Dec 7 '17
10 Recommend papers for an undergraduate. Apr 26 '19
9 Is the product of all positive rational numbers equal to one? Feb 18 '18
8 Is there any result that has applications that can't be proved in constructive mathematics? May 6 '18
7 Getting to know the Mizar Mathematical Library Jun 3 '18
6 What is the difference between Formal Logic and Proofs? Sep 26 '19
6 Getting to know the Mizar Mathematical Library Jun 3 '18
5 What kind of “infinite sets” do constructivists use? May 10 '18
5 Is CH independent of TG? May 12 '18
View all questions and answers →

Badges (38)

Gold

—

Silver

6

Rarest

Bronze

32

Rarest

View all badges →