Mathematics
Profile Activity
Meta user
Network profile
2,590
reputation
4
31

SK19

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

100
answers
31
questions
~34k
people reached
  • Mayence, Germany
  • Member for 2 years, 5 months
  • 307 profile views
  • Last seen 4 hours ago

Communities (40)

Top Meta Posts
2
0

Top network posts

Top tags (99)

Score 19
Posts 18
Posts % 14
Score 19
Posts 6
Score 12
Posts 39
Score 8
Posts 8
Score 6
Posts 9
Score 4
Posts 8
View all tags →

Top posts (131)

All Questions Answers
Votes Newest
18 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 (35)

Gold

—

Silver

4

Rarest

Bronze

31

Rarest

View all badges →