Mathematics
SK19's user avatar
SK19's user avatar
SK19's user avatar
SK19
  • Member for 6 years
  • Last seen this week
  • Mayence, Germany
Profile Activity
Stats
3,096
reputation
78k
reached
102
answers
41
questions
Communities
View all
About

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

Badges
View all badges
This user doesn’t have any gold badges yet.
10
silver badges
35
bronze badges
Top tags
View all tags
22
Score
42
Posts
29
Posts %
21
Score
19
Posts
13
Posts %
12
Score
7
Posts
5
Posts %
8
Score
8
Posts
6
Posts %
7
Score
10
Posts
7
Posts %
3
Score
8
Posts
6
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
22
Is mathematics just a bunch of nested empty sets?
May 2, 2018
answer
13
Getting to know the Mizar Mathematical Library
Jun 3, 2018
question
12
Why does the inverse of surreal numbers exist?
Dec 7, 2017
question
12
Getting to know the Mizar Mathematical Library
Jun 3, 2018
answer
9
Is the product of all positive rational numbers equal to one?
Feb 18, 2018
answer
8
Is there any result that has applications that can't be proved in constructive mathematics?
May 6, 2018
answer
7
What is the difference between Formal Logic and Proofs?
Sep 26, 2019
answer
6
In the surreal numbers, is it fair to say $0.9$ repeating is not equal to $1$?
Mar 6, 2018
question
6
What kind of "infinite sets" do constructivists use?
May 10, 2018
question
6
Is CH independent of TG?
May 12, 2018
Top Meta posts
2
0
18
Would a question-series to understand a selected paper be on-topic?
Top network posts
View all network posts
35
How serious can this review invitation be?
15
Is it wise to try to remove myself from predator mailinglists?
13
Reject a paper based on relevant but pointless research direction
12
Was Loki really Sorcerer Supreme?
10
Why should I use a big powerstone instead of smaller ones?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.