Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

  7. current community

    your communities

    more stack exchange communities

    company blog
Mathematics
Meta User
Network Profile
1,604
reputation
3
30

SK19

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

80
answers
15
questions
~24k
people reached
  • Mayence, Germany
  • Member for 1 year, 4 months
  • 214 profile views
  • Last seen 18 hours ago

Communities (36)

Top Meta Posts
2
0

Top Network Posts

Top Tags (83)

Score 16
Posts 15
Posts % 16
Score 7
Posts 8
Score 7
Posts 5
Score 7
Posts 5
Score 6
Posts 5
Score 4
Posts 14
View all tags →

Top Posts (95) 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
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
5 What kind of “infinite sets” do constructivists use? May 10 '18
5 Is CH independent of TG? May 12 '18
4 Literature about multigraphs and homomorphisms between them Feb 28 '18
4 Is this statement really that technical to prove? May 8 '18
4 I know $\mathbb{R}$ is the real number line. What really is $\mathbb{R}^n$? Mar 7 '18
4 Probability questions involving complements May 10 '18
View all questions and answers →

Badges (33)

Gold

—

Silver

3

Rarest

Bronze

30

Rarest

View all badges →